8 Bugs

Syntax analysis bug:

fun pat1 id pat2 = ...

Please rewrite for the moment as follows:

fun op id pat1 pat2 = ...

October 19, 1998

October 23, 1998

Lexical analysis bug:

val x = #"aa";
val y = #"";
                

Error message doesn't come up. Instead the scanner crashes (reported M. Mehl, L. Kornstaedt).

November 17, 1998

November 17, 1998

Imperfekt Environment:

~ 1 * 2;
                

~ is unbound. (reported by Leif Kornstaedt).

November 19, 1998

November 19, 1998

Programming interface bug:

val x = lvar();
x;
                

suspended (reported by M. Mehl).

November 19, 1998

November 19, 1998

Translation bug:

fun f x = g x
and g x = 1 x;
                

This leads to an binding analysis error because the name g is not ``introduced''.

November 19, 1998

Workaround:

Rewrite in the following way for the moment:

val rec f = fn x => g x  
and g = fn y => 1;