[Caml-list] Typing error results in fatal error.

[Caml-list] Typing error results in fatal error.

[Kaspar Rohrer]

Hi list

Is there a reason why the following code

> class type a = object inherit a end

 (in OCaml 4.00.1, at least) results in a 

> Fatal error: exception Assert_failure("typing/env.ml", 629, 54)

in either the toplevel or the compiler, instead of a simple typing error?

Just curious.

Re: [Caml-list] Typing error results in fatal error.

[Gabriel Scherer]

This was a bug in the type-checker. It has already been reported by
Julien Signoles and fixed by Jacques Garrigue,
  http://caml.inria.fr/mantis/view.php?id=5858
The fix will be available in the next OCaml release.

"Fatal error" from the compiler are indications of bugs, and you
should not hesitate to use the bugtracker interface (
caml.inria.fr/mantis/ ) to report them.
(It's useful to first look for duplicates, or try them in a
bleeding-edge version to see if they have already been fixed.)

Thanks for the report.

On Mon, Apr 8, 2013 at 1:06 PM, Kaspar Rohrer <kaspar.rohrer@gmail.com> wrote:
> Hi list
>
> Is there a reason why the following code
>
>> class type a = object inherit a end
>
>  (in OCaml 4.00.1, at least) results in a
>
>> Fatal error: exception Assert_failure("typing/env.ml", 629, 54)
>
> in either the toplevel or the compiler, instead of a simple typing error?
>
> Just curious.
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs