Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/HISTORY
ViewVC logotype

Diff of /sml/trunk/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1291, Sat Dec 7 03:41:00 2002 UTC revision 1337, Tue Jun 17 20:45:15 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Dave MacQueen (macqueen@cs.uchicago.edu)
17    Date: 2003/06/17
18    Tag: macqueen-20030617-bug895
19    Description:
20    
21    Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
22    Tag will be used for new development branch (mcz-branch) for
23    use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
24    
25    ----------------------------------------------------------------------
26    Name: Matthias Blume (blume@tti-c.org)
27    Date: 2003/05/27 16:55:00 CDT
28    Tag: blume-20030527-polyeq
29    Description:
30    
31    Tried to eliminated most cases of polymorphic equality.
32    
33    ----------------------------------------------------------------------
34    Name: Matthias Blume (blume@tti-c.org)
35    Date: 2003/05/21 17:45:00 CDT
36    Tag: blume-20030517-complete
37    Description:
38    
39    Two changes:
40    
41      1. Added a flag for controlling whether non-exhaustive bindings will
42         be treated as errors (default is false).
43      2. Cleaned up the *entire* source tree so that CMB.make goes through
44         without a single non-exhaustive match- or bind warning.
45    
46    ----------------------------------------------------------------------
47    Name: Matthias Blume (blume@tti-c.org)
48    Date: 2003/05/17 10:20:00 CDT
49    Tag: blume-20030517-absyn
50    Description:
51    
52    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
53    
54       This mainly affects the quality of error messages.  However, some
55       of the code is now more straightforward than before. (Treatment of
56       the above four constructs in translate.sml is much simpler than
57       the "macro-expansion" that was going on before.  Plus, the mach-
58       compiler no longer gets invoked just to be able to compile an
59       if-expression.)
60    
61    2. The ErrorMsg.Error exception is now caught and absorbed by the
62       interactive loop.
63    
64    ----------------------------------------------------------------------
65    Name: Allen Leung
66    Date: 2003/05/16 13:05:00 CDT
67    Tag: leunga-20030516-cygwin-runtime
68    Description:
69    
70        Ported the runtime system to cygwin, which uses the unix
71    x86-unix bin files.  Missing/buggy features:
72    
73       o getnetbyname, getnetbyaddr: these functions seem to be missing in
74         the Cygwin library.
75       o Ctrl-C handling may be flaky.
76       o Windows system calls and Windows I/O are not supported.
77    
78       A new set of binfiles is located at:
79    
80         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
81    
82       This is only needed for bootstrapping the cygwin version of smlnj.
83       Other x86 versions can use the existing binfiles.
84    
85    ----------------------------------------------------------------------
86    Name: Matthias Blume
87    Date: 2003/04/08 15:42:00 CDT
88    Tag: blume-20030408-listpair
89    Description:
90    
91    1. Added a target 'mlrisc' to installer.
92    
93    2. Added missing elements to structure ListPair.
94    
95    ----------------------------------------------------------------------
96    Name: Allen Leung
97    Date: 2003/01/07 10:40:00 EST
98    Tag: leunga-20030107-int-rem
99    Description:
100    
101    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
102    The arguments to the SUBL instruction were swapped.
103    
104    ----------------------------------------------------------------------
105    Name: Matthias Blume
106    Date: 2002/12/12 16:25:00 EST
107    Tag: blume-20021212-risc-ra
108    Description:
109    
110    Fixed a serious bug in the rewrite code for FP spilling/reloading that
111    sent the RA into an infinite loop when floating point registers get
112    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
113    110.37 and 110.38.)
114    There was another set of potential problems related to the handling of
115    MLRISC annotations (but those did not yet cause real problems, apparently).
116    
117    ----------------------------------------------------------------------
118  Name: Matthias Blume  Name: Matthias Blume
119  Date: 2002/12/06 22:40:00 EST  Date: 2002/12/06 22:40:00 EST
120  Tag: blume-20021206-cm-fileid  Tag: blume-20021206-cm-fileid

Legend:
Removed from v.1291  
changed lines
  Added in v.1337

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