[MLton-user] ascription in MLton source

[Sean McLaughlin]

Hi,

I've been browsing the MLton source, and am just curious about something:
why is there almost no opaque ascription?  It seems the only time it's used
is in substructures where you define the signature inline.
  I learned to always prefer opaque ascription
except in certain circumstances where having to declare lots of type
equalities
makes it unwieldy.  Is there a totally different philosophy
in the MLton architecture?  Is there
something particular about the compiler that required, or was made
simpler/cleaner
using transparent ascription?

Thanks,

Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20080223/568ff54d/attachment.htm