Revision: 7568
http://mlton.svn.sourceforge.net/mlton/?rev=7568&view=rev
Author: fluet
Date: 2012-06-01 19:12:08 +0000 (Fri, 01 Jun 2012)
Log Message:
-----------
Cosmetic improvements to type-error messages.
* Print optional resultType constraint in fun declaration clauses
* Print "in: " before fun declaration clause in error messages
* Print singleton Ast.Exp.FlatApp and Ast.Pat.FlatApp vectors without
delimiting parens.
For example, with the following type-incorrect program
fun f (x: int) : char = x : bool
MLton previously reported the error message:
Error: z.sml 2.25.
Expression and constraint disagree.
expects: [bool]
but got: [int]
in: (x): bool
Error: z.sml 2.18.
Function result type disagrees with expression.
result type: [char]
expression: [int]
f ((x): int) = (x): bool
Now, MLton reports the error message:
Error: z.sml 2.25.
Expression and constraint disagree.
expects: [bool]
but got: [int]
in: x: bool
Error: z.sml 2.18.
Function result type disagrees with expression.
result type: [char]
expression: [int]
in: f (x: int): char = x: bool
Modified Paths:
--------------
mlton/trunk/mlton/ast/ast-core.fun
mlton/trunk/mlton/ast/ast-core.sig
mlton/trunk/mlton/elaborate/elaborate-core.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
|
