On 05/09/12 18:07, David Matthews wrote:
On 05/09/2012 14:27, Phil Clayton wrote:I probably spoke a bit too soon here. After more interactive use, it appears that records and tuples can be expanded one level in the types printed back. ...It really ought to be unwinding any type abbreviations into their right hand sides. Perhaps it is only applying it once rather than repeatedly but that needs to be fixed. ...
Interesting. So I think there is still an issue. The attached example test-3 has two levels of phantom type and is accepted by MLton and HaMLet but not Poly/ML - neither the latest r1592, nor its predecessors with the previous fix (including r1581 that I was testing).
This doesn't affect me. I just mentioned it in case it help guide you towards a particular solution.
Phil
test-3.sml.gz
Description: GNU Zip compressed data
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
