9 Nov
2007
9 Nov
'07
7:25 a.m.
On Nov 9, 2007 1:05 AM, Vesa Karvonen vesa.a.j.k@gmail.com wrote:
Poly/ML doesn't seem to parse strexps with a signature ascription. IOW, the following productions do not seem to be accepted by Poly/ML:
strexp ::= strexp : sigexp strexp :> sigexp
See Figure 6 on page 13 in the Definition.
Oops, I forgot to include an example with this bug report:
Poly/ML 5.1 Testing
structure Trivial = struct end : sig end ;
Error: ; expected but : was found
Static errors (pass 1)
-Vesa Karvonen