Skip to content

GitLab

C
cfml
Commit e8f2a4c1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files
Options

Remove 4 data constructors with special treatment.

parent 0137a5d2
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 4 deletions
generator/primitives.ml
View file @ e8f2a4c1
......@@ -140,10 +140,6 @@ let builtin_constructors_table =
"()", ("Coq.Init.Datatypes.tt", 0);
"true", ("Coq.Init.Datatypes.true", 0);
"false", ("Coq.Init.Datatypes.false", 0);
"Nil", ("Coq.Lists.List.nil", 1);
"Cons", ("Coq.Lists.List.cons", 1);
"OkaStream.Nil", ("Coq.Lists.List.nil", 1);
"OkaStream.Cons", ("Coq.Lists.List.cons", 1);
]
(* --todo: add [Pervasives] as prefix *)
......
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