13 |
Description: |
Description: |
14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
17 |
|
Date: 2004/07/30 17:55:00 CDT |
18 |
|
Tag: blume-20040730-various |
19 |
|
Description: |
20 |
|
|
21 |
|
Gearing up towards 110.47... |
22 |
|
|
23 |
|
- various minor bugfixes to ml-nlffigen |
24 |
|
- a beginning of a manual for nlffi |
25 |
|
|
26 |
|
- eliminated 'export name=value' in config/install.sh as this does |
27 |
|
not work with certain versions of /bin/sh |
28 |
|
(Thanks to David King at Motorola for catching this.) |
29 |
|
|
30 |
|
- several bugfixes provided or suggested by David Hansel at Reactive Systems: |
31 |
|
- added a test for tm==NULL to gmtime.c and localtime.c |
32 |
|
- applied patch for incorrect GetFileTime under win32 |
33 |
|
- toSeconds -> toMilliseconds in Win32/win32-process.sml |
34 |
|
|
35 |
|
---------------------------------------------------------------------- |
36 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
37 |
|
Date: 2004/07/21 18:20:00 CDT |
38 |
|
Tag: blume-20040721-nlffigen |
39 |
|
Description: |
40 |
|
|
41 |
|
- Fixed minor issue in ml-nlffigen: Now generate structure T_foo |
42 |
|
for a typedef to an incomplete type, but leave out the "typ" member. |
43 |
|
(This is just for consistency.) |
44 |
|
- Started to produce what is supposed to become better (i.e., comprehensive) |
45 |
|
documentation of what ml-nlffigen does and produces. |
46 |
|
|
47 |
|
---------------------------------------------------------------------- |
48 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
49 |
|
Date: 2004/07/14 16:25:00 CDT |
50 |
|
Tag: blume-20040714-union |
51 |
|
Description: |
52 |
|
|
53 |
|
Added C_UNION to c-calls/c-types.sml and updated the machinery |
54 |
|
(ml-nlffigen, cproto.sml) that conveys C function interface |
55 |
|
information to the code generator. |
56 |
|
|
57 |
|
However, the actual architecture-specific implementation of function |
58 |
|
arguments and results that are C unions is still not implemented. |
59 |
|
|
60 |
|
---------------------------------------------------------------------- |
61 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
62 |
|
Date: 2004/07/14 14:38:00 EST |
63 |
|
Tag: leunga-110_46_1-ppc-lwzu |
64 |
|
Description: |
65 |
|
|
66 |
|
Added these instructions to the PowerPC architecture: |
67 |
|
LBZU(X), LHZU(X), LWZU(X), |
68 |
|
STWU(X), STFDU, STFSU |
69 |
|
|
70 |
|
etc... |
71 |
|
|
72 |
|
Note: I haven't added their instruction encoding into the description. |
73 |
|
|
74 |
|
---------------------------------------------------------------------- |
75 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
76 |
|
Date: 2004/07/13 15:04:00 EST |
77 |
|
Tag: leunga-110_46_1-ppc-lwarx |
78 |
|
Description: |
79 |
|
|
80 |
|
Added the two instructions LWARX and STWCX to the PowerPC |
81 |
|
instruction set. |
82 |
|
|
83 |
|
A (untested) rewrite of loop-structure.sml. The old version |
84 |
|
is completely broken. |
85 |
|
|
86 |
|
---------------------------------------------------------------------- |
87 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
88 |
|
Date: 2004/07/13 13:50:00 CDT |
89 |
|
Tag: blume-20040713-nlffi |
90 |
|
Description: |
91 |
|
|
92 |
|
- use paramAlloc to report c-calls with too many arguments |
93 |
|
(for PPC version where parameter area is pre-allocated) |
94 |
|
- added ccall_maxargspace to machspec (to implement the above) |
95 |
|
- made "make" commend in CM's "make" tool configurable |
96 |
|
- added option (default: on) for passing the name of the SML/NJ's "bin" |
97 |
|
directory to "make"; the call looks like this: |
98 |
|
|
99 |
|
make <options> SMLNJ_BINDIR=<dir> <target> |
100 |
|
|
101 |
|
This can be used by the Makefile to, e.g., pick the "right" version |
102 |
|
of ml-nlffigen. |
103 |
|
- minor code tweaks |
104 |
|
|
105 |
|
---------------------------------------------------------------------- |
106 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
107 |
|
Date: 2004/07/12 22:50:00 CDT |
108 |
|
Tag: blume-110_46_1-macosx-nlffi |
109 |
|
Description: |
110 |
|
|
111 |
|
NLFFI under Mac OS X now working (sort of). This is largely untested, |
112 |
|
though. |
113 |
|
|
114 |
|
Note: 1. You have to make a new, clean build of the runtime system. |
115 |
|
2. There are new BOOTFILES, you have to use them! |
116 |
|
(Doing the bootstrap process yourself would be *very* painful! |
117 |
|
If you absolutely have to do it, build the system under |
118 |
|
a different architecture and then cross-compile.) |
119 |
|
|
120 |
|
Version bumped to 110.46.1 to account for runtime data format changes. |
121 |
|
|
122 |
|
---------------------------------------------------------------------- |
123 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
124 |
|
Date: 2004/06/18 14:30:00 CDT |
125 |
|
Tag: blume-20040618-unix |
126 |
|
Description: |
127 |
|
|
128 |
|
Changed the implementation of structure Unix so that the same stream |
129 |
|
is returned every time one of the {text,bin}{In,Out}streamOf functions |
130 |
|
is invoked on the same proc. This is not what the spec currently |
131 |
|
says -- although IMO it arguably should. (See discussion below.) |
132 |
|
|
133 |
|
---------------------------------------------------------------------- |
134 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
135 |
|
Date: 2004/06/17 18:15:00 CDT |
136 |
|
Tag: Release_110_46 |
137 |
|
Description: |
138 |
|
|
139 |
|
New working version (110.46). NEW BOOTFILES! |
140 |
|
|
141 |
|
---------------------------------------------------------------------- |
142 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
143 |
|
Date: 2004/06/17 17:20:00 CDT |
144 |
|
Tag: blume-20040617-timer-unix |
145 |
|
Description: |
146 |
|
|
147 |
|
Changed the interface of structures Timer and Unix to match the most |
148 |
|
recent Basis spec. |
149 |
|
|
150 |
|
In the case of Unix there still seems to be an open/weird issue: |
151 |
|
|
152 |
|
The {text,bin}{In,Out}streamOf functions are supposed to create |
153 |
|
fresh streams whenever they are called -- as opposed to have them |
154 |
|
return the same stream every time. This design is supposed to |
155 |
|
prevent space leaks caused by proc values hanging on to streams. |
156 |
|
|
157 |
|
The reap function, on the other hand, is supposed to close the |
158 |
|
streams. This cannot be done without having a handle on the |
159 |
|
stream in proc after all... |
160 |
|
|
161 |
|
I took the liberty to implement the following stopgap solution: |
162 |
|
|
163 |
|
The proc value hangs on to the most recently created stream(s). |
164 |
|
Reap closes those. If either or both of the two streams hadn't |
165 |
|
been created at all yet, then reap will close the corresponding |
166 |
|
file descriptors directly. |
167 |
|
|
168 |
|
PS: I don't understand the original space leak argument anymore. If |
169 |
|
a proc hangs on to the imperative stream, then I/O operations on those |
170 |
|
will advance the state of the cached stream and avoid the space leak. |
171 |
|
|
172 |
|
---------------------------------------------------------------------- |
173 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
174 |
|
Date: 2004/05/28 16:45:00 CDT |
175 |
|
Tag: blume-20040528-basis |
176 |
|
Description: |
177 |
|
|
178 |
|
Added signature PACK_REAL and exported functor PrimIO. |
179 |
|
|
180 |
|
---------------------------------------------------------------------- |
181 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
182 |
|
Date: 2004/05/25 16:00:00 CDT |
183 |
|
Tag: blume-20040525-group-owner |
184 |
|
Description: |
185 |
|
|
186 |
|
CM now ignores (but still accepts) the "owner" information in group |
187 |
|
descriptions. The owner of a group is its next enclosing |
188 |
|
library. Each group must have a unique owner. (There is a virtual |
189 |
|
"toplevel" library that owns groups which are not nested within a real |
190 |
|
library.) Previously, each group had to explicitly declare its owner, |
191 |
|
and CM would check that such a declaration is correct. The new scheme |
192 |
|
is to have CM check that for each group there is precisely one owning |
193 |
|
library. |
194 |
|
|
195 |
|
The advantage of the new scheme is that the programmer no longer needs |
196 |
|
to maintain the somewhat annoying owner information. The downside is |
197 |
|
that CM cannot enforce the ownership rule across multiple runs of |
198 |
|
CM.make. Fortunately, enclosing the same group in two different |
199 |
|
libraries A and B which are not part of the same program does not |
200 |
|
cause real problems. |
201 |
|
|
202 |
|
---------------------------------------------------------------------- |
203 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
204 |
|
Date: 2004/05/20 16:00:00 CDT |
205 |
|
Tag: blume-20040520-win32 |
206 |
|
Description: |
207 |
|
|
208 |
|
Made the win32 version work again. (Strangely, a misplaced comma had |
209 |
|
slipped into win32-process.c which prevented the runtime from being |
210 |
|
compiled correctly.) |
211 |
|
|
212 |
|
Also, included a minor addition to ml-build.bat analogous to what was |
213 |
|
done in blume-20040519-ml-build. |
214 |
|
|
215 |
|
---------------------------------------------------------------------- |
216 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
217 |
|
Date: 2004/05/19 22:10:00 CDT |
218 |
|
Tag: blume-20040519-ml-build |
219 |
|
Description: |
220 |
|
|
221 |
|
Arranged for ml-build to clean up after itself a little bit better. |
222 |
|
The script generates a temporary SML source file and compiles it using |
223 |
|
CM, so CM generates metadata (GUID, SKEL, objectfile) for it. It now |
224 |
|
gets rid of those at the end, so they don't accumulate under .cm. |
225 |
|
|
226 |
|
This required a minor change to install.sh because the name of the |
227 |
|
metadata directory (default: .cm) is actually configurable at |
228 |
|
installation time. |
229 |
|
|
230 |
|
---------------------------------------------------------------------- |
231 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
232 |
|
Date: 2004/05/18 15:50:00 CDT |
233 |
|
Tag: blume-20040518-mkreader |
234 |
|
Description: |
235 |
|
|
236 |
|
Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective |
237 |
|
implementations from internal modules PosixBinPrimIO and PosixTextPrimIO. |
238 |
|
|
239 |
|
---------------------------------------------------------------------- |
240 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
241 |
|
Date: 2004/05/11 14:35:00 CDT |
242 |
|
Tag: blume-20040511-win32sock |
243 |
|
Description: |
244 |
|
|
245 |
|
Added previously missing support for many socket-related functions |
246 |
|
under win32. Thanks to David Hansel <hansel@reactive-systems.com> |
247 |
|
for the voluminous patch! |
248 |
|
|
249 |
|
(I have not tested this patch under win32 yet.) |
250 |
|
|
251 |
|
Here is David's e-mail: |
252 |
|
|
253 |
|
Hi, |
254 |
|
|
255 |
|
Attached to this email you find a diff against sml/nj 110.45 |
256 |
|
that will enable socket support under Windows. |
257 |
|
|
258 |
|
To apply the patch (using unix or cygwin) |
259 |
|
1) gunzip runtime.diff.gz |
260 |
|
2) "cd" into "src/runtime" in the source tree of a fresh |
261 |
|
110.45 installation. |
262 |
|
3) patch -p 1 < [your/path/to]runtime.diff |
263 |
|
|
264 |
|
The code compiles fine but has NOT yet been extensively tested. |
265 |
|
I only ran a few tests for basic socket client functionality |
266 |
|
(which worked fine). Especially the functions that use ioctl |
267 |
|
are not tested at all and might not work (see below). |
268 |
|
|
269 |
|
I implemented this since we want to move to a newer version of sml/nj |
270 |
|
but need socket support in order to use it. This is the first time I |
271 |
|
even had a look at the sml/nj source, so please review my changes |
272 |
|
before making this part of the distribution! Here are a few issues |
273 |
|
that I think might be better for someone to solve who is more |
274 |
|
familiar with the sml/nj source (and socket programming): |
275 |
|
|
276 |
|
- getnetbyaddr.c and getnetbyname.c will raise a "not implemented" |
277 |
|
exception since I could not figure out what the windows equivalent |
278 |
|
of these functions is |
279 |
|
|
280 |
|
- In sockets-osdep.h there are a some #include statements that are |
281 |
|
only used in a few files that include sockets-osdep.h |
282 |
|
|
283 |
|
- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but |
284 |
|
does not process its return value since I don't know how to |
285 |
|
report an error upwards. |
286 |
|
|
287 |
|
- It would probably be good to have a call to WSACleanup() when |
288 |
|
the library is unloaded (if there is such a possibility). |
289 |
|
Otherwise I think Windows will take care of this automatically |
290 |
|
when the process finishes. |
291 |
|
|
292 |
|
- I used ioctlsocket() as a replacement for ioctl() but I have |
293 |
|
no idea if that is actually the proper replacement on Windows. |
294 |
|
|
295 |
|
- All these issues are marked in the code by "FIXME" comments. |
296 |
|
|
297 |
|
We use sml/nj extensively in our products and are quite happy |
298 |
|
with it. I hope this contribution will help you. |
299 |
|
|
300 |
|
Keep up the good work! |
301 |
|
|
302 |
|
David |
303 |
|
|
304 |
|
---------------------------------------------------------------------- |
305 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
306 |
|
Date: 2004/05/11 14:20:00 CDT |
307 |
|
Tag: blume-20040511-installml |
308 |
|
Description: |
309 |
|
|
310 |
|
Fixed two bugs in installml script. (Thanks to Vesa A. Norrman for |
311 |
|
the patch.) |
312 |
|
|
313 |
|
---------------------------------------------------------------------- |
314 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
315 |
|
Date: 2004/05/11 14:05:00 CDT |
316 |
|
Tag: blume-20040511-nlffi-netbsd |
317 |
|
Description: |
318 |
|
|
319 |
|
Added support for nlffi under netbsd. (Thanks to Vesa A. Norrman for |
320 |
|
the patch.) |
321 |
|
|
322 |
|
---------------------------------------------------------------------- |
323 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
324 |
|
Date: 2004/05/11 12:05:00 CDT |
325 |
|
Tag: blume-20040511-exports |
326 |
|
Description: |
327 |
|
|
328 |
|
As per request by Adam Chlipala <adam@hcoop.net>, extended various |
329 |
|
export lists in compiler-related .cm-files. |
330 |
|
|
331 |
|
---------------------------------------------------------------------- |
332 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
333 |
|
Date: 2004/05/11 11:35:00 CDT |
334 |
|
Tag: blume-20040511-allsource |
335 |
|
Description: |
336 |
|
|
337 |
|
The installer now honors the "src-smlnj" target again, although its meaning |
338 |
|
has changed from "all sources required for the compiler" to "all sources |
339 |
|
the installer knows about". In other words, if you enable "src-smlnj" |
340 |
|
in the "targets" file, then the installer will pull in sources for |
341 |
|
everything. (Notice that this refers to source code only. Compiled |
342 |
|
code is still only installed for modules that were requested explicitly |
343 |
|
or which are required for other modules that were requested explicitly.) |
344 |
|
|
345 |
|
---------------------------------------------------------------------- |
346 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
347 |
|
Date: 2004/04/23 17:40:00 CDT |
348 |
|
Tag: blume-20040423-ieee-scan |
349 |
|
Description: |
350 |
|
|
351 |
|
Fixed IEEEReal.scan (and .fromString) so that if there is an overflow |
352 |
|
in the exponent calculation we get INF or ZERO (depending on the mantissa |
353 |
|
and the sign of the exponent). |
354 |
|
|
355 |
|
---------------------------------------------------------------------- |
356 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
357 |
|
Date: 2004/04/23 10:40:00 CDT |
358 |
|
Tag: blume-20040423-ml-build |
359 |
|
Description: |
360 |
|
|
361 |
|
The ml-build script now terminates with a non-0 status when something |
362 |
|
goes wrong. |
363 |
|
|
364 |
|
---------------------------------------------------------------------- |
365 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
366 |
|
Date: 2004/04/22 16:35:00 CDT |
367 |
|
Tag: blume-20040422-Option |
368 |
|
Description: |
369 |
|
|
370 |
|
Made exception Option to be the same as exception Option.Option |
371 |
|
(as it should be). |
372 |
|
|
373 |
|
---------------------------------------------------------------------- |
374 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
375 |
|
Date: 2004/03/19 14:40:00 EST |
376 |
|
Tag: leunga-20040319-cygwin-nlffi |
377 |
|
Description: |
378 |
|
|
379 |
|
Fixed the runtime so that ml-nlffi-lib runs on the cygwin version |
380 |
|
of SML/NJ. The problem is that |
381 |
|
|
382 |
|
lib = dlopen(NULL, ...) |
383 |
|
f = dlsym(lib, "malloc"); |
384 |
|
|
385 |
|
does not work on Windows unless we explicitly export symbols |
386 |
|
such as 'malloc' during linking. We fixed this by explicitly |
387 |
|
exporting the required symbols with the magic gcc incantation: |
388 |
|
|
389 |
|
-Wl,--export-all cygwin.def |
390 |
|
|
391 |
|
where cygwin.def is a file containing all the symbols that |
392 |
|
we wish to export. |
393 |
|
|
394 |
|
I suspect this is a Windows problem and we'll have to |
395 |
|
do the same (somehow with windows compilers) when |
396 |
|
we build the native win32 version with the system |
397 |
|
calls LoadLibrary/GetProcAddress. |
398 |
|
|
399 |
|
---------------------------------------------------------------------- |
400 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
401 |
|
Date: 2004/03/04 16:35:00 CST |
402 |
|
Tag: blume-20040304-intinf-fmt |
403 |
|
Description: |
404 |
|
|
405 |
|
Fixed problem with IntInf.fmt (sign would show up on the right instead |
406 |
|
of on the left for BIN, OCT, and HEX). |
407 |
|
|
408 |
|
---------------------------------------------------------------------- |
409 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
410 |
|
Date: 2004/03/04 11:25:00 CST |
411 |
|
Tag: blume-20040304-symlinks |
412 |
|
Description: |
413 |
|
|
414 |
|
Fixed problem with installer script (unix only) where bin/ml-yacc and |
415 |
|
friends pointed (via symlinks) to absolute locations instead of just |
416 |
|
.run-sml. This was reported by Vesa A Norrman. |
417 |
|
|
418 |
|
---------------------------------------------------------------------- |
419 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
420 |
|
Date: 2004/02/13 14:50:00 CST |
421 |
|
Tag: Release_110_45 |
422 |
|
Description: |
423 |
|
|
424 |
|
New working version (110.45). New bootfiles. |
425 |
|
|
426 |
|
---------------------------------------------------------------------- |
427 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
428 |
|
Date: 2004/01/26 15:15:15 CST |
429 |
|
Tag: blume-20040126-toplevel |
430 |
|
Description: |
431 |
|
|
432 |
|
Improved handling of exceptions at the interactive toplevel. |
433 |
|
|
434 |
|
---------------------------------------------------------------------- |
435 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
436 |
|
Date: 2004/01/26 11:25:00 |
437 |
|
Tag: blume-20040126-app |
438 |
|
Description: |
439 |
|
|
440 |
|
Type of top-level "app" corrected. |
441 |
|
Added code for setting vp_limitPtrMask to Win32-specific runtime. |
442 |
|
|
443 |
|
---------------------------------------------------------------------- |
444 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
445 |
|
Date: 2003/11/18 17:10 CST |
446 |
|
Tag: blume-20031118-basis-fiddle |
447 |
|
Description: |
448 |
|
|
449 |
|
- changed Timer interface to what might become the spec |
450 |
|
- POSIX_FLAGS -> BIT_FLAGS according to spec |
451 |
|
- some other minor discrepancies wrt. spec eliminated |
452 |
|
|
453 |
|
---------------------------------------------------------------------- |
454 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
455 |
|
Date: 2003/11/06 12:00:00 CST |
456 |
|
Tag: Release_110_44 |
457 |
|
Description: |
458 |
|
|
459 |
|
New working version (110.44). New bootfiles. |
460 |
|
|
461 |
|
---------------------------------------------------------------------- |
462 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
463 |
|
Date: 2003/11/04 11:50:00 CST |
464 |
|
Tag: blume-20031104-move-libraries |
465 |
|
Description: |
466 |
|
|
467 |
|
Eliminated the "dont_move_libraries" directive in config/targets. |
468 |
|
(The mechanism was broken and could not be fixed easily. Moreover, |
469 |
|
there does not seem to be any reason not to move all libraries into |
470 |
|
lib during installation. I originally implemented this directive as a |
471 |
|
backward-compatibility feature when I first introduced the new CM. |
472 |
|
Now that things have been stable for a long time and going back to the |
473 |
|
old CM is not an option, there is no reason to keep it around.) |
474 |
|
|
475 |
|
---------------------------------------------------------------------- |
476 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
477 |
|
Date: 2003/11/03 16:00:00 CST |
478 |
|
Tag: blume-20031103-installdir |
479 |
|
Description: |
480 |
|
|
481 |
|
Made installer honor INSTALLDIR variable again. (Thanks to Chris |
482 |
|
Richards for pointing out the problem and providing the solution.) |
483 |
|
|
484 |
|
---------------------------------------------------------------------- |
485 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
486 |
|
Date: 2003/10/01 17:05:00 CDT |
487 |
|
Tag: blume-20031001-lal-mlrisc |
488 |
|
Description: |
489 |
|
|
490 |
|
MLRISC bug fix from Lal. |
491 |
|
|
492 |
|
---------------------------------------------------------------------- |
493 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
494 |
|
Date: 2003/09/30 16:10:00 CDT |
495 |
|
Tag: blume-20030930-primio-bat |
496 |
|
Description: |
497 |
|
|
498 |
|
1. Added openVector, nullRd, and nullWr to PRIM_IO. |
499 |
|
2. Improved .bat files (for Win32 port) to make things work under Win95. |
500 |
|
(thanks to Aaron S. Hawley for this one) |
501 |
|
|
502 |
|
---------------------------------------------------------------------- |
503 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
504 |
|
Date: 2003/09/26 16:05:00 CDT |
505 |
|
Tag: blume-20030926-wrappriv |
506 |
|
Description: |
507 |
|
|
508 |
|
Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm. |
509 |
|
|
510 |
|
---------------------------------------------------------------------- |
511 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
512 |
|
Date: 2003/09/26 15:00:00 CDT |
513 |
|
Tag: blume-20030926-110_43_3 |
514 |
|
Description: |
515 |
|
|
516 |
|
- additional cleanup |
517 |
|
- version number bump, NEW BOOTFILES |
518 |
|
|
519 |
|
---------------------------------------------------------------------- |
520 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
521 |
|
Date: 2003/09/26 12:00:00 CDT |
522 |
|
Tag: blume-20030926-ppautoload |
523 |
|
Description: |
524 |
|
|
525 |
|
I modified the read-eval-print loop so that the autoloader gets |
526 |
|
invoked whenever the prettyprinter tries to look up a symbol that |
527 |
|
is not currently defined in the toplevel environment but which |
528 |
|
appears in CM's autoload registry. As a result, we see far fewer of |
529 |
|
those ?.Foo.Bar.xxx names in the prettyprinter's output. |
530 |
|
|
531 |
|
In addition to this I tried to clean up some pieces of the Basis |
532 |
|
implementation (e.g., Socket, Word8Array) in order to prevent other |
533 |
|
instances of these ?.Foo.Bar.xxx names from being printed. |
534 |
|
|
535 |
|
The mechanism that picks names for types still needs some work, though. |
536 |
|
(Right now it seems that if there is a type A.t which is defined to |
537 |
|
be B.u, but B is unavailable at toplevel, then A.t gets printed as |
538 |
|
"?.B.u" although the perhaps more sensible solution would be to use |
539 |
|
"A.t" in this case. In other words, the prettyprinter should follow |
540 |
|
a chain of DEFtycs not farther than there are corresponding toplevel |
541 |
|
names in the current environment.) |
542 |
|
|
543 |
|
---------------------------------------------------------------------- |
544 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
545 |
|
Date: 2003/09/24 16:31:00 CDT |
546 |
|
Tag: blume-20030924-installer |
547 |
|
Description: |
548 |
|
|
549 |
|
Another installer tweak: All the ML code for the installer is now |
550 |
|
compiled during CMB.make and put into a little library called |
551 |
|
$smlnj/installer.cm. The installation then simply invokes |
552 |
|
|
553 |
|
sml -m $smlnj/installer.cm |
554 |
|
|
555 |
|
and everything happens automagically. |
556 |
|
|
557 |
|
Win32: ML code senses value of environment variable SMLNJ_HOME. |
558 |
|
Unix: ML code senses values of environment variables ROOT, CONFIGDIR, |
559 |
|
and BINDIR. |
560 |
|
|
561 |
|
The new scheme guarantees that the ML code responsible for the installation |
562 |
|
is in sync with the APIs of the main system. Also, the installer is |
563 |
|
somewhat faster because the installer script is precompiled. |
564 |
|
|
565 |
|
---------------------------------------------------------------------- |
566 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
567 |
|
Date: 2003/09/24 15:35:00 CDT |
568 |
|
Tag: blume-20030924-synsock |
569 |
|
Description: |
570 |
|
|
571 |
|
Added a signature SYNCHRONOUS_SOCKET to basis.cm. This is like SOCKET |
572 |
|
but excludes all non-blocking operations. Defined SOCKET (in Basis) |
573 |
|
and CML_SOCKET in terms of SYNCHRONOUS_SOCKET. Removed superfluous |
574 |
|
implementations of non-blocking operations from CML's Socket |
575 |
|
structure. |
576 |
|
|
577 |
|
---------------------------------------------------------------------- |
578 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
579 |
|
Date: 2003/09/24 15:10:05 CDT |
580 |
|
Tag: blume-20030924-sockets |
581 |
|
Description: |
582 |
|
|
583 |
|
1. Fixed SOCKET API and implementation to match Basis spec. |
584 |
|
This required changing the internal representation of sockets to one |
585 |
|
that remembers (for each socket file descriptor) whether it is currently |
586 |
|
blocking or non-blocking. This state is maintained lazily (i.e., a system |
587 |
|
call is made only if the state actually needs to change). |
588 |
|
|
589 |
|
2. OS-specific details of sockets were moved into separate files, thus |
590 |
|
making it possible to unify the bulk of the socket implementations |
591 |
|
between Unix and Win32. |
592 |
|
|
593 |
|
3. CML's socket API changed accordingly. |
594 |
|
(Note that we need to remove non-blocking functions from this API |
595 |
|
since they are redundant in the case of CML!) |
596 |
|
|
597 |
|
4. CML's socket implementation now makes use of non-blocking functions |
598 |
|
provided by Basis, thus removing all OS-dependent code from this part |
599 |
|
of CML. |
600 |
|
|
601 |
|
5. Changed Real64.precision from 52 to 53. Minor cleanup in Real64 code. |
602 |
|
|
603 |
|
---------------------------------------------------------------------- |
604 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
605 |
|
Date: 2003/09/22 12:10:00 CDT |
606 |
|
Tag: blume-20030922-110_43_2 |
607 |
|
Description: |
608 |
|
|
609 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
610 |
|
convenience. |
611 |
|
|
612 |
|
110.43.2 -- NEW BOOTFILES |
613 |
|
|
614 |
|
---------------------------------------------------------------------- |
615 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
616 |
|
Date: 2003/09/19 15:55:00 CDT |
617 |
|
Tag: blume-20030919-cmdir |
618 |
|
Description: |
619 |
|
|
620 |
|
1. new-install.sh -> install.sh |
621 |
|
2. changed default CM "metadata" directory name to ".cm" (instead of "CM") |
622 |
|
3. tweaked installer so that another name instead of .cm can be chosen |
623 |
|
at install time (by setting the CM_DIR_ARC environment variable |
624 |
|
during installation); once installation is complete, the name is |
625 |
|
fixed |
626 |
|
|
627 |
|
---------------------------------------------------------------------- |
628 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
629 |
|
Date: 2003/09/18 16:00:00 CDT |
630 |
|
Tag: blume-20030918-110_43_1 |
631 |
|
Description: |
632 |
|
|
633 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
634 |
|
convenience. |
635 |
|
|
636 |
|
110.43.1 -- NEW BOOTFILES |
637 |
|
|
638 |
|
---------------------------------------------------------------------- |
639 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
640 |
|
Date: 2003/09/18 15:20:00 CDT |
641 |
|
Tag: blume-20030918-misc |
642 |
|
Description: |
643 |
|
|
644 |
|
1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as |
645 |
|
this seems to be controversial at the moment) and used those in |
646 |
|
Posix.ProcEnv.times. |
647 |
|
|
648 |
|
2. Added Time.{from,to}Nanoseconds to Time. |
649 |
|
|
650 |
|
3. Improved Real.{from,to}LargeInt by avoiding needless calculations. |
651 |
|
For example, fromLargeInt never needs to look at more than 3 "big |
652 |
|
digits" to get its 53 bits of precision. |
653 |
|
|
654 |
|
---------------------------------------------------------------------- |
655 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
656 |
|
Date: 2003/09/17 16:30:00 CDT |
657 |
|
Tag: blume-20030917-real32-slices |
658 |
|
Description: |
659 |
|
|
660 |
|
Added an entry to the primitive environment |
661 |
|
(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and |
662 |
|
added code to compiler/CodeGen/main/mlriscGen.sml to implement it. |
663 |
|
|
664 |
|
Removed some of the "magic" constants in real64.sml and replaced them |
665 |
|
with code that generates these values from their corresponding |
666 |
|
integer counterparts. |
667 |
|
|
668 |
|
Made all(?) the slice-related changes to the Basis and made everything |
669 |
|
compile again... |
670 |
|
|
671 |
|
---------------------------------------------------------------------- |
672 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
673 |
|
Date: 2003/09/15 17:45:00 CDT |
674 |
|
Tag: blume-20030915-rbase |
675 |
|
Description: |
676 |
|
|
677 |
|
Fixed bug in Real.fromLargeInt. |
678 |
|
|
679 |
|
---------------------------------------------------------------------- |
680 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
681 |
|
Date: 2003/09/13 18:11:00 CDT |
682 |
|
Tag: blume-20030913-libinstall |
683 |
|
Description: |
684 |
|
|
685 |
|
Minor bugfix in config/libinstall (set anchor with path to |
686 |
|
standalone tool after installing it, otherwise libraries that |
687 |
|
need ml-lex or ml-yacc won't compile the first time the installer |
688 |
|
runs). |
689 |
|
|
690 |
|
---------------------------------------------------------------------- |
691 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
692 |
|
Date: 2003/09/12 11:45:00 CDT |
693 |
|
Tag: blume-20030912-various |
694 |
|
Description: |
695 |
|
|
696 |
|
- fixed bug in Real.toLargeInt |
697 |
|
- fixed bug in Posix.ProcEnv.times |
698 |
|
- changed inputLine functions to return an option |
699 |
|
- minor installer improvements / bugfixes |
700 |
|
- changed default @SMLalloc parameter for x86/celeron to 64k |
701 |
|
|
702 |
|
---------------------------------------------------------------------- |
703 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
704 |
|
Date: 2003/09/09 22:00:00 CDT |
705 |
|
Tag: Release_110_43 |
706 |
|
Description: |
707 |
|
|
708 |
|
New working release 110.43. New bootfiles. |
709 |
|
|
710 |
|
---------------------------------------------------------------------- |
711 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
712 |
|
Date: 2003/09/09 19:20:00 CDT |
713 |
|
Tag: blume-20030909-installer |
714 |
|
Description: |
715 |
|
|
716 |
|
Rewrote large parts of config/install.sh in SML (config/libinstall.sml). |
717 |
|
Modified config/install.bat to take advantage of it. Also modified |
718 |
|
config/install.sh (and called it config/new-install.sh) to take advantage |
719 |
|
of it on Unix systems. (The SML code is (supposed to be) platform- |
720 |
|
independent.) |
721 |
|
|
722 |
|
The installer can now install everything under Win32 |
723 |
|
as well as under *nix as long as it compiles. |
724 |
|
|
725 |
|
Other changes: |
726 |
|
|
727 |
|
- made CML compile again under Win32 |
728 |
|
- made eXene compile under Win32 (by providing a fake structure UnixSock |
729 |
|
and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv) |
730 |
|
- fixed a bug in nowhere: it assumed that type OS.Process.status is the |
731 |
|
same as type int; under Win32 it isn't |
732 |
|
- fixed some slice-related problems in the win32-specific parts of CML |
733 |
|
- added a functor argument "sameVol" to os-path-fn.sml in the Basis |
734 |
|
(under Win32, the volume name is case-insensitive, and the |
735 |
|
OS.Path code compares volume names for equality) |
736 |
|
|
737 |
|
---------------------------------------------------------------------- |
738 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
739 |
|
Date: 2003/09/08 11:55:00 CDT |
740 |
|
Tag: blume-20030908-fullpath |
741 |
|
Description: |
742 |
|
|
743 |
|
Made Win32 version of OS.FileSys.fullPath return current directory |
744 |
|
when given an empty string. This is what the spec says, and incidentally, |
745 |
|
CM depends on it. (CM otherwise goes into an infinite loop in certain |
746 |
|
cases when presented with the name of a non-existing .cm file.) |
747 |
|
|
748 |
|
---------------------------------------------------------------------- |
749 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
750 |
|
Date: 2003/09/04 16:30:00 CDT |
751 |
|
Tag: blume-20030905-slices-etc |
752 |
|
Description: |
753 |
|
|
754 |
|
1. Changed interface to vectors and arrays in Basis to match |
755 |
|
(draft) Basis spec. |
756 |
|
2. Added signatures and implementations of slices according to |
757 |
|
Basis spec. |
758 |
|
3. Edited source code throughout the system to make it compile again |
759 |
|
under 1. and 2. (In some cases code had to be added to have it |
760 |
|
match the new signatures.) |
761 |
|
4. MLRISC should be backward-compatible: the copies of the originals |
762 |
|
of files that needed to change under 3. were retained, the .cm files |
763 |
|
check the compiler version number and use old versions when |
764 |
|
appropriate. |
765 |
|
5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to |
766 |
|
dirstream -> string option (in accordance with Basis spec). |
767 |
|
6. When generating code that counts lines, ml-lex used function |
768 |
|
CharVector.foldli, taking advantage of its old interface. |
769 |
|
This has been replaced with the corresponding code from |
770 |
|
CharVectorSlice. (html-lex must be re-lexed!) |
771 |
|
7. BitArray in smlnj-lib/Util has been extended/modified to match the |
772 |
|
new MONO_ARRAY signature. (Do we need BitArraySlice?) |
773 |
|
8. Removed temporary additions (fromInternal, toInternal) from the |
774 |
|
(now obsolete) IntInf in smlnj-lib/Util. |
775 |
|
9. Cleaned up structure Byte. |
776 |
|
10. Added localOffset, scan, and fromString to Date (according to spec). |
777 |
|
Cleaned/corrected implementation of Date. |
778 |
|
(Still need to check for correctness; implement better canonicalizeDate.) |
779 |
|
11. Added "scan" to signature IEEE_REAL. |
780 |
|
12. Some improvements to IntInf [in particular: efficiency-hack for |
781 |
|
mod and rem when second operand is 2 (for parity checks).] |
782 |
|
13. Changed representation of type Time.time, using a single IntInf.int |
783 |
|
value counting microseconds. This considerably simplified the |
784 |
|
implementation of structure Time. We now support negative time |
785 |
|
values; scan and fromString handle signs. |
786 |
|
14. Functor PrimIO now takes two additional arguments (VectorSlice and |
787 |
|
ArraySlice). |
788 |
|
|
789 |
|
---------------------------------------------------------------------- |
790 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
791 |
|
Date: 2003/08/28 17:00:00 CDT |
792 |
|
Tag: blume-20030828-intinf |
793 |
|
Description: |
794 |
|
|
795 |
|
This is a major update which comes with a version number bump |
796 |
|
(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES, |
797 |
|
and an implementation of IntInf in the Basis. |
798 |
|
|
799 |
|
There are a fairly large number of related changes and updates throughout |
800 |
|
the system: |
801 |
|
|
802 |
|
Basis: |
803 |
|
- Implemented IntInf. |
804 |
|
- Made LargeInt a projection of IntInf (by filtering through INTEGER). |
805 |
|
- Added some missing Real64 operations, most notably Real.toLargeInt. |
806 |
|
- Added FixedInt as a synonym for Int32. |
807 |
|
|
808 |
|
compiler: |
809 |
|
* Added support for a built-in intinf type. |
810 |
|
- literals |
811 |
|
- pattern matching |
812 |
|
- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.) |
813 |
|
- overloading on literals and operations |
814 |
|
|
815 |
|
This required adding a primitive type intinf, some additional |
816 |
|
primops, and implementations for several non-trivial intinf |
817 |
|
operations in Core. (The intinf type is completely abstract |
818 |
|
to the compiler; all operations get delegated back to the Core.) |
819 |
|
|
820 |
|
* Intinf equality is handled by polyequal. However, the compiler |
821 |
|
does not print its usual warning in this case (since polyequal |
822 |
|
is the right thing to do there). |
823 |
|
|
824 |
|
* Improved the organization of structure InlineT. |
825 |
|
|
826 |
|
* A word about conversion primops: |
827 |
|
If conversions involving intinf do not cancel out during |
828 |
|
CPS contract, then the compiler must insert calls to Core functions. |
829 |
|
Since all core access must be resolved already during the FLINT |
830 |
|
translate phase, it would be too late a the time of CPS contract |
831 |
|
to add new Core calls. For this reason, conversion primops |
832 |
|
for intinf carry two arguments: 1. the numeric argument that |
833 |
|
they are supposed to convert, and 2. the Core function that |
834 |
|
can help with this conversion if necessary. If CPS contract |
835 |
|
eliminates a primop, then the associated Core function becomes |
836 |
|
dead and goes away. Intinf conversion primops that do not get |
837 |
|
eliminated by CPS contract get rewritten into calls of their |
838 |
|
core functions by a separate, new phase. |
839 |
|
|
840 |
|
interactive system: |
841 |
|
- Control.Print.intinfDepth controls max length of intinf constants |
842 |
|
being printed. (Analogous to Control.Print.stringDepth.) |
843 |
|
- Cleanup in printutil and pputil: got rid of unused stuff and |
844 |
|
duplicates; replaced some of the code with code that makes better |
845 |
|
use of library functionality. |
846 |
|
|
847 |
|
CM: |
848 |
|
Bugfix: parse-errors in init group (system/smlnj/init/init.cmi) |
849 |
|
are no longer silent. |
850 |
|
|
851 |
|
CKIT: |
852 |
|
Fixed mismatched uses of Int32 and LargeInt. I always decided |
853 |
|
in favor of LargeInt -- which is now the same as IntInf. |
854 |
|
CKIT-knowledgable people should check whether this is what's |
855 |
|
intended and otherwise change things back to using Int32 or |
856 |
|
FixedInt. |
857 |
|
|
858 |
|
Throughout the code: |
859 |
|
Started using IntInf.int literals and built-in operations |
860 |
|
(e.g., comparison with 0) where this seems appropriate. |
861 |
|
|
862 |
|
|
863 |
|
---------------------------------------------------------------------- |
864 |
|
Name: Dave MacQueen (dbm@cs.uchicago.edu) |
865 |
|
Date: 2003/08/13 11:36:00 CDT |
866 |
|
Tag: dbm-20030813-mcz-merge1 |
867 |
|
Description: |
868 |
|
|
869 |
|
Merging changes from the mcz-branch development branch into trunk. |
870 |
|
These changes involve replacement of the emulated old prettyprinter |
871 |
|
interface with direct use of the SML/NJ Lib PP library, and fixing |
872 |
|
of a couple of bugs (895, 1186) relating to error messages. A new |
873 |
|
prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml}) |
874 |
|
has been added. |
875 |
|
|
876 |
|
---------------------------------------------------------------------- |
877 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
878 |
|
Date: 2003/08/11 15:45:00 CDT |
879 |
|
Tag: blume-20030811-windows |
880 |
|
Description: |
881 |
|
|
882 |
|
Version number bumped to 110.42.9. NEW BOOTFILES!!! |
883 |
|
|
884 |
|
http://smlnj.cs.uchicago.edu/dist/working/110.42.9/ |
885 |
|
|
886 |
|
This patch restores SML/NJ's ability to run under win32. There are a |
887 |
|
number of changes, including fixes for several bugs that had gone |
888 |
|
unnoticed until now: |
889 |
|
|
890 |
|
- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when |
891 |
|
trying to run the win32 version from within cygwin.) |
892 |
|
|
893 |
|
- There are a number of simple .bat scripts that substitute for their |
894 |
|
corresponding Unix shell-scripts. (See below.) |
895 |
|
|
896 |
|
- The internals of ml-build have been modified slightly. The main |
897 |
|
difference is that instead of calling ".link-sml" (or link-sml.bat) |
898 |
|
using OS.Process.system, the ML process delegates this task back |
899 |
|
to the script. Otherwise problems arise in mixed environments such |
900 |
|
as Cygwin where scripts look and work like Unix scripts, but |
901 |
|
where OS.Process.system cannot run them. |
902 |
|
|
903 |
|
- In CM, the srcpath pickler used native pathname syntax -- which |
904 |
|
is incorrect in the case of cross-compilation. The new pickle format |
905 |
|
is independent of platform-specific naming conventions. |
906 |
|
|
907 |
|
- Path configuration files (such as lib/pathconfig) can now choose |
908 |
|
between native and standard syntax. Placing a line of the form |
909 |
|
|
910 |
|
standard! |
911 |
|
|
912 |
|
into the file causes all subsequent paths to be interpreted using |
913 |
|
CM standard pathname syntax (= Unix conventions); a line |
914 |
|
|
915 |
|
native! |
916 |
|
|
917 |
|
switches back to native style. This was needed so that |
918 |
|
path config files can be written portably, see src/system/pathconfig. |
919 |
|
|
920 |
|
- Runtime system: |
921 |
|
|
922 |
|
- win32-filesys.c: get_file_time and set_file_time now |
923 |
|
access modification time, not creation time. |
924 |
|
|
925 |
|
- I/O code made aware of new array representation. |
926 |
|
|
927 |
|
- Bug fixes in X86.prim.masm. |
928 |
|
|
929 |
|
- src/system/makeml made aware of win32. (For use under cygwin |
930 |
|
and other Unix-environments for windows.) |
931 |
|
|
932 |
|
- In Basis, fixed off-by-one error in win32-io.sml (function vecF) |
933 |
|
which caused BinIO.inputAll to fail consistently. |
934 |
|
|
935 |
|
.bat scripts: |
936 |
|
|
937 |
|
Windows .bat scripts assume that SMLNJ_HOME is defined. |
938 |
|
|
939 |
|
- sml.bat, ml-yacc.bat, ml-lex.bat: Driver scripts for standalone |
940 |
|
applications (sml, ml-yacc, ml-lex). |
941 |
|
- ml-build.bat: analogous to ml-build. |
942 |
|
- config\install.bat: Analogous to config/install.sh. This requires |
943 |
|
that SMLNJ_HOME is set and that Microsoft Visual C is ready to use. |
944 |
|
(nmake etc. must be on the path, and vcvars32 must have been run.) |
945 |
|
Moreover, sources for ml-lex and ml-yacc need to exist under src, |
946 |
|
and the bootfile hierarchy must have been unpacked under |
947 |
|
sml.boot.x86-win32. |
948 |
|
The script is very primitive and does a poor job at error checking. |
949 |
|
It only installs the base system, ml-lex, and ml-yacc. No other |
950 |
|
libraries are being installed (i.e., you get only those that |
951 |
|
are part of the compiler.) |
952 |
|
- link-sml.bat: analogous to .link-sml, but not currently used |
953 |
|
|
954 |
|
Unrelated bug fixes: |
955 |
|
|
956 |
|
- ml-nlffigen now exports structures ST_* corresponding to incomplete |
957 |
|
types. |
958 |
|
- Added getDevice to PP/src/pp-debug-fn.sml. (Would not compile |
959 |
|
otherwise.) |
960 |
|
|
961 |
|
---------------------------------------------------------------------- |
962 |
|
Name: Dave MacQueen (macqueen@cs.uchicago.edu) |
963 |
|
Date: 2003/06/17 |
964 |
|
Tag: macqueen-20030617-bug895 |
965 |
|
Description: |
966 |
|
|
967 |
|
Modified compiler/Elaborator/print/pptype.sml to fix bug 895. |
968 |
|
Tag will be used for new development branch (mcz-branch) for |
969 |
|
use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago. |
970 |
|
|
971 |
|
---------------------------------------------------------------------- |
972 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
973 |
|
Date: 2003/05/27 16:55:00 CDT |
974 |
|
Tag: blume-20030527-polyeq |
975 |
|
Description: |
976 |
|
|
977 |
|
Tried to eliminated most cases of polymorphic equality. |
978 |
|
|
979 |
|
---------------------------------------------------------------------- |
980 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
981 |
|
Date: 2003/05/21 17:45:00 CDT |
982 |
|
Tag: blume-20030517-complete |
983 |
|
Description: |
984 |
|
|
985 |
|
Two changes: |
986 |
|
|
987 |
|
1. Added a flag for controlling whether non-exhaustive bindings will |
988 |
|
be treated as errors (default is false). |
989 |
|
2. Cleaned up the *entire* source tree so that CMB.make goes through |
990 |
|
without a single non-exhaustive match- or bind warning. |
991 |
|
|
992 |
|
---------------------------------------------------------------------- |
993 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
994 |
|
Date: 2003/05/17 10:20:00 CDT |
995 |
|
Tag: blume-20030517-absyn |
996 |
|
Description: |
997 |
|
|
998 |
|
1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn. |
999 |
|
|
1000 |
|
This mainly affects the quality of error messages. However, some |
1001 |
|
of the code is now more straightforward than before. (Treatment of |
1002 |
|
the above four constructs in translate.sml is much simpler than |
1003 |
|
the "macro-expansion" that was going on before. Plus, the mach- |
1004 |
|
compiler no longer gets invoked just to be able to compile an |
1005 |
|
if-expression.) |
1006 |
|
|
1007 |
|
2. The ErrorMsg.Error exception is now caught and absorbed by the |
1008 |
|
interactive loop. |
1009 |
|
|
1010 |
|
---------------------------------------------------------------------- |
1011 |
|
Name: Allen Leung |
1012 |
|
Date: 2003/05/16 13:05:00 CDT |
1013 |
|
Tag: leunga-20030516-cygwin-runtime |
1014 |
|
Description: |
1015 |
|
|
1016 |
|
Ported the runtime system to cygwin, which uses the unix |
1017 |
|
x86-unix bin files. Missing/buggy features: |
1018 |
|
|
1019 |
|
o getnetbyname, getnetbyaddr: these functions seem to be missing in |
1020 |
|
the Cygwin library. |
1021 |
|
o Ctrl-C handling may be flaky. |
1022 |
|
o Windows system calls and Windows I/O are not supported. |
1023 |
|
|
1024 |
|
A new set of binfiles is located at: |
1025 |
|
|
1026 |
|
http://www.dorsai.org/~leunga/boot.x86-unix.tgz |
1027 |
|
|
1028 |
|
This is only needed for bootstrapping the cygwin version of smlnj. |
1029 |
|
Other x86 versions can use the existing binfiles. |
1030 |
|
|
1031 |
|
---------------------------------------------------------------------- |
1032 |
|
Name: Matthias Blume |
1033 |
|
Date: 2003/04/08 15:42:00 CDT |
1034 |
|
Tag: blume-20030408-listpair |
1035 |
|
Description: |
1036 |
|
|
1037 |
|
1. Added a target 'mlrisc' to installer. |
1038 |
|
|
1039 |
|
2. Added missing elements to structure ListPair. |
1040 |
|
|
1041 |
|
---------------------------------------------------------------------- |
1042 |
|
Name: Allen Leung |
1043 |
|
Date: 2003/01/07 10:40:00 EST |
1044 |
|
Tag: leunga-20030107-int-rem |
1045 |
|
Description: |
1046 |
|
|
1047 |
|
Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86. |
1048 |
|
The arguments to the SUBL instruction were swapped. |
1049 |
|
|
1050 |
|
---------------------------------------------------------------------- |
1051 |
|
Name: Matthias Blume |
1052 |
|
Date: 2002/12/12 16:25:00 EST |
1053 |
|
Tag: blume-20021212-risc-ra |
1054 |
|
Description: |
1055 |
|
|
1056 |
|
Fixed a serious bug in the rewrite code for FP spilling/reloading that |
1057 |
|
sent the RA into an infinite loop when floating point registers get |
1058 |
|
spilled. (Because of this bug, e.g., nucleic stopped compiling between |
1059 |
|
110.37 and 110.38.) |
1060 |
|
There was another set of potential problems related to the handling of |
1061 |
|
MLRISC annotations (but those did not yet cause real problems, apparently). |
1062 |
|
|
1063 |
|
---------------------------------------------------------------------- |
1064 |
Name: Matthias Blume |
Name: Matthias Blume |
1065 |
Date: 2002/12/06 22:40:00 EST |
Date: 2002/12/06 22:40:00 EST |
1066 |
Tag: blume-20021206-cm-fileid |
Tag: blume-20021206-cm-fileid |