[MLton] Few problems with porting...

[Anoq of the Sun]

Matthew Fluet wrote:
> Datatype replication requires the datatype keyword:
> 
> datatype List = datatype list

Ah, sorry! This is what I forgot! Thanks a lot!
I really thought I hit a bug back then :)

I am writing a spec. for a new langauge which is a
subset of ML with a few new features
(in particular extensible polymorphic records with
optional fields). At this point I was verifying my
understanding of the Definition on the SML/NJ implementation
- but at least my understanding was correct :)


Cheers
-- 
http://www.HardcoreProcessing.com