Diff of /sml/trunk/HISTORY

Parent Directory | Revision Log | Patch

	revision 1332, Sun May 18 03:21:16 2003 UTC	revision 1335, Tue May 27 21:54:23 2003 UTC
#	Line 14	Line 14
14
15	----------------------------------------------------------------------	----------------------------------------------------------------------
16	Name: Matthias Blume (blume@tti-c.org)	Name: Matthias Blume (blume@tti-c.org)
17		Date: 2003/05/27 16:55:00 CDT
18		Tag: blume-20030527-polyeq
19		Description:
20
21		Tried to eliminated most cases of polymorphic equality.
22
23		----------------------------------------------------------------------
24		Name: Matthias Blume (blume@tti-c.org)
25		Date: 2003/05/21 17:45:00 CDT
26		Tag: blume-20030517-complete
27		Description:
28
29		Two changes:
30
31		1. Added a flag for controlling whether non-exhaustive bindings will
32		be treated as errors (default is false).
33		2. Cleaned up the *entire* source tree so that CMB.make goes through
34		without a single non-exhaustive match- or bind warning.
35
36		----------------------------------------------------------------------
37		Name: Matthias Blume (blume@tti-c.org)
38	Date: 2003/05/17 10:20:00 CDT	Date: 2003/05/17 10:20:00 CDT
39	Tag: blume-20030517-absyn	Tag: blume-20030517-absyn
40	Description:	Description:

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1332   changed lines   Added in v.1335

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0