[MLton-commit] SF.net SVN: mlton:[7565] mlton/trunk

[<fl...@us...>]

Revision: 7565
          http://mlton.svn.sourceforge.net/mlton/?rev=7565&view=rev
Author:   fluet
Date:     2012-06-01 19:11:55 +0000 (Fri, 01 Jun 2012)
Log Message:
-----------
Fixed bug in elaboration of type variables with and without equality status.

Thanks to Rob Simmons for the bug report and examples.

Fixed bug in elaboration that erroneously rejected the following:
  datatype ('a, ''a) t = T
  type ('a, ''a) u = unit
and erroneously accepted the following:
  fun f (x: 'a) : ''a = x
  fun g (x: 'a) : ''a = if x = x then x else x

Changed ast/tyvar.fun to record full name of type variable (including
the '- or ''-prefix), which distinguishes the type variable 'a from
the type variable ''a when compared with Tyvar.sameName.  Thus, we now
treat 'a, ''a, '''a, ... as distinct type variables (all but the first
having equality status).

Changed Tyvar.string, Tyvar.newString, and Tyvar.newNoname to
accomodate new representation.

Modified Paths:
--------------
    mlton/trunk/doc/changelog
    mlton/trunk/mlton/ast/tyvar.fun

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.


------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
MLton-commit mailing list
MLt...@li...; mlt...@ml...
https://lists.sourceforge.net/lists/listinfo/mlton-commit