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) |
Name: Dave MacQueen (macqueen@cs.uchicago.edu) |
115 |
Date: 2003/06/17 |
Date: 2003/06/17 |
116 |
Tag: macqueen-20030617-bug895 |
Tag: macqueen-20030617-bug895 |