Skip to content

Instantly share code, notes, and snippets.

@Pitometsu

Pitometsu/gist:58deea76125ecd2ddbc5fbf4aee6aca6

Last active March 25, 2019 07:40
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Pitometsu/58deea76125ecd2ddbc5fbf4aee6aca6 to your computer and use it in GitHub Desktop.
Save Pitometsu/58deea76125ecd2ddbc5fbf4aee6aca6 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.ml
module M = struct type t end
module A = struct include (M : module type of struct include M end with type t = [`A]) end
(*
Error: In this `with' constraint, the new definition of t
does not match its original definition in the constrained signature:
Type declarations do not match:
type t = [ `A ]
is not included in
type t = M.t
*)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment