Vesa Karvonen 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
I've fixed this. For some reason it got missed when Poly/ML was updated to ML97 quite a few years ago now. Then, in the space of a week, two different people report it! I had an email from Timothy Bourke a few days ago pointing this out.
By the way, this is fixed in the compiler so it requires make; make bootstrap; make after updating from CVS to rebuild the compiler and then build Poly using the new compiler. "make bootstrap" updates one of the files in the imports directory depending on the architecture you run it on. That may cause conflicts when that file is updated in CVS but the solution is just to remove the updated one and then update again from CVS.
The other, type checking, bug looks to be more complicated so I'll take a look when I get a bit of time.
David.