Sat, 20 May 2006 23:45:37 +0200 made smlnj happy;
wenzelm [Sat, 20 May 2006 23:45:37 +0200] rev 19695
made smlnj happy;
Sat, 20 May 2006 23:37:04 +0200 export raw_matches;
wenzelm [Sat, 20 May 2006 23:37:04 +0200] rev 19694
export raw_matches;
Sat, 20 May 2006 23:37:03 +0200 tuned Defs interfaces;
wenzelm [Sat, 20 May 2006 23:37:03 +0200] rev 19693
tuned Defs interfaces;
Sat, 20 May 2006 23:37:02 +0200 yet another re-implementation:
wenzelm [Sat, 20 May 2006 23:37:02 +0200] rev 19692
yet another re-implementation: . maintain explicit mapping from unspecified to specified consts (no dependency graph, no termination check, but direct reduction of specifications); . more precise checking of LHS patterns -- specialized patterns (e.g. 'a => 'a instead of general 'a => 'b) impose global restrictions;
Sat, 20 May 2006 23:37:02 +0200 removed obsolete partition (cf. List.partition);
wenzelm [Sat, 20 May 2006 23:37:02 +0200] rev 19691
removed obsolete partition (cf. List.partition); tuned;
Sat, 20 May 2006 23:37:00 +0200 class axiomatization: finals;
wenzelm [Sat, 20 May 2006 23:37:00 +0200] rev 19690
class axiomatization: finals;
Sat, 20 May 2006 23:36:59 +0200 abs: precise typing;
wenzelm [Sat, 20 May 2006 23:36:59 +0200] rev 19689
abs: precise typing;
Sat, 20 May 2006 23:36:57 +0200 added syntax for 'unchecked';
wenzelm [Sat, 20 May 2006 23:36:57 +0200] rev 19688
added syntax for 'unchecked';
Sat, 20 May 2006 23:36:56 +0200 primrec (unchecked);
wenzelm [Sat, 20 May 2006 23:36:56 +0200] rev 19687
primrec (unchecked);
Sat, 20 May 2006 23:36:55 +0200 List.partition;
wenzelm [Sat, 20 May 2006 23:36:55 +0200] rev 19686
List.partition;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip