Fri, 09 Oct 1998 15:28:04 +0200 |
nipkow |
Unified treatment of type error msgs.
|
file |
diff |
annotate
|
Fri, 09 Oct 1998 14:36:48 +0200 |
nipkow |
More pretty breaks in error msgs.
|
file |
diff |
annotate
|
Mon, 25 May 1998 21:11:46 +0200 |
wenzelm |
remove seq2, scan (use seq2, foldl_map from library.ML);
|
file |
diff |
annotate
|
Mon, 06 Oct 1997 18:40:24 +0200 |
wenzelm |
eliminated raise_term, raise_typ;
|
file |
diff |
annotate
|
Wed, 09 Jul 1997 16:54:17 +0200 |
wenzelm |
improved type checking errors;
|
file |
diff |
annotate
|
Fri, 18 Apr 1997 11:55:14 +0200 |
wenzelm |
tuned err msg;
|
file |
diff |
annotate
|
Thu, 17 Apr 1997 19:05:01 +0200 |
wenzelm |
tuned error msgs;
|
file |
diff |
annotate
|
Thu, 17 Apr 1997 18:46:58 +0200 |
wenzelm |
improved type check error messages;
|
file |
diff |
annotate
|
Wed, 16 Apr 1997 18:15:32 +0200 |
wenzelm |
Type inference (isolated from type.ML, completely reimplemented).
|
file |
diff |
annotate
|