Commit ac75298b authored by Armaël Guéneau's avatar Armaël Guéneau

generator: handle Pervasives.(@)

parent d79da325
......@@ -355,11 +355,11 @@ let inlined_primitives_table =
"List.rev", (Primitive_unary, "(@TLC.LibList.rev _)");
"List.concat", (Primitive_unary, "(@TLC.LibList.concat _)");
"List.append", (Primitive_binary, "(@TLC.LibList.app _)");
"Pervasives.@", (Primitive_binary, "(@TLC.LibList.app _)");
]
(* DEPRECATED
"Pervasives.@", (2, "LibList.append");
"List.rev", (1, "LibList.rev");
"List.length", (1, "LibList.length");
"List.append", (2, "LibList.append");
......
......@@ -141,6 +141,15 @@ let ignore x =
()
(************************************************************)
(** Lists *)
let rec ( @ ) l1 l2 =
match l1 with
| [] -> l2
| hd :: tl -> hd :: (tl @ l2)
(************************************************************)
(** Float *)
......
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