* [Caml-list] strange complier messages
@ 2013-06-19 10:57 Ivan Gotovchits
2013-06-19 11:34 ` Gabriel Scherer
0 siblings, 1 reply; 2+ messages in thread
From: Ivan Gotovchits @ 2013-06-19 10:57 UTC (permalink / raw)
To: caml-list
Is it ok for a compiler to emit such messages:
Error: This expression has type ex#0 but an expression was expected of type
ex#0
The type constructor ex#0 would escape its scope
or maybe this is a bug? I'm not sure...
P.S. ocaml 4.00.1.
--
(__)
(oo)
/------\/
/ | ||
* /\---/\
~~ ~~
...."Have you mooed today?"...
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] strange complier messages
2013-06-19 10:57 [Caml-list] strange complier messages Ivan Gotovchits
@ 2013-06-19 11:34 ` Gabriel Scherer
0 siblings, 0 replies; 2+ messages in thread
From: Gabriel Scherer @ 2013-06-19 11:34 UTC (permalink / raw)
To: Ivan Gotovchits; +Cc: caml-list
This is not a bug in the type-checker: the error messages are correct
but badly formulated and confusing. This is discussing in the
following butracker item:
http://caml.inria.fr/mantis/view.php?id=5878
On Wed, Jun 19, 2013 at 12:57 PM, Ivan Gotovchits <ivg@ieee.org> wrote:
>
> Is it ok for a compiler to emit such messages:
>
> Error: This expression has type ex#0 but an expression was expected of type
> ex#0
> The type constructor ex#0 would escape its scope
>
> or maybe this is a bug? I'm not sure...
>
> P.S. ocaml 4.00.1.
>
> --
> (__)
> (oo)
> /------\/
> / | ||
> * /\---/\
> ~~ ~~
> ...."Have you mooed today?"...
>
> --
> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-06-19 11:34 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-06-19 10:57 [Caml-list] strange complier messages Ivan Gotovchits
2013-06-19 11:34 ` Gabriel Scherer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox