Commit 1b911d13 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Remove remaining non-program symbols from the Ocaml driver

parent bc8338f1
...@@ -5,7 +5,6 @@ printer "ocaml" ...@@ -5,7 +5,6 @@ printer "ocaml"
module BuiltIn module BuiltIn
syntax type int "Z.t" syntax type int "Z.t"
syntax predicate (=) "%1 = %2"
end end
module HighOrd module HighOrd
...@@ -17,7 +16,6 @@ module option.Option ...@@ -17,7 +16,6 @@ module option.Option
syntax type option "%1 option" syntax type option "%1 option"
syntax val None "None" syntax val None "None"
syntax val Some "Some %1" prec 4 3 syntax val Some "Some %1" prec 4 3
syntax predicate is_none "%1 = None"
end end
module Bool module Bool
...@@ -42,17 +40,12 @@ module list.List ...@@ -42,17 +40,12 @@ module list.List
syntax type list "%1 list" syntax type list "%1 list"
syntax val Nil "[]" syntax val Nil "[]"
syntax val Cons "%1 :: %2" prec 9 8 9 syntax val Cons "%1 :: %2" prec 9 8 9
syntax predicate is_nil "%1 = []"
end end
module list.Length module list.Length
syntax val length "Z.of_int (List.length %1)" prec 4 3 syntax val length "Z.of_int (List.length %1)" prec 4 3
end end
module list.Mem
syntax predicate mem "List.mem %1 %2"
end
module list.Append module list.Append
syntax val (++) "List.append %1 %2" prec 4 3 3 syntax val (++) "List.append %1 %2" prec 4 3 3
end end
......
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