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 1220, Wed May 22 15:04:10 2002 UTC revision 1334, Thu May 22 22:46:30 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume@tti-c.org)
17    Date: 2003/05/21 17:45:00 CDT
18    Tag: blume-20030517-complete
19    Description:
20    
21    Two changes:
22    
23      1. Added a flag for controlling whether non-exhaustive bindings will
24         be treated as errors (default is false).
25      2. Cleaned up the *entire* source tree so that CMB.make goes through
26         without a single non-exhaustive match- or bind warning.
27    
28    ----------------------------------------------------------------------
29    Name: Matthias Blume (blume@tti-c.org)
30    Date: 2003/05/17 10:20:00 CDT
31    Tag: blume-20030517-absyn
32    Description:
33    
34    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
35    
36       This mainly affects the quality of error messages.  However, some
37       of the code is now more straightforward than before. (Treatment of
38       the above four constructs in translate.sml is much simpler than
39       the "macro-expansion" that was going on before.  Plus, the mach-
40       compiler no longer gets invoked just to be able to compile an
41       if-expression.)
42    
43    2. The ErrorMsg.Error exception is now caught and absorbed by the
44       interactive loop.
45    
46    ----------------------------------------------------------------------
47    Name: Allen Leung
48    Date: 2003/05/16 13:05:00 CDT
49    Tag: leunga-20030516-cygwin-runtime
50    Description:
51    
52        Ported the runtime system to cygwin, which uses the unix
53    x86-unix bin files.  Missing/buggy features:
54    
55       o getnetbyname, getnetbyaddr: these functions seem to be missing in
56         the Cygwin library.
57       o Ctrl-C handling may be flaky.
58       o Windows system calls and Windows I/O are not supported.
59    
60       A new set of binfiles is located at:
61    
62         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
63    
64       This is only needed for bootstrapping the cygwin version of smlnj.
65       Other x86 versions can use the existing binfiles.
66    
67    ----------------------------------------------------------------------
68    Name: Matthias Blume
69    Date: 2003/04/08 15:42:00 CDT
70    Tag: blume-20030408-listpair
71    Description:
72    
73    1. Added a target 'mlrisc' to installer.
74    
75    2. Added missing elements to structure ListPair.
76    
77    ----------------------------------------------------------------------
78    Name: Allen Leung
79    Date: 2003/01/07 10:40:00 EST
80    Tag: leunga-20030107-int-rem
81    Description:
82    
83    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
84    The arguments to the SUBL instruction were swapped.
85    
86    ----------------------------------------------------------------------
87    Name: Matthias Blume
88    Date: 2002/12/12 16:25:00 EST
89    Tag: blume-20021212-risc-ra
90    Description:
91    
92    Fixed a serious bug in the rewrite code for FP spilling/reloading that
93    sent the RA into an infinite loop when floating point registers get
94    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
95    110.37 and 110.38.)
96    There was another set of potential problems related to the handling of
97    MLRISC annotations (but those did not yet cause real problems, apparently).
98    
99    ----------------------------------------------------------------------
100    Name: Matthias Blume
101    Date: 2002/12/06 22:40:00 EST
102    Tag: blume-20021206-cm-fileid
103    Description:
104    
105    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
106    This fixes the problem of CM getting confused by files that suddenly
107    change their identity (e.g., by getting unlinked and recreated by some
108    text editor such as vi).  There might be a better/cheaper/cleaner way
109    of doing this, but for now this will have to do.
110    
111    ----------------------------------------------------------------------
112    Name: Matthias Blume
113    Date: 2002/10/28 09:50:00 EST
114    Tag: blume-20021028-typecheck
115    Description:
116    
117    Exported structure Typecheck from $smlnj/viscomp/core.cm.
118    
119    ----------------------------------------------------------------------
120    Name: Matthias Blume
121    Date: 2002/10/17 09:10:00 EDT
122    Tag: Release_110_42
123    Description:
124    
125    In good old tradition, there has been a slight hiccup so that we have
126    to patch 110.42 after the fact.   The old release tag has been replaced
127    (see below).
128    
129    The change solves a problem with two competing approaches the
130    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
131    each other's way.
132    
133    This change only affects the runtime system code and the installer script.
134    (No new bootfiles.)
135    
136    ----------------------------------------------------------------------
137    Name: Matthias Blume
138    Date: 2002/10/16 12:00:00 EDT
139    Tag: Release_110_42_removed
140    Description:
141    
142    New working release.  New bootfiles.
143    
144    ----------------------------------------------------------------------
145    Name: Matthias Blume
146    Date: 2002/10/10 13:10:00 EDT
147    Tag: blume-20021010-ppc-divs
148    Description:
149    
150    The mltree operator DIVS must be implemented with an overflow check on
151    the PPC because the hardware indicates divide-by-zero using "overflow" as
152    well.
153    
154    ----------------------------------------------------------------------
155    Name: Matthias Blume
156    Date: 2002/07/23 11:45:00
157    Tag: blume-20020723-smlnj-home
158    Description:
159    
160    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
161    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
162    CM_PATHCONFIG is also set), the path configuration file is assumed
163    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
164    the entire tree to some other place and everything will "just work".
165    
166    (Companion commands such as ml-build and ml-makedepend also sense this
167    variable.)
168    
169    ----------------------------------------------------------------------
170    Name: Matthias Blume
171    Date: 2002/07/12 21:19:00 EDT
172    Tag: blume-20020712-liveness
173    Description:
174    
175    Exported two useful "step" functions from liveness module (MLRISC).
176    
177    ----------------------------------------------------------------------
178    Name: Matthias Blume
179    Date: 2002/07/05 16:00 EDT
180    Tag: Release_110_41
181    Description:
182    
183    New working release.  New bootfiles.
184    
185    ----------------------------------------------------------------------
186    Name: Matthias Blume
187    Date: 2002/07/05 10:25:00 EDT
188    Tag: blume-20020705-btimp
189    Description:
190    
191    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
192    other clients can set up backtracing support.
193    
194    ----------------------------------------------------------------------
195    Name: Matthias Blume
196    Date: 2002/06/25 17:23:00 EDT
197    Tag: blume-20020625-fpmax
198    Description:
199    
200    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
201    case.  (The sense of the isNaN test was reversed -- which made min and
202    max always return their first argument.)
203    
204    ----------------------------------------------------------------------
205    Name: Matthias Blume
206    Date: 2002/06/11
207    Tag: blume-20020611-unixpath
208    Description:
209    
210    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
211    
212    ----------------------------------------------------------------------
213    Name: Matthias Blume
214    Date: 2002/06/10 16:35:00 EDT
215    Tag: blume-20020610-ieeereal
216    Description:
217    
218    I back-ported my implementation of IEEEReal.fromString from the
219    idlbasis-devel branch so that we can test it.
220    
221    Another small change is that ppDec tries to give more information
222    than just "<sig>" in the case of functors.  However, this code is
223    broken in some mysterious way if the functor's body's signature
224    has not been declared by ascription but gets inferred from the
225    implementation.  This needs fixing...
226    
227    ----------------------------------------------------------------------
228    Name: Matthias Blume
229    Date: 2002/05/31
230    Tag: blume-20020531-btrace-mode
231    Description:
232    
233    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
234    the wayside when I switched over to using Controls everywhere.)
235    
236    ----------------------------------------------------------------------
237    Name: Lal George
238    Date: 2002/05/23 12:21:40 EDT
239    Tag: george-20020523-visual-labels
240    Description:
241    
242    Labels are now displayed in the graphical output to make
243    the fall-through and target blocks obvious.
244    
245    ----------------------------------------------------------------------
246  Name: Matthias Blume  Name: Matthias Blume
247  Date: 2002/05/22 11:03:00 EDT  Date: 2002/05/22 11:03:00 EDT
248  Tag: blume-20020522-shrink  Tag: blume-20020522-shrink

Legend:
Removed from v.1220  
changed lines
  Added in v.1334

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