On Feb 11, 2008 3:03 PM, Stephen Weeks <sweeks@janestcapital.com> wrote:
> Here is a distillation of the bug.  If you compile this, you get a
> warning about line 11 being an unused case.  If you then run the
> resulting executable, you get a segfault.

Line 11 can obviously be deleted, the segfault still persists.  The
unsoundness seems to appear when the signature constraint is applied
to the module.  It should fail, because the identity function is
clearly not a valid instance of this type, since `X can be passed to
it and it would just be returned, thus violating the return type.

It seems that constraints on polymorphic variables are not handled
correctly during the unification of the contents of the module with
its signature.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com