Commit 4d0f3380 authored by POTTIER Francois's avatar POTTIER Francois

Add support for [bytes].

parent e8ebacd7
......@@ -66,6 +66,10 @@ class ['self] iter = object (self)
'env -> bool -> unit
= fun _ _ -> ()
method private visit_bytes: 'env .
'env -> bytes -> unit
= fun _ _ -> ()
method private visit_char: 'env .
'env -> char -> unit
= fun _ _ -> ()
......@@ -147,6 +151,10 @@ class ['self] map = object (self)
'env -> bool -> bool
= fun _ x -> x
method private visit_bytes: 'env .
'env -> bytes -> bytes
= fun _ x -> x
method private visit_char: 'env .
'env -> char -> char
= fun _ x -> x
......@@ -235,6 +243,10 @@ class ['self] endo = object (self)
'env -> bool -> bool
= fun _ x -> x
method private visit_bytes: 'env .
'env -> bytes -> bytes
= fun _ x -> x
method private visit_char: 'env .
'env -> char -> char
= fun _ x -> x
......@@ -340,6 +352,10 @@ class virtual ['self] reduce = object (self : 'self)
'env -> bool -> 'z
= fun _env _ -> self#zero
method private visit_bytes: 'env .
'env -> bytes -> 'z
= fun _env _ -> self#zero
method private visit_char: 'env .
'env -> char -> 'z
= fun _env _ -> self#zero
......@@ -437,6 +453,10 @@ class ['self] iter2 = object (self)
'env -> bool -> bool -> unit
= fun _ x1 x2 -> if x1 = x2 then () else fail()
method private visit_bytes: 'env .
'env -> bytes -> bytes -> unit
= fun _ x1 x2 -> if x1 = x2 then () else fail()
method private visit_char: 'env .
'env -> char -> char -> unit
= fun _ x1 x2 -> if x1 = x2 then () else fail()
......@@ -523,6 +543,10 @@ class ['self] map2 = object (self)
'env -> bool -> bool -> bool
= fun _ x1 x2 -> if x1 = x2 then x1 else fail()
method private visit_bytes: 'env .
'env -> bytes -> bytes -> bytes
= fun _ x1 x2 -> if x1 = x2 then x1 else fail()
method private visit_char: 'env .
'env -> char -> char -> char
= fun _ x1 x2 -> if x1 = x2 then x1 else fail()
......@@ -621,6 +645,11 @@ class virtual ['self] reduce2 = object (self : 'self)
= fun _env x1 x2 ->
if x1 = x2 then self#zero else fail()
method private visit_bytes: 'env .
'env -> bytes -> bytes -> 'z
= fun _env x1 x2 ->
if x1 = x2 then self#zero else fail()
method private visit_char: 'env .
'env -> char -> char -> 'z
= fun _env x1 x2 ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment