Dear Jacques,
that seems a perfect fix, for me, as it also gives a hint
to the user about what is going on under the hood, thanks for
implementing it so fast.
And thanks to all for the feedback on this issue :-)
--Roberto
On Fri, Mar 23, 2012 at 03:45:51PM +0900, Jacques Garrigue wrote:
<snip>
> The point here is that the "type a b. ..." syntax is syntactic sugar.
> Rather than putting efforts in making it "hygienic", at the cost of
> mangling type variable names, isn't it simpler to define precisely
> how it expands, and prohibit ambiguous types?
> I would argue that this is actually simpler to explain it that way
> (if you want to give an exact specification).
>
> I have committed this in trunk and 4.00, and the output now is a syntax
> error:
>
> Error: In this scoped type, variable 'a is reserved for the local type a.
>
<snip>
>
> Jacques Garrigue
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
