Commit 1eb08942 authored by MARCHE Claude's avatar MARCHE Claude

details

parent 1478a689
theory A type t 'a end
theory B
clone export A
clone export A with type t 'a = t 'a
end
theory C
clone export A
clone export B with type t 'a = t 'a (* Error reported on this line *)
end
......@@ -24,6 +24,6 @@ module A
namespace C
let f () : unit ensures { q <-> p } = ()
end
end
end
......@@ -577,7 +577,7 @@ let save_ident fmt id =
with Not_found -> id.Ident.id_string
in
fprintf fmt "name=\"%a\"" save_string n
module Compr = Compress.Compress_z
type save_ctxt = {
......
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