On Nov 26, 2007 4:43 PM, Michele Simionato <[EMAIL PROTECTED]> wrote:
> Since we are talking about making things easier for newbies, here is
> my wish list:
I forgot another point:
7. the error message should display the wrong expression too, not only
the line number and column.
For instance, if I try
- fun printHello user = print "Hello " ^ user;
where I forgot a couple of parenthesis I get
1.22-1.43: mismatch on application: expression type
unit * '1
does not match function's argument type
string * string
because type
unit
does not unify with
string
The line number and column are correct, but it is easier to spot the problem
if the corresponding expression is printed. For instance SML/NJ gives
- fun printHello user = print "Hello " ^ user;
stdIn:1.23-1.44 Error: operator and operand don't agree [tycon mismatch]
operator domain: string * string
operand: unit * 'Z
in expression:
print "Hello " ^ user
Michele Simionato
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
