New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ctype.Unify failure for type scope error #43

Open

yallop opened this issue Dec 21, 2015 · 0 comments

Contributor

yallop commented Dec 21, 2015

The following program is rejected with Fatal error: exception Ctype.Unify(_):

module type T = sig type t val x : t end
let get {I:T} () = I.x
let f () = let implicit module M :T = struct type t = int let x = 0 end in get ()

but should be rejected with the usual message about a type constructor escaping its scope.

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment