Commit 1a4e2eea authored by Mário Pereira's avatar Mário Pereira

Refinement (wip)

parent 4aa58d79
......@@ -47,4 +47,6 @@ module OCaml
type int63 = Int63.int63
type integer = int
end
......@@ -637,7 +637,7 @@ let clone_type_decl inst cl tdl kn =
| Some s' ->
if not (List.length ts.ts_args = List.length s'.its_ts.ts_args) then
raise (BadInstance id);
if not (its_pure s && its_pure s') then raise (BadInstance id);
(* if not (its_pure s && its_pure s') then raise (BadInstance id); *)
let pd' = Mid.find s'.its_ts.ts_name kn in
let d' = begin match pd'.pd_node with
| PDtype [d'] -> d'
......
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