14 |
|
|
15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
16 |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
17 |
Date: 2004/01/26 |
Date: 2004/05/28 16:45:00 CDT |
18 |
|
Tag: blume-20040528-basis |
19 |
|
Description: |
20 |
|
|
21 |
|
Added signature PACK_REAL and exported functor PrimIO. |
22 |
|
|
23 |
|
---------------------------------------------------------------------- |
24 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
25 |
|
Date: 2004/05/25 16:00:00 CDT |
26 |
|
Tag: blume-20040525-group-owner |
27 |
|
Description: |
28 |
|
|
29 |
|
CM now ignores (but still accepts) the "owner" information in group |
30 |
|
descriptions. The owner of a group is its next enclosing |
31 |
|
library. Each group must have a unique owner. (There is a virtual |
32 |
|
"toplevel" library that own groups which are not nested within a real |
33 |
|
library.) Previously, each group had to explicitly declare its owner, |
34 |
|
and CM would check that such a declaration is correct. The new scheme |
35 |
|
is to have CM check that for each group there is precisely one owning |
36 |
|
library. |
37 |
|
|
38 |
|
The advantage of the new scheme is that the programmer no longer needs |
39 |
|
to maintain the somewhat annoying owner information. The downside is |
40 |
|
that CM cannot enforce the ownership rule across multiple runs of |
41 |
|
CM.make. Fortunately, enclosing the same group in two different |
42 |
|
libraries A and B which are not part of the same program does not |
43 |
|
cause real problems. |
44 |
|
|
45 |
|
---------------------------------------------------------------------- |
46 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
47 |
|
Date: 2004/05/20 16:00:00 CDT |
48 |
|
Tag: blume-20040520-win32 |
49 |
|
Description: |
50 |
|
|
51 |
|
Made the win32 version work again. (Strangely, a misplaced comma had |
52 |
|
slipped into win32-process.c which prevented the runtime from being |
53 |
|
compiled correctly.) |
54 |
|
|
55 |
|
Also, included a minor addition to ml-build.bat analogous to what was |
56 |
|
done in blume-20040519-ml-build. |
57 |
|
|
58 |
|
---------------------------------------------------------------------- |
59 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
60 |
|
Date: 2004/05/19 22:10:00 CDT |
61 |
|
Tag: blume-20040519-ml-build |
62 |
|
Description: |
63 |
|
|
64 |
|
Arranged for ml-build to clean up after itself a little bit better. |
65 |
|
The script generates a temporary SML source file and compiles it using |
66 |
|
CM, so CM generates metadata (GUID, SKEL, objectfile) for it. It now |
67 |
|
gets rid of those at the end, so they don't accumulate under .cm. |
68 |
|
|
69 |
|
This required a minor change to install.sh because the name of the |
70 |
|
metadata directory (default: .cm) is actually configurable at |
71 |
|
installation time. |
72 |
|
|
73 |
|
---------------------------------------------------------------------- |
74 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
75 |
|
Date: 2004/05/18 15:50:00 CDT |
76 |
|
Tag: blume-20040518-mkreader |
77 |
|
Description: |
78 |
|
|
79 |
|
Added Posix.IO.mk{Bin,Text}{Reader,Writer} by lifting their respective |
80 |
|
implementations from internal modules PosixBinPrimIO and PosixTextPrimIO. |
81 |
|
|
82 |
|
---------------------------------------------------------------------- |
83 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
84 |
|
Date: 2004/05/11 14:35:00 CDT |
85 |
|
Tag: blume-20040511-win32sock |
86 |
|
Description: |
87 |
|
|
88 |
|
Added previously missing support for many socket-related functions |
89 |
|
under win32. Thanks to David Hansel <hansel@reactive-systems.com> |
90 |
|
for the voluminous patch! |
91 |
|
|
92 |
|
(I have not tested this patch under win32 yet.) |
93 |
|
|
94 |
|
Here is David's e-mail: |
95 |
|
|
96 |
|
Hi, |
97 |
|
|
98 |
|
Attached to this email you find a diff against sml/nj 110.45 |
99 |
|
that will enable socket support under Windows. |
100 |
|
|
101 |
|
To apply the patch (using unix or cygwin) |
102 |
|
1) gunzip runtime.diff.gz |
103 |
|
2) "cd" into "src/runtime" in the source tree of a fresh |
104 |
|
110.45 installation. |
105 |
|
3) patch -p 1 < [your/path/to]runtime.diff |
106 |
|
|
107 |
|
The code compiles fine but has NOT yet been extensively tested. |
108 |
|
I only ran a few tests for basic socket client functionality |
109 |
|
(which worked fine). Especially the functions that use ioctl |
110 |
|
are not tested at all and might not work (see below). |
111 |
|
|
112 |
|
I implemented this since we want to move to a newer version of sml/nj |
113 |
|
but need socket support in order to use it. This is the first time I |
114 |
|
even had a look at the sml/nj source, so please review my changes |
115 |
|
before making this part of the distribution! Here are a few issues |
116 |
|
that I think might be better for someone to solve who is more |
117 |
|
familiar with the sml/nj source (and socket programming): |
118 |
|
|
119 |
|
- getnetbyaddr.c and getnetbyname.c will raise a "not implemented" |
120 |
|
exception since I could not figure out what the windows equivalent |
121 |
|
of these functions is |
122 |
|
|
123 |
|
- In sockets-osdep.h there are a some #include statements that are |
124 |
|
only used in a few files that include sockets-osdep.h |
125 |
|
|
126 |
|
- In smlnj-sock-lib.c, function init_fn() calls WSAStartup() but |
127 |
|
does not process its return value since I don't know how to |
128 |
|
report an error upwards. |
129 |
|
|
130 |
|
- It would probably be good to have a call to WSACleanup() when |
131 |
|
the library is unloaded (if there is such a possibility). |
132 |
|
Otherwise I think Windows will take care of this automatically |
133 |
|
when the process finishes. |
134 |
|
|
135 |
|
- I used ioctlsocket() as a replacement for ioctl() but I have |
136 |
|
no idea if that is actually the proper replacement on Windows. |
137 |
|
|
138 |
|
- All these issues are marked in the code by "FIXME" comments. |
139 |
|
|
140 |
|
We use sml/nj extensively in our products and are quite happy |
141 |
|
with it. I hope this contribution will help you. |
142 |
|
|
143 |
|
Keep up the good work! |
144 |
|
|
145 |
|
David |
146 |
|
|
147 |
|
---------------------------------------------------------------------- |
148 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
149 |
|
Date: 2004/05/11 14:20:00 CDT |
150 |
|
Tag: blume-20040511-installml |
151 |
|
Description: |
152 |
|
|
153 |
|
Fixed two bugs in installml script. (Thanks to Vesa A. Norrman for |
154 |
|
the patch.) |
155 |
|
|
156 |
|
---------------------------------------------------------------------- |
157 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
158 |
|
Date: 2004/05/11 14:05:00 CDT |
159 |
|
Tag: blume-20040511-nlffi-netbsd |
160 |
|
Description: |
161 |
|
|
162 |
|
Added support for nlffi under netbsd. (Thanks to Vesa A. Norrman for |
163 |
|
the patch.) |
164 |
|
|
165 |
|
---------------------------------------------------------------------- |
166 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
167 |
|
Date: 2004/05/11 12:05:00 CDT |
168 |
|
Tag: blume-20040511-exports |
169 |
|
Description: |
170 |
|
|
171 |
|
As per request by Adam Chlipala <adam@hcoop.net>, extended various |
172 |
|
export lists in compiler-related .cm-files. |
173 |
|
|
174 |
|
---------------------------------------------------------------------- |
175 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
176 |
|
Date: 2004/05/11 11:35:00 CDT |
177 |
|
Tag: blume-20040511-allsource |
178 |
|
Description: |
179 |
|
|
180 |
|
The installer now honors the "src-smlnj" target again, although its meaning |
181 |
|
has changed from "all sources required for the compiler" to "all sources |
182 |
|
the installer knows about". In other words, if you enable "src-smlnj" |
183 |
|
in the "targets" file, then the installer will pull in sources for |
184 |
|
everything. (Notice that this refers to source code only. Compiled |
185 |
|
code is still only installed for modules that were requested explicitly |
186 |
|
or which are required for other modules that were requested explicitly.) |
187 |
|
|
188 |
|
---------------------------------------------------------------------- |
189 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
190 |
|
Date: 2004/04/23 17:40:00 CDT |
191 |
|
Tag: blume-20040423-ieee-scan |
192 |
|
Description: |
193 |
|
|
194 |
|
Fixed IEEEReal.scan (and .fromString) so that if there is an overflow |
195 |
|
in the exponent calculation we get INF or ZERO (depending on the mantissa |
196 |
|
and the sign of the exponent). |
197 |
|
|
198 |
|
---------------------------------------------------------------------- |
199 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
200 |
|
Date: 2004/04/23 10:40:00 CDT |
201 |
|
Tag: blume-20040423-ml-build |
202 |
|
Description: |
203 |
|
|
204 |
|
The ml-build script now terminates with a non-0 status when something |
205 |
|
goes wrong. |
206 |
|
|
207 |
|
---------------------------------------------------------------------- |
208 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
209 |
|
Date: 2004/04/22 16:35:00 CDT |
210 |
|
Tag: blume-20040422-Option |
211 |
|
Description: |
212 |
|
|
213 |
|
Made exception Option to be the same as exception Option.Option |
214 |
|
(as it should be). |
215 |
|
|
216 |
|
---------------------------------------------------------------------- |
217 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
218 |
|
Date: 2004/03/19 14:40:00 EST |
219 |
|
Tag: leunga-20040319-cygwin-nlffi |
220 |
|
Description: |
221 |
|
|
222 |
|
Fixed the runtime so that ml-nlffi-lib runs on the cygwin version |
223 |
|
of SML/NJ. The problem is that |
224 |
|
|
225 |
|
lib = dlopen(NULL, ...) |
226 |
|
f = dlsym(lib, "malloc"); |
227 |
|
|
228 |
|
does not work on Windows unless we explicitly export symbols |
229 |
|
such as 'malloc' during linking. We fixed this by explicitly |
230 |
|
exporting the required symbols with the magic gcc incantation: |
231 |
|
|
232 |
|
-Wl,--export-all cygwin.def |
233 |
|
|
234 |
|
where cygwin.def is a file containing all the symbols that |
235 |
|
we wish to export. |
236 |
|
|
237 |
|
I suspect this is a Windows problem and we'll have to |
238 |
|
do the same (somehow with windows compilers) when |
239 |
|
we build the native win32 version with the system |
240 |
|
calls LoadLibrary/GetProcAddress. |
241 |
|
|
242 |
|
---------------------------------------------------------------------- |
243 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
244 |
|
Date: 2004/03/04 16:35:00 CST |
245 |
|
Tag: blume-20040304-intinf-fmt |
246 |
|
Description: |
247 |
|
|
248 |
|
Fixed problem with IntInf.fmt (sign would show up on the right instead |
249 |
|
of on the left for BIN, OCT, and HEX). |
250 |
|
|
251 |
|
---------------------------------------------------------------------- |
252 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
253 |
|
Date: 2004/03/04 11:25:00 CST |
254 |
|
Tag: blume-20040304-symlinks |
255 |
|
Description: |
256 |
|
|
257 |
|
Fixed problem with installer script (unix only) where bin/ml-yacc and |
258 |
|
friends pointed (via symlinks) to absolute locations instead of just |
259 |
|
.run-sml. This was reported by Vesa A Norrman. |
260 |
|
|
261 |
|
---------------------------------------------------------------------- |
262 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
263 |
|
Date: 2004/02/13 14:50:00 CST |
264 |
|
Tag: Release_110_45 |
265 |
|
Description: |
266 |
|
|
267 |
|
New working version (110.45). New bootfiles. |
268 |
|
|
269 |
|
---------------------------------------------------------------------- |
270 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
271 |
|
Date: 2004/01/26 15:15:15 CST |
272 |
|
Tag: blume-20040126-toplevel |
273 |
|
Description: |
274 |
|
|
275 |
|
Improved handling of exceptions at the interactive toplevel. |
276 |
|
|
277 |
|
---------------------------------------------------------------------- |
278 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
279 |
|
Date: 2004/01/26 11:25:00 |
280 |
Tag: blume-20040126-app |
Tag: blume-20040126-app |
281 |
Description: |
Description: |
282 |
|
|
283 |
Type of top-level "app" corrected. |
Type of top-level "app" corrected. |
284 |
|
Added code for setting vp_limitPtrMask to Win32-specific runtime. |
285 |
|
|
286 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
287 |
Name: Matthias Blume (blume (at) tti - c (dot) org) |
Name: Matthias Blume (blume (at) tti - c (dot) org) |