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 1222, Thu May 23 16:23:41 2002 UTC revision 1342, Mon Aug 11 20:46:00 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Matthias Blume (blume@tti-c.org)
17    Date: 2003/08/11 15:45:00 CDT
18    Tag: blume-20030811-windows
19    Description:
20    
21    Version number bumped to 110.42.9.  NEW BOOTFILES!!!
22    
23        http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
24    
25    This patch restores SML/NJ's ability to run under win32.  There are a
26    number of changes, including fixes for several bugs that had gone
27    unnoticed until now:
28    
29      - uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
30        trying to run the win32 version from within cygwin.)
31    
32      - There are a number of simple .bat scripts that substitute for their
33        corresponding Unix shell-scripts.  (See below.)
34    
35      - The internals of ml-build have been modified slightly.  The main
36        difference is that instead of calling ".link-sml" (or link-sml.bat)
37        using OS.Process.system, the ML process delegates this task back
38        to the script.  Otherwise problems arise in mixed environments such
39        as Cygwin where scripts look and work like Unix scripts, but
40        where OS.Process.system cannot run them.
41    
42      - In CM, the srcpath pickler used native pathname syntax -- which
43        is incorrect in the case of cross-compilation.  The new pickle format
44        is independent of platform-specific naming conventions.
45    
46      - Path configuration files (such as lib/pathconfig) can now choose
47        between native and standard syntax.  Placing a line of the form
48    
49            standard!
50    
51        into the file causes all subsequent paths to be interpreted using
52        CM standard pathname syntax (= Unix conventions); a line
53    
54            native!
55    
56        switches back to native style.  This was needed so that
57        path config files can be written portably, see src/system/pathconfig.
58    
59      - Runtime system:
60    
61          - win32-filesys.c:  get_file_time and set_file_time now
62            access modification time, not creation time.
63    
64          - I/O code made aware of new array representation.
65    
66          - Bug fixes in X86.prim.masm.
67    
68       - src/system/makeml made aware of win32. (For use under cygwin
69            and other Unix-environments for windows.)
70    
71       - In Basis, fixed off-by-one error in win32-io.sml (function vecF)
72         which caused BinIO.inputAll to fail consistently.
73    
74    .bat scripts:
75    
76       Windows .bat scripts assume that SMLNJ_HOME is defined.
77    
78       - sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
79         applications (sml, ml-yacc, ml-lex).
80       - ml-build.bat: analogous to ml-build.
81       - config\install.bat:  Analogous to config/install.sh.  This requires
82         that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
83         (nmake etc. must be on the path, and vcvars32 must have been run.)
84         Moreover, sources for ml-lex and ml-yacc need to exist under src,
85         and the bootfile hierarchy must have been unpacked under
86         sml.boot.x86-win32.
87         The script is very primitive and does a poor job at error checking.
88         It only installs the base system, ml-lex, and ml-yacc.  No other
89         libraries are being installed (i.e., you get only those that
90         are part of the compiler.)
91       - link-sml.bat:  analogous to .link-sml, but not currently used
92    
93    Unrelated bug fixes:
94    
95      - ml-nlffigen now exports structures ST_* corresponding to incomplete
96        types.
97      - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
98        otherwise.)
99    
100    ----------------------------------------------------------------------
101    Name: Dave MacQueen (macqueen@cs.uchicago.edu)
102    Date: 2003/06/17
103    Tag: macqueen-20030617-bug895
104    Description:
105    
106    Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
107    Tag will be used for new development branch (mcz-branch) for
108    use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
109    
110    ----------------------------------------------------------------------
111    Name: Matthias Blume (blume@tti-c.org)
112    Date: 2003/05/27 16:55:00 CDT
113    Tag: blume-20030527-polyeq
114    Description:
115    
116    Tried to eliminated most cases of polymorphic equality.
117    
118    ----------------------------------------------------------------------
119    Name: Matthias Blume (blume@tti-c.org)
120    Date: 2003/05/21 17:45:00 CDT
121    Tag: blume-20030517-complete
122    Description:
123    
124    Two changes:
125    
126      1. Added a flag for controlling whether non-exhaustive bindings will
127         be treated as errors (default is false).
128      2. Cleaned up the *entire* source tree so that CMB.make goes through
129         without a single non-exhaustive match- or bind warning.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume (blume@tti-c.org)
133    Date: 2003/05/17 10:20:00 CDT
134    Tag: blume-20030517-absyn
135    Description:
136    
137    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
138    
139       This mainly affects the quality of error messages.  However, some
140       of the code is now more straightforward than before. (Treatment of
141       the above four constructs in translate.sml is much simpler than
142       the "macro-expansion" that was going on before.  Plus, the mach-
143       compiler no longer gets invoked just to be able to compile an
144       if-expression.)
145    
146    2. The ErrorMsg.Error exception is now caught and absorbed by the
147       interactive loop.
148    
149    ----------------------------------------------------------------------
150    Name: Allen Leung
151    Date: 2003/05/16 13:05:00 CDT
152    Tag: leunga-20030516-cygwin-runtime
153    Description:
154    
155        Ported the runtime system to cygwin, which uses the unix
156    x86-unix bin files.  Missing/buggy features:
157    
158       o getnetbyname, getnetbyaddr: these functions seem to be missing in
159         the Cygwin library.
160       o Ctrl-C handling may be flaky.
161       o Windows system calls and Windows I/O are not supported.
162    
163       A new set of binfiles is located at:
164    
165         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
166    
167       This is only needed for bootstrapping the cygwin version of smlnj.
168       Other x86 versions can use the existing binfiles.
169    
170    ----------------------------------------------------------------------
171    Name: Matthias Blume
172    Date: 2003/04/08 15:42:00 CDT
173    Tag: blume-20030408-listpair
174    Description:
175    
176    1. Added a target 'mlrisc' to installer.
177    
178    2. Added missing elements to structure ListPair.
179    
180    ----------------------------------------------------------------------
181    Name: Allen Leung
182    Date: 2003/01/07 10:40:00 EST
183    Tag: leunga-20030107-int-rem
184    Description:
185    
186    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
187    The arguments to the SUBL instruction were swapped.
188    
189    ----------------------------------------------------------------------
190    Name: Matthias Blume
191    Date: 2002/12/12 16:25:00 EST
192    Tag: blume-20021212-risc-ra
193    Description:
194    
195    Fixed a serious bug in the rewrite code for FP spilling/reloading that
196    sent the RA into an infinite loop when floating point registers get
197    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
198    110.37 and 110.38.)
199    There was another set of potential problems related to the handling of
200    MLRISC annotations (but those did not yet cause real problems, apparently).
201    
202    ----------------------------------------------------------------------
203    Name: Matthias Blume
204    Date: 2002/12/06 22:40:00 EST
205    Tag: blume-20021206-cm-fileid
206    Description:
207    
208    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
209    This fixes the problem of CM getting confused by files that suddenly
210    change their identity (e.g., by getting unlinked and recreated by some
211    text editor such as vi).  There might be a better/cheaper/cleaner way
212    of doing this, but for now this will have to do.
213    
214    ----------------------------------------------------------------------
215    Name: Matthias Blume
216    Date: 2002/10/28 09:50:00 EST
217    Tag: blume-20021028-typecheck
218    Description:
219    
220    Exported structure Typecheck from $smlnj/viscomp/core.cm.
221    
222    ----------------------------------------------------------------------
223    Name: Matthias Blume
224    Date: 2002/10/17 09:10:00 EDT
225    Tag: Release_110_42
226    Description:
227    
228    In good old tradition, there has been a slight hiccup so that we have
229    to patch 110.42 after the fact.   The old release tag has been replaced
230    (see below).
231    
232    The change solves a problem with two competing approaches the
233    configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in
234    each other's way.
235    
236    This change only affects the runtime system code and the installer script.
237    (No new bootfiles.)
238    
239    ----------------------------------------------------------------------
240    Name: Matthias Blume
241    Date: 2002/10/16 12:00:00 EDT
242    Tag: Release_110_42_removed
243    Description:
244    
245    New working release.  New bootfiles.
246    
247    ----------------------------------------------------------------------
248    Name: Matthias Blume
249    Date: 2002/10/10 13:10:00 EDT
250    Tag: blume-20021010-ppc-divs
251    Description:
252    
253    The mltree operator DIVS must be implemented with an overflow check on
254    the PPC because the hardware indicates divide-by-zero using "overflow" as
255    well.
256    
257    ----------------------------------------------------------------------
258    Name: Matthias Blume
259    Date: 2002/07/23 11:45:00
260    Tag: blume-20020723-smlnj-home
261    Description:
262    
263    Sml now senses the SMLNJ_HOME environment variable.  If this is set,
264    then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless
265    CM_PATHCONFIG is also set), the path configuration file is assumed
266    to be in $SMLNJ_HOME/lib/pathconfig.  This way one can easily move
267    the entire tree to some other place and everything will "just work".
268    
269    (Companion commands such as ml-build and ml-makedepend also sense this
270    variable.)
271    
272    ----------------------------------------------------------------------
273    Name: Matthias Blume
274    Date: 2002/07/12 21:19:00 EDT
275    Tag: blume-20020712-liveness
276    Description:
277    
278    Exported two useful "step" functions from liveness module (MLRISC).
279    
280    ----------------------------------------------------------------------
281    Name: Matthias Blume
282    Date: 2002/07/05 16:00 EDT
283    Tag: Release_110_41
284    Description:
285    
286    New working release.  New bootfiles.
287    
288    ----------------------------------------------------------------------
289    Name: Matthias Blume
290    Date: 2002/07/05 10:25:00 EDT
291    Tag: blume-20020705-btimp
292    Description:
293    
294    Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that
295    other clients can set up backtracing support.
296    
297    ----------------------------------------------------------------------
298    Name: Matthias Blume
299    Date: 2002/06/25 17:23:00 EDT
300    Tag: blume-20020625-fpmax
301    Description:
302    
303    Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point
304    case.  (The sense of the isNaN test was reversed -- which made min and
305    max always return their first argument.)
306    
307    ----------------------------------------------------------------------
308    Name: Matthias Blume
309    Date: 2002/06/11
310    Tag: blume-20020611-unixpath
311    Description:
312    
313    Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch.
314    
315    ----------------------------------------------------------------------
316    Name: Matthias Blume
317    Date: 2002/06/10 16:35:00 EDT
318    Tag: blume-20020610-ieeereal
319    Description:
320    
321    I back-ported my implementation of IEEEReal.fromString from the
322    idlbasis-devel branch so that we can test it.
323    
324    Another small change is that ppDec tries to give more information
325    than just "<sig>" in the case of functors.  However, this code is
326    broken in some mysterious way if the functor's body's signature
327    has not been declared by ascription but gets inferred from the
328    implementation.  This needs fixing...
329    
330    ----------------------------------------------------------------------
331    Name: Matthias Blume
332    Date: 2002/05/31
333    Tag: blume-20020531-btrace-mode
334    Description:
335    
336    Resurrected SMLofNJ.Internals.BTrace.mode.  (It accidentally fell by
337    the wayside when I switched over to using Controls everywhere.)
338    
339    ----------------------------------------------------------------------
340  Name: Lal George  Name: Lal George
341  Date: 2002/05/23 12:21:40 EDT  Date: 2002/05/23 12:21:40 EDT
342  Tag: george-20020523-visual-labels  Tag: george-20020523-visual-labels

Legend:
Removed from v.1222  
changed lines
  Added in v.1342

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