13 |
Description: |
Description: |
14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
17 |
|
Date: 2003/09/24 15:35:00 CDT |
18 |
|
Tag: blume-20030924-synsock |
19 |
|
Description: |
20 |
|
|
21 |
|
Added a signature SYNCHRONOUS_SOCKET to basis.cm. This is like SOCKET |
22 |
|
but excludes all non-blocking operations. Defined SOCKET (in Basis) |
23 |
|
and CML_SOCKET in terms of SYNCHRONOUS_SOCKET. Removed superfluous |
24 |
|
implementations of non-blocking operations from CML's Socket |
25 |
|
structure. |
26 |
|
|
27 |
|
---------------------------------------------------------------------- |
28 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
29 |
|
Date: 2003/09/24 15:10:05 CDT |
30 |
|
Tag: blume-20030924-sockets |
31 |
|
Description: |
32 |
|
|
33 |
|
1. Fixed SOCKET API and implementation to match Basis spec. |
34 |
|
This required changing the internal representation of sockets to one |
35 |
|
that remembers (for each socket file descriptor) whether it is currently |
36 |
|
blocking or non-blocking. This state is maintained lazily (i.e., a system |
37 |
|
call is made only if the state actually needs to change). |
38 |
|
|
39 |
|
2. OS-specific details of sockets were moved into separate files, thus |
40 |
|
making it possible to unify the bulk of the socket implementations |
41 |
|
between Unix and Win32. |
42 |
|
|
43 |
|
3. CML's socket API changed accordingly. |
44 |
|
(Note that we need to remove non-blocking functions from this API |
45 |
|
since they are redundant in the case of CML!) |
46 |
|
|
47 |
|
4. CML's socket implementation now makes use of non-blocking functions |
48 |
|
provided by Basis, thus removing all OS-dependent code from this part |
49 |
|
of CML. |
50 |
|
|
51 |
|
5. Changed Real64.precision from 52 to 53. Minor cleanup in Real64 code. |
52 |
|
|
53 |
|
---------------------------------------------------------------------- |
54 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
55 |
|
Date: 2003/09/22 12:10:00 CDT |
56 |
|
Tag: blume-20030922-110_43_2 |
57 |
|
Description: |
58 |
|
|
59 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
60 |
|
convenience. |
61 |
|
|
62 |
|
110.43.2 -- NEW BOOTFILES |
63 |
|
|
64 |
|
---------------------------------------------------------------------- |
65 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
66 |
|
Date: 2003/09/19 15:55:00 CDT |
67 |
|
Tag: blume-20030919-cmdir |
68 |
|
Description: |
69 |
|
|
70 |
|
1. new-install.sh -> install.sh |
71 |
|
2. changed default CM "metadata" directory name to ".cm" (instead of "CM") |
72 |
|
3. tweaked installer so that another name instead of .cm can be chosen |
73 |
|
at install time (by setting the CM_DIR_ARC environment variable |
74 |
|
during installation); once installation is complete, the name is |
75 |
|
fixed |
76 |
|
|
77 |
|
---------------------------------------------------------------------- |
78 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
79 |
|
Date: 2003/09/18 16:00:00 CDT |
80 |
|
Tag: blume-20030918-110_43_1 |
81 |
|
Description: |
82 |
|
|
83 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
84 |
|
convenience. |
85 |
|
|
86 |
|
110.43.1 -- NEW BOOTFILES |
87 |
|
|
88 |
|
---------------------------------------------------------------------- |
89 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
90 |
|
Date: 2003/09/18 15:20:00 CDT |
91 |
|
Tag: blume-20030918-misc |
92 |
|
Description: |
93 |
|
|
94 |
|
1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as |
95 |
|
this seems to be controversial at the moment) and used those in |
96 |
|
Posix.ProcEnv.times. |
97 |
|
|
98 |
|
2. Added Time.{from,to}Nanoseconds to Time. |
99 |
|
|
100 |
|
3. Improved Real.{from,to}LargeInt by avoiding needless calculations. |
101 |
|
For example, fromLargeInt never needs to look at more than 3 "big |
102 |
|
digits" to get its 53 bits of precision. |
103 |
|
|
104 |
|
---------------------------------------------------------------------- |
105 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
106 |
|
Date: 2003/09/17 16:30:00 CDT |
107 |
|
Tag: blume-20030917-real32-slices |
108 |
|
Description: |
109 |
|
|
110 |
|
Added an entry to the primitive environment |
111 |
|
(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and |
112 |
|
added code to compiler/CodeGen/main/mlriscGen.sml to implement it. |
113 |
|
|
114 |
|
Removed some of the "magic" constants in real64.sml and replaced them |
115 |
|
with code that generates these values from their corresponding |
116 |
|
integer counterparts. |
117 |
|
|
118 |
|
Made all(?) the slice-related changes to the Basis and made everything |
119 |
|
compile again... |
120 |
|
|
121 |
|
---------------------------------------------------------------------- |
122 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
123 |
|
Date: 2003/09/15 17:45:00 CDT |
124 |
|
Tag: blume-20030915-rbase |
125 |
|
Description: |
126 |
|
|
127 |
|
Fixed bug in Real.fromLargeInt. |
128 |
|
|
129 |
|
---------------------------------------------------------------------- |
130 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
131 |
|
Date: 2003/09/13 18:11:00 CDT |
132 |
|
Tag: blume-20030913-libinstall |
133 |
|
Description: |
134 |
|
|
135 |
|
Minor bugfix in config/libinstall (set anchor with path to |
136 |
|
standalone tool after installing it, otherwise libraries that |
137 |
|
need ml-lex or ml-yacc won't compile the first time the installer |
138 |
|
runs). |
139 |
|
|
140 |
|
---------------------------------------------------------------------- |
141 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
142 |
|
Date: 2003/09/12 11:45:00 CDT |
143 |
|
Tag: blume-20030912-various |
144 |
|
Description: |
145 |
|
|
146 |
|
- fixed bug in Real.toLargeInt |
147 |
|
- fixed bug in Posix.ProcEnv.times |
148 |
|
- changed inputLine functions to return an option |
149 |
|
- minor installer improvements / bugfixes |
150 |
|
- changed default @SMLalloc parameter for x86/celeron to 64k |
151 |
|
|
152 |
|
---------------------------------------------------------------------- |
153 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
154 |
|
Date: 2003/09/09 22:00:00 CDT |
155 |
|
Tag: Release_110_43 |
156 |
|
Description: |
157 |
|
|
158 |
|
New working release 110.43. New bootfiles. |
159 |
|
|
160 |
|
---------------------------------------------------------------------- |
161 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
162 |
|
Date: 2003/09/09 19:20:00 CDT |
163 |
|
Tag: blume-20030909-installer |
164 |
|
Description: |
165 |
|
|
166 |
|
Rewrote large parts of config/install.sh in SML (config/libinstall.sml). |
167 |
|
Modified config/install.bat to take advantage of it. Also modified |
168 |
|
config/install.sh (and called it config/new-install.sh) to take advantage |
169 |
|
of it on Unix systems. (The SML code is (supposed to be) platform- |
170 |
|
independent.) |
171 |
|
|
172 |
|
The installer can now install everything under Win32 |
173 |
|
as well as under *nix as long as it compiles. |
174 |
|
|
175 |
|
Other changes: |
176 |
|
|
177 |
|
- made CML compile again under Win32 |
178 |
|
- made eXene compile under Win32 (by providing a fake structure UnixSock |
179 |
|
and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv) |
180 |
|
- fixed a bug in nowhere: it assumed that type OS.Process.status is the |
181 |
|
same as type int; under Win32 it isn't |
182 |
|
- fixed some slice-related problems in the win32-specific parts of CML |
183 |
|
- added a functor argument "sameVol" to os-path-fn.sml in the Basis |
184 |
|
(under Win32, the volume name is case-insensitive, and the |
185 |
|
OS.Path code compares volume names for equality) |
186 |
|
|
187 |
|
---------------------------------------------------------------------- |
188 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
189 |
|
Date: 2003/09/08 11:55:00 CDT |
190 |
|
Tag: blume-20030908-fullpath |
191 |
|
Description: |
192 |
|
|
193 |
|
Made Win32 version of OS.FileSys.fullPath return current directory |
194 |
|
when given an empty string. This is what the spec says, and incidentally, |
195 |
|
CM depends on it. (CM otherwise goes into an infinite loop in certain |
196 |
|
cases when presented with the name of a non-existing .cm file.) |
197 |
|
|
198 |
|
---------------------------------------------------------------------- |
199 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
200 |
|
Date: 2003/09/04 16:30:00 CDT |
201 |
|
Tag: blume-20030905-slices-etc |
202 |
|
Description: |
203 |
|
|
204 |
|
1. Changed interface to vectors and arrays in Basis to match |
205 |
|
(draft) Basis spec. |
206 |
|
2. Added signatures and implementations of slices according to |
207 |
|
Basis spec. |
208 |
|
3. Edited source code throughout the system to make it compile again |
209 |
|
under 1. and 2. (In some cases code had to be added to have it |
210 |
|
match the new signatures.) |
211 |
|
4. MLRISC should be backward-compatible: the copies of the originals |
212 |
|
of files that needed to change under 3. were retained, the .cm files |
213 |
|
check the compiler version number and use old versions when |
214 |
|
appropriate. |
215 |
|
5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to |
216 |
|
dirstream -> string option (in accordance with Basis spec). |
217 |
|
6. When generating code that counts lines, ml-lex used function |
218 |
|
CharVector.foldli, taking advantage of its old interface. |
219 |
|
This has been replaced with the corresponding code from |
220 |
|
CharVectorSlice. (html-lex must be re-lexed!) |
221 |
|
7. BitArray in smlnj-lib/Util has been extended/modified to match the |
222 |
|
new MONO_ARRAY signature. (Do we need BitArraySlice?) |
223 |
|
8. Removed temporary additions (fromInternal, toInternal) from the |
224 |
|
(now obsolete) IntInf in smlnj-lib/Util. |
225 |
|
9. Cleaned up structure Byte. |
226 |
|
10. Added localOffset, scan, and fromString to Date (according to spec). |
227 |
|
Cleaned/corrected implementation of Date. |
228 |
|
(Still need to check for correctness; implement better canonicalizeDate.) |
229 |
|
11. Added "scan" to signature IEEE_REAL. |
230 |
|
12. Some improvements to IntInf [in particular: efficiency-hack for |
231 |
|
mod and rem when second operand is 2 (for parity checks).] |
232 |
|
13. Changed representation of type Time.time, using a single IntInf.int |
233 |
|
value counting microseconds. This considerably simplified the |
234 |
|
implementation of structure Time. We now support negative time |
235 |
|
values; scan and fromString handle signs. |
236 |
|
14. Functor PrimIO now takes two additional arguments (VectorSlice and |
237 |
|
ArraySlice). |
238 |
|
|
239 |
|
---------------------------------------------------------------------- |
240 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
241 |
|
Date: 2003/08/28 17:00:00 CDT |
242 |
|
Tag: blume-20030828-intinf |
243 |
|
Description: |
244 |
|
|
245 |
|
This is a major update which comes with a version number bump |
246 |
|
(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES, |
247 |
|
and an implementation of IntInf in the Basis. |
248 |
|
|
249 |
|
There are a fairly large number of related changes and updates throughout |
250 |
|
the system: |
251 |
|
|
252 |
|
Basis: |
253 |
|
- Implemented IntInf. |
254 |
|
- Made LargeInt a projection of IntInf (by filtering through INTEGER). |
255 |
|
- Added some missing Real64 operations, most notably Real.toLargeInt. |
256 |
|
- Added FixedInt as a synonym for Int32. |
257 |
|
|
258 |
|
compiler: |
259 |
|
* Added support for a built-in intinf type. |
260 |
|
- literals |
261 |
|
- pattern matching |
262 |
|
- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.) |
263 |
|
- overloading on literals and operations |
264 |
|
|
265 |
|
This required adding a primitive type intinf, some additional |
266 |
|
primops, and implementations for several non-trivial intinf |
267 |
|
operations in Core. (The intinf type is completely abstract |
268 |
|
to the compiler; all operations get delegated back to the Core.) |
269 |
|
|
270 |
|
* Intinf equality is handled by polyequal. However, the compiler |
271 |
|
does not print its usual warning in this case (since polyequal |
272 |
|
is the right thing to do there). |
273 |
|
|
274 |
|
* Improved the organization of structure InlineT. |
275 |
|
|
276 |
|
* A word about conversion primops: |
277 |
|
If conversions involving intinf do not cancel out during |
278 |
|
CPS contract, then the compiler must insert calls to Core functions. |
279 |
|
Since all core access must be resolved already during the FLINT |
280 |
|
translate phase, it would be too late a the time of CPS contract |
281 |
|
to add new Core calls. For this reason, conversion primops |
282 |
|
for intinf carry two arguments: 1. the numeric argument that |
283 |
|
they are supposed to convert, and 2. the Core function that |
284 |
|
can help with this conversion if necessary. If CPS contract |
285 |
|
eliminates a primop, then the associated Core function becomes |
286 |
|
dead and goes away. Intinf conversion primops that do not get |
287 |
|
eliminated by CPS contract get rewritten into calls of their |
288 |
|
core functions by a separate, new phase. |
289 |
|
|
290 |
|
interactive system: |
291 |
|
- Control.Print.intinfDepth controls max length of intinf constants |
292 |
|
being printed. (Analogous to Control.Print.stringDepth.) |
293 |
|
- Cleanup in printutil and pputil: got rid of unused stuff and |
294 |
|
duplicates; replaced some of the code with code that makes better |
295 |
|
use of library functionality. |
296 |
|
|
297 |
|
CM: |
298 |
|
Bugfix: parse-errors in init group (system/smlnj/init/init.cmi) |
299 |
|
are no longer silent. |
300 |
|
|
301 |
|
CKIT: |
302 |
|
Fixed mismatched uses of Int32 and LargeInt. I always decided |
303 |
|
in favor of LargeInt -- which is now the same as IntInf. |
304 |
|
CKIT-knowledgable people should check whether this is what's |
305 |
|
intended and otherwise change things back to using Int32 or |
306 |
|
FixedInt. |
307 |
|
|
308 |
|
Throughout the code: |
309 |
|
Started using IntInf.int literals and built-in operations |
310 |
|
(e.g., comparison with 0) where this seems appropriate. |
311 |
|
|
312 |
|
|
313 |
|
---------------------------------------------------------------------- |
314 |
|
Name: Dave MacQueen (dbm@cs.uchicago.edu) |
315 |
|
Date: 2003/08/13 11:36:00 CDT |
316 |
|
Tag: dbm-20030813-mcz-merge1 |
317 |
|
Description: |
318 |
|
|
319 |
|
Merging changes from the mcz-branch development branch into trunk. |
320 |
|
These changes involve replacement of the emulated old prettyprinter |
321 |
|
interface with direct use of the SML/NJ Lib PP library, and fixing |
322 |
|
of a couple of bugs (895, 1186) relating to error messages. A new |
323 |
|
prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml}) |
324 |
|
has been added. |
325 |
|
|
326 |
|
---------------------------------------------------------------------- |
327 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
328 |
|
Date: 2003/08/11 15:45:00 CDT |
329 |
|
Tag: blume-20030811-windows |
330 |
|
Description: |
331 |
|
|
332 |
|
Version number bumped to 110.42.9. NEW BOOTFILES!!! |
333 |
|
|
334 |
|
http://smlnj.cs.uchicago.edu/dist/working/110.42.9/ |
335 |
|
|
336 |
|
This patch restores SML/NJ's ability to run under win32. There are a |
337 |
|
number of changes, including fixes for several bugs that had gone |
338 |
|
unnoticed until now: |
339 |
|
|
340 |
|
- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when |
341 |
|
trying to run the win32 version from within cygwin.) |
342 |
|
|
343 |
|
- There are a number of simple .bat scripts that substitute for their |
344 |
|
corresponding Unix shell-scripts. (See below.) |
345 |
|
|
346 |
|
- The internals of ml-build have been modified slightly. The main |
347 |
|
difference is that instead of calling ".link-sml" (or link-sml.bat) |
348 |
|
using OS.Process.system, the ML process delegates this task back |
349 |
|
to the script. Otherwise problems arise in mixed environments such |
350 |
|
as Cygwin where scripts look and work like Unix scripts, but |
351 |
|
where OS.Process.system cannot run them. |
352 |
|
|
353 |
|
- In CM, the srcpath pickler used native pathname syntax -- which |
354 |
|
is incorrect in the case of cross-compilation. The new pickle format |
355 |
|
is independent of platform-specific naming conventions. |
356 |
|
|
357 |
|
- Path configuration files (such as lib/pathconfig) can now choose |
358 |
|
between native and standard syntax. Placing a line of the form |
359 |
|
|
360 |
|
standard! |
361 |
|
|
362 |
|
into the file causes all subsequent paths to be interpreted using |
363 |
|
CM standard pathname syntax (= Unix conventions); a line |
364 |
|
|
365 |
|
native! |
366 |
|
|
367 |
|
switches back to native style. This was needed so that |
368 |
|
path config files can be written portably, see src/system/pathconfig. |
369 |
|
|
370 |
|
- Runtime system: |
371 |
|
|
372 |
|
- win32-filesys.c: get_file_time and set_file_time now |
373 |
|
access modification time, not creation time. |
374 |
|
|
375 |
|
- I/O code made aware of new array representation. |
376 |
|
|
377 |
|
- Bug fixes in X86.prim.masm. |
378 |
|
|
379 |
|
- src/system/makeml made aware of win32. (For use under cygwin |
380 |
|
and other Unix-environments for windows.) |
381 |
|
|
382 |
|
- In Basis, fixed off-by-one error in win32-io.sml (function vecF) |
383 |
|
which caused BinIO.inputAll to fail consistently. |
384 |
|
|
385 |
|
.bat scripts: |
386 |
|
|
387 |
|
Windows .bat scripts assume that SMLNJ_HOME is defined. |
388 |
|
|
389 |
|
- sml.bat, ml-yacc.bat, ml-lex.bat: Driver scripts for standalone |
390 |
|
applications (sml, ml-yacc, ml-lex). |
391 |
|
- ml-build.bat: analogous to ml-build. |
392 |
|
- config\install.bat: Analogous to config/install.sh. This requires |
393 |
|
that SMLNJ_HOME is set and that Microsoft Visual C is ready to use. |
394 |
|
(nmake etc. must be on the path, and vcvars32 must have been run.) |
395 |
|
Moreover, sources for ml-lex and ml-yacc need to exist under src, |
396 |
|
and the bootfile hierarchy must have been unpacked under |
397 |
|
sml.boot.x86-win32. |
398 |
|
The script is very primitive and does a poor job at error checking. |
399 |
|
It only installs the base system, ml-lex, and ml-yacc. No other |
400 |
|
libraries are being installed (i.e., you get only those that |
401 |
|
are part of the compiler.) |
402 |
|
- link-sml.bat: analogous to .link-sml, but not currently used |
403 |
|
|
404 |
|
Unrelated bug fixes: |
405 |
|
|
406 |
|
- ml-nlffigen now exports structures ST_* corresponding to incomplete |
407 |
|
types. |
408 |
|
- Added getDevice to PP/src/pp-debug-fn.sml. (Would not compile |
409 |
|
otherwise.) |
410 |
|
|
411 |
|
---------------------------------------------------------------------- |
412 |
|
Name: Dave MacQueen (macqueen@cs.uchicago.edu) |
413 |
|
Date: 2003/06/17 |
414 |
|
Tag: macqueen-20030617-bug895 |
415 |
|
Description: |
416 |
|
|
417 |
|
Modified compiler/Elaborator/print/pptype.sml to fix bug 895. |
418 |
|
Tag will be used for new development branch (mcz-branch) for |
419 |
|
use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago. |
420 |
|
|
421 |
|
---------------------------------------------------------------------- |
422 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
423 |
|
Date: 2003/05/27 16:55:00 CDT |
424 |
|
Tag: blume-20030527-polyeq |
425 |
|
Description: |
426 |
|
|
427 |
|
Tried to eliminated most cases of polymorphic equality. |
428 |
|
|
429 |
|
---------------------------------------------------------------------- |
430 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
431 |
|
Date: 2003/05/21 17:45:00 CDT |
432 |
|
Tag: blume-20030517-complete |
433 |
|
Description: |
434 |
|
|
435 |
|
Two changes: |
436 |
|
|
437 |
|
1. Added a flag for controlling whether non-exhaustive bindings will |
438 |
|
be treated as errors (default is false). |
439 |
|
2. Cleaned up the *entire* source tree so that CMB.make goes through |
440 |
|
without a single non-exhaustive match- or bind warning. |
441 |
|
|
442 |
|
---------------------------------------------------------------------- |
443 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
444 |
|
Date: 2003/05/17 10:20:00 CDT |
445 |
|
Tag: blume-20030517-absyn |
446 |
|
Description: |
447 |
|
|
448 |
|
1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn. |
449 |
|
|
450 |
|
This mainly affects the quality of error messages. However, some |
451 |
|
of the code is now more straightforward than before. (Treatment of |
452 |
|
the above four constructs in translate.sml is much simpler than |
453 |
|
the "macro-expansion" that was going on before. Plus, the mach- |
454 |
|
compiler no longer gets invoked just to be able to compile an |
455 |
|
if-expression.) |
456 |
|
|
457 |
|
2. The ErrorMsg.Error exception is now caught and absorbed by the |
458 |
|
interactive loop. |
459 |
|
|
460 |
|
---------------------------------------------------------------------- |
461 |
|
Name: Allen Leung |
462 |
|
Date: 2003/05/16 13:05:00 CDT |
463 |
|
Tag: leunga-20030516-cygwin-runtime |
464 |
|
Description: |
465 |
|
|
466 |
|
Ported the runtime system to cygwin, which uses the unix |
467 |
|
x86-unix bin files. Missing/buggy features: |
468 |
|
|
469 |
|
o getnetbyname, getnetbyaddr: these functions seem to be missing in |
470 |
|
the Cygwin library. |
471 |
|
o Ctrl-C handling may be flaky. |
472 |
|
o Windows system calls and Windows I/O are not supported. |
473 |
|
|
474 |
|
A new set of binfiles is located at: |
475 |
|
|
476 |
|
http://www.dorsai.org/~leunga/boot.x86-unix.tgz |
477 |
|
|
478 |
|
This is only needed for bootstrapping the cygwin version of smlnj. |
479 |
|
Other x86 versions can use the existing binfiles. |
480 |
|
|
481 |
|
---------------------------------------------------------------------- |
482 |
|
Name: Matthias Blume |
483 |
|
Date: 2003/04/08 15:42:00 CDT |
484 |
|
Tag: blume-20030408-listpair |
485 |
|
Description: |
486 |
|
|
487 |
|
1. Added a target 'mlrisc' to installer. |
488 |
|
|
489 |
|
2. Added missing elements to structure ListPair. |
490 |
|
|
491 |
|
---------------------------------------------------------------------- |
492 |
|
Name: Allen Leung |
493 |
|
Date: 2003/01/07 10:40:00 EST |
494 |
|
Tag: leunga-20030107-int-rem |
495 |
|
Description: |
496 |
|
|
497 |
|
Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86. |
498 |
|
The arguments to the SUBL instruction were swapped. |
499 |
|
|
500 |
|
---------------------------------------------------------------------- |
501 |
|
Name: Matthias Blume |
502 |
|
Date: 2002/12/12 16:25:00 EST |
503 |
|
Tag: blume-20021212-risc-ra |
504 |
|
Description: |
505 |
|
|
506 |
|
Fixed a serious bug in the rewrite code for FP spilling/reloading that |
507 |
|
sent the RA into an infinite loop when floating point registers get |
508 |
|
spilled. (Because of this bug, e.g., nucleic stopped compiling between |
509 |
|
110.37 and 110.38.) |
510 |
|
There was another set of potential problems related to the handling of |
511 |
|
MLRISC annotations (but those did not yet cause real problems, apparently). |
512 |
|
|
513 |
|
---------------------------------------------------------------------- |
514 |
|
Name: Matthias Blume |
515 |
|
Date: 2002/12/06 22:40:00 EST |
516 |
|
Tag: blume-20021206-cm-fileid |
517 |
|
Description: |
518 |
|
|
519 |
|
Added a call of SrcPath.sync at the beginning of Parse.parse (in CM). |
520 |
|
This fixes the problem of CM getting confused by files that suddenly |
521 |
|
change their identity (e.g., by getting unlinked and recreated by some |
522 |
|
text editor such as vi). There might be a better/cheaper/cleaner way |
523 |
|
of doing this, but for now this will have to do. |
524 |
|
|
525 |
|
---------------------------------------------------------------------- |
526 |
|
Name: Matthias Blume |
527 |
|
Date: 2002/10/28 09:50:00 EST |
528 |
|
Tag: blume-20021028-typecheck |
529 |
|
Description: |
530 |
|
|
531 |
|
Exported structure Typecheck from $smlnj/viscomp/core.cm. |
532 |
|
|
533 |
|
---------------------------------------------------------------------- |
534 |
|
Name: Matthias Blume |
535 |
|
Date: 2002/10/17 09:10:00 EDT |
536 |
|
Tag: Release_110_42 |
537 |
|
Description: |
538 |
|
|
539 |
|
In good old tradition, there has been a slight hiccup so that we have |
540 |
|
to patch 110.42 after the fact. The old release tag has been replaced |
541 |
|
(see below). |
542 |
|
|
543 |
|
The change solves a problem with two competing approaches the |
544 |
|
configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in |
545 |
|
each other's way. |
546 |
|
|
547 |
|
This change only affects the runtime system code and the installer script. |
548 |
|
(No new bootfiles.) |
549 |
|
|
550 |
|
---------------------------------------------------------------------- |
551 |
|
Name: Matthias Blume |
552 |
|
Date: 2002/10/16 12:00:00 EDT |
553 |
|
Tag: Release_110_42_removed |
554 |
|
Description: |
555 |
|
|
556 |
|
New working release. New bootfiles. |
557 |
|
|
558 |
|
---------------------------------------------------------------------- |
559 |
|
Name: Matthias Blume |
560 |
|
Date: 2002/10/10 13:10:00 EDT |
561 |
|
Tag: blume-20021010-ppc-divs |
562 |
|
Description: |
563 |
|
|
564 |
|
The mltree operator DIVS must be implemented with an overflow check on |
565 |
|
the PPC because the hardware indicates divide-by-zero using "overflow" as |
566 |
|
well. |
567 |
|
|
568 |
|
---------------------------------------------------------------------- |
569 |
|
Name: Matthias Blume |
570 |
|
Date: 2002/07/23 11:45:00 |
571 |
|
Tag: blume-20020723-smlnj-home |
572 |
|
Description: |
573 |
|
|
574 |
|
Sml now senses the SMLNJ_HOME environment variable. If this is set, |
575 |
|
then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless |
576 |
|
CM_PATHCONFIG is also set), the path configuration file is assumed |
577 |
|
to be in $SMLNJ_HOME/lib/pathconfig. This way one can easily move |
578 |
|
the entire tree to some other place and everything will "just work". |
579 |
|
|
580 |
|
(Companion commands such as ml-build and ml-makedepend also sense this |
581 |
|
variable.) |
582 |
|
|
583 |
|
---------------------------------------------------------------------- |
584 |
|
Name: Matthias Blume |
585 |
|
Date: 2002/07/12 21:19:00 EDT |
586 |
|
Tag: blume-20020712-liveness |
587 |
|
Description: |
588 |
|
|
589 |
|
Exported two useful "step" functions from liveness module (MLRISC). |
590 |
|
|
591 |
|
---------------------------------------------------------------------- |
592 |
|
Name: Matthias Blume |
593 |
|
Date: 2002/07/05 16:00 EDT |
594 |
|
Tag: Release_110_41 |
595 |
|
Description: |
596 |
|
|
597 |
|
New working release. New bootfiles. |
598 |
|
|
599 |
|
---------------------------------------------------------------------- |
600 |
|
Name: Matthias Blume |
601 |
|
Date: 2002/07/05 10:25:00 EDT |
602 |
|
Tag: blume-20020705-btimp |
603 |
|
Description: |
604 |
|
|
605 |
|
Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that |
606 |
|
other clients can set up backtracing support. |
607 |
|
|
608 |
|
---------------------------------------------------------------------- |
609 |
|
Name: Matthias Blume |
610 |
|
Date: 2002/06/25 17:23:00 EDT |
611 |
|
Tag: blume-20020625-fpmax |
612 |
|
Description: |
613 |
|
|
614 |
|
Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point |
615 |
|
case. (The sense of the isNaN test was reversed -- which made min and |
616 |
|
max always return their first argument.) |
617 |
|
|
618 |
|
---------------------------------------------------------------------- |
619 |
|
Name: Matthias Blume |
620 |
|
Date: 2002/06/11 |
621 |
|
Tag: blume-20020611-unixpath |
622 |
|
Description: |
623 |
|
|
624 |
|
Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch. |
625 |
|
|
626 |
|
---------------------------------------------------------------------- |
627 |
|
Name: Matthias Blume |
628 |
|
Date: 2002/06/10 16:35:00 EDT |
629 |
|
Tag: blume-20020610-ieeereal |
630 |
|
Description: |
631 |
|
|
632 |
|
I back-ported my implementation of IEEEReal.fromString from the |
633 |
|
idlbasis-devel branch so that we can test it. |
634 |
|
|
635 |
|
Another small change is that ppDec tries to give more information |
636 |
|
than just "<sig>" in the case of functors. However, this code is |
637 |
|
broken in some mysterious way if the functor's body's signature |
638 |
|
has not been declared by ascription but gets inferred from the |
639 |
|
implementation. This needs fixing... |
640 |
|
|
641 |
|
---------------------------------------------------------------------- |
642 |
Name: Matthias Blume |
Name: Matthias Blume |
643 |
Date: 2002/05/31 |
Date: 2002/05/31 |
644 |
Tag: blume-20020531-btrace-mode |
Tag: blume-20020531-btrace-mode |