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 1282, Thu Oct 17 13:07:53 2002 UTC revision 1343, Wed Aug 13 17:44:22 2003 UTC
# Line 13  Line 13 
13  Description:  Description:
14    
15  ----------------------------------------------------------------------  ----------------------------------------------------------------------
16    Name: Dave MacQueen (dbm@cs.uchicago.edu)
17    Date: 2003/08/13 11:36:00 CDT
18    Tag: dbm-20030813-mcz-merge1
19    Description:
20    
21    Merging changes from the mcz-branch development branch into trunk.
22    These changes involve replacement of the emulated old prettyprinter
23    interface with direct use of the SML/NJ Lib PP library, and fixing
24    of a couple of bugs (895, 1186) relating to error messages.  A new
25    prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml})
26    has been added.
27    
28    ----------------------------------------------------------------------
29    Name: Matthias Blume (blume@tti-c.org)
30    Date: 2003/08/11 15:45:00 CDT
31    Tag: blume-20030811-windows
32    Description:
33    
34    Version number bumped to 110.42.9.  NEW BOOTFILES!!!
35    
36        http://smlnj.cs.uchicago.edu/dist/working/110.42.9/
37    
38    This patch restores SML/NJ's ability to run under win32.  There are a
39    number of changes, including fixes for several bugs that had gone
40    unnoticed until now:
41    
42      - uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when
43        trying to run the win32 version from within cygwin.)
44    
45      - There are a number of simple .bat scripts that substitute for their
46        corresponding Unix shell-scripts.  (See below.)
47    
48      - The internals of ml-build have been modified slightly.  The main
49        difference is that instead of calling ".link-sml" (or link-sml.bat)
50        using OS.Process.system, the ML process delegates this task back
51        to the script.  Otherwise problems arise in mixed environments such
52        as Cygwin where scripts look and work like Unix scripts, but
53        where OS.Process.system cannot run them.
54    
55      - In CM, the srcpath pickler used native pathname syntax -- which
56        is incorrect in the case of cross-compilation.  The new pickle format
57        is independent of platform-specific naming conventions.
58    
59      - Path configuration files (such as lib/pathconfig) can now choose
60        between native and standard syntax.  Placing a line of the form
61    
62            standard!
63    
64        into the file causes all subsequent paths to be interpreted using
65        CM standard pathname syntax (= Unix conventions); a line
66    
67            native!
68    
69        switches back to native style.  This was needed so that
70        path config files can be written portably, see src/system/pathconfig.
71    
72      - Runtime system:
73    
74          - win32-filesys.c:  get_file_time and set_file_time now
75            access modification time, not creation time.
76    
77          - I/O code made aware of new array representation.
78    
79          - Bug fixes in X86.prim.masm.
80    
81       - src/system/makeml made aware of win32. (For use under cygwin
82            and other Unix-environments for windows.)
83    
84       - In Basis, fixed off-by-one error in win32-io.sml (function vecF)
85         which caused BinIO.inputAll to fail consistently.
86    
87    .bat scripts:
88    
89       Windows .bat scripts assume that SMLNJ_HOME is defined.
90    
91       - sml.bat, ml-yacc.bat, ml-lex.bat:  Driver scripts for standalone
92         applications (sml, ml-yacc, ml-lex).
93       - ml-build.bat: analogous to ml-build.
94       - config\install.bat:  Analogous to config/install.sh.  This requires
95         that SMLNJ_HOME is set and that Microsoft Visual C is ready to use.
96         (nmake etc. must be on the path, and vcvars32 must have been run.)
97         Moreover, sources for ml-lex and ml-yacc need to exist under src,
98         and the bootfile hierarchy must have been unpacked under
99         sml.boot.x86-win32.
100         The script is very primitive and does a poor job at error checking.
101         It only installs the base system, ml-lex, and ml-yacc.  No other
102         libraries are being installed (i.e., you get only those that
103         are part of the compiler.)
104       - link-sml.bat:  analogous to .link-sml, but not currently used
105    
106    Unrelated bug fixes:
107    
108      - ml-nlffigen now exports structures ST_* corresponding to incomplete
109        types.
110      - Added getDevice to PP/src/pp-debug-fn.sml.  (Would not compile
111        otherwise.)
112    
113    ----------------------------------------------------------------------
114    Name: Dave MacQueen (macqueen@cs.uchicago.edu)
115    Date: 2003/06/17
116    Tag: macqueen-20030617-bug895
117    Description:
118    
119    Modified compiler/Elaborator/print/pptype.sml to fix bug 895.
120    Tag will be used for new development branch (mcz-branch) for
121    use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago.
122    
123    ----------------------------------------------------------------------
124    Name: Matthias Blume (blume@tti-c.org)
125    Date: 2003/05/27 16:55:00 CDT
126    Tag: blume-20030527-polyeq
127    Description:
128    
129    Tried to eliminated most cases of polymorphic equality.
130    
131    ----------------------------------------------------------------------
132    Name: Matthias Blume (blume@tti-c.org)
133    Date: 2003/05/21 17:45:00 CDT
134    Tag: blume-20030517-complete
135    Description:
136    
137    Two changes:
138    
139      1. Added a flag for controlling whether non-exhaustive bindings will
140         be treated as errors (default is false).
141      2. Cleaned up the *entire* source tree so that CMB.make goes through
142         without a single non-exhaustive match- or bind warning.
143    
144    ----------------------------------------------------------------------
145    Name: Matthias Blume (blume@tti-c.org)
146    Date: 2003/05/17 10:20:00 CDT
147    Tag: blume-20030517-absyn
148    Description:
149    
150    1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn.
151    
152       This mainly affects the quality of error messages.  However, some
153       of the code is now more straightforward than before. (Treatment of
154       the above four constructs in translate.sml is much simpler than
155       the "macro-expansion" that was going on before.  Plus, the mach-
156       compiler no longer gets invoked just to be able to compile an
157       if-expression.)
158    
159    2. The ErrorMsg.Error exception is now caught and absorbed by the
160       interactive loop.
161    
162    ----------------------------------------------------------------------
163    Name: Allen Leung
164    Date: 2003/05/16 13:05:00 CDT
165    Tag: leunga-20030516-cygwin-runtime
166    Description:
167    
168        Ported the runtime system to cygwin, which uses the unix
169    x86-unix bin files.  Missing/buggy features:
170    
171       o getnetbyname, getnetbyaddr: these functions seem to be missing in
172         the Cygwin library.
173       o Ctrl-C handling may be flaky.
174       o Windows system calls and Windows I/O are not supported.
175    
176       A new set of binfiles is located at:
177    
178         http://www.dorsai.org/~leunga/boot.x86-unix.tgz
179    
180       This is only needed for bootstrapping the cygwin version of smlnj.
181       Other x86 versions can use the existing binfiles.
182    
183    ----------------------------------------------------------------------
184    Name: Matthias Blume
185    Date: 2003/04/08 15:42:00 CDT
186    Tag: blume-20030408-listpair
187    Description:
188    
189    1. Added a target 'mlrisc' to installer.
190    
191    2. Added missing elements to structure ListPair.
192    
193    ----------------------------------------------------------------------
194    Name: Allen Leung
195    Date: 2003/01/07 10:40:00 EST
196    Tag: leunga-20030107-int-rem
197    Description:
198    
199    Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86.
200    The arguments to the SUBL instruction were swapped.
201    
202    ----------------------------------------------------------------------
203    Name: Matthias Blume
204    Date: 2002/12/12 16:25:00 EST
205    Tag: blume-20021212-risc-ra
206    Description:
207    
208    Fixed a serious bug in the rewrite code for FP spilling/reloading that
209    sent the RA into an infinite loop when floating point registers get
210    spilled.  (Because of this bug, e.g., nucleic stopped compiling between
211    110.37 and 110.38.)
212    There was another set of potential problems related to the handling of
213    MLRISC annotations (but those did not yet cause real problems, apparently).
214    
215    ----------------------------------------------------------------------
216    Name: Matthias Blume
217    Date: 2002/12/06 22:40:00 EST
218    Tag: blume-20021206-cm-fileid
219    Description:
220    
221    Added a call of SrcPath.sync at the beginning of Parse.parse (in CM).
222    This fixes the problem of CM getting confused by files that suddenly
223    change their identity (e.g., by getting unlinked and recreated by some
224    text editor such as vi).  There might be a better/cheaper/cleaner way
225    of doing this, but for now this will have to do.
226    
227    ----------------------------------------------------------------------
228    Name: Matthias Blume
229    Date: 2002/10/28 09:50:00 EST
230    Tag: blume-20021028-typecheck
231    Description:
232    
233    Exported structure Typecheck from $smlnj/viscomp/core.cm.
234    
235    ----------------------------------------------------------------------
236  Name: Matthias Blume  Name: Matthias Blume
237  Date: 2002/10/17 09:10:00 EDT  Date: 2002/10/17 09:10:00 EDT
238  Tag: Release_110_42  Tag: Release_110_42

Legend:
Removed from v.1282  
changed lines
  Added in v.1343

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