| 13 |
Description: |
Description: |
| 14 |
|
|
| 15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
| 16 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 17 |
|
Date: 2004/05/11 14:20:00 CDT |
| 18 |
|
Tag: blume-20040511-installml |
| 19 |
|
Description: |
| 20 |
|
|
| 21 |
|
Fixed two bugs in installml script. (Thanks to Vesa A. Norrman for |
| 22 |
|
the patch.) |
| 23 |
|
|
| 24 |
|
---------------------------------------------------------------------- |
| 25 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 26 |
|
Date: 2004/05/11 14:05:00 CDT |
| 27 |
|
Tag: blume-20040511-nlffi-netbsd |
| 28 |
|
Description: |
| 29 |
|
|
| 30 |
|
Added support for nlffi under netbsd. (Thanks to Vesa A. Norrman for |
| 31 |
|
the patch.) |
| 32 |
|
|
| 33 |
|
---------------------------------------------------------------------- |
| 34 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 35 |
|
Date: 2004/05/11 12:05:00 CDT |
| 36 |
|
Tag: blume-20040511-exports |
| 37 |
|
Description: |
| 38 |
|
|
| 39 |
|
As per request by Adam Chlipala <adam@hcoop.net>, extended various |
| 40 |
|
export lists in compiler-related .cm-files. |
| 41 |
|
|
| 42 |
|
---------------------------------------------------------------------- |
| 43 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 44 |
|
Date: 2004/05/11 11:35:00 CDT |
| 45 |
|
Tag: blume-20040511-allsource |
| 46 |
|
Description: |
| 47 |
|
|
| 48 |
|
The installer now honors the "src-smlnj" target again, although its meaning |
| 49 |
|
has changed from "all sources required for the compiler" to "all sources |
| 50 |
|
the installer knows about". In other words, if you enable "src-smlnj" |
| 51 |
|
in the "targets" file, then the installer will pull in sources for |
| 52 |
|
everything. (Notice that this refers to source code only. Compiled |
| 53 |
|
code is still only installed for modules that were requested explicitly |
| 54 |
|
or which are required for other modules that were requested explicitly.) |
| 55 |
|
|
| 56 |
|
---------------------------------------------------------------------- |
| 57 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 58 |
|
Date: 2004/04/23 17:40:00 CDT |
| 59 |
|
Tag: blume-20040423-ieee-scan |
| 60 |
|
Description: |
| 61 |
|
|
| 62 |
|
Fixed IEEEReal.scan (and .fromString) so that if there is an overflow |
| 63 |
|
in the exponent calculation we get INF or ZERO (depending on the mantissa |
| 64 |
|
and the sign of the exponent). |
| 65 |
|
|
| 66 |
|
---------------------------------------------------------------------- |
| 67 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 68 |
|
Date: 2004/04/23 10:40:00 CDT |
| 69 |
|
Tag: blume-20040423-ml-build |
| 70 |
|
Description: |
| 71 |
|
|
| 72 |
|
The ml-build script now terminates with a non-0 status when something |
| 73 |
|
goes wrong. |
| 74 |
|
|
| 75 |
|
---------------------------------------------------------------------- |
| 76 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 77 |
|
Date: 2004/04/22 16:35:00 CDT |
| 78 |
|
Tag: blume-20040422-Option |
| 79 |
|
Description: |
| 80 |
|
|
| 81 |
|
Made exception Option to be the same as exception Option.Option |
| 82 |
|
(as it should be). |
| 83 |
|
|
| 84 |
|
---------------------------------------------------------------------- |
| 85 |
|
Name: Allen Leung (leunga (at) reservoir (dot) com) |
| 86 |
|
Date: 2004/03/19 14:40:00 EST |
| 87 |
|
Tag: leunga-20040319-cygwin-nlffi |
| 88 |
|
Description: |
| 89 |
|
|
| 90 |
|
Fixed the runtime so that ml-nlffi-lib runs on the cygwin version |
| 91 |
|
of SML/NJ. The problem is that |
| 92 |
|
|
| 93 |
|
lib = dlopen(NULL, ...) |
| 94 |
|
f = dlsym(lib, "malloc"); |
| 95 |
|
|
| 96 |
|
does not work on Windows unless we explicitly export symbols |
| 97 |
|
such as 'malloc' during linking. We fixed this by explicitly |
| 98 |
|
exporting the required symbols with the magic gcc incantation: |
| 99 |
|
|
| 100 |
|
-Wl,--export-all cygwin.def |
| 101 |
|
|
| 102 |
|
where cygwin.def is a file containing all the symbols that |
| 103 |
|
we wish to export. |
| 104 |
|
|
| 105 |
|
I suspect this is a Windows problem and we'll have to |
| 106 |
|
do the same (somehow with windows compilers) when |
| 107 |
|
we build the native win32 version with the system |
| 108 |
|
calls LoadLibrary/GetProcAddress. |
| 109 |
|
|
| 110 |
|
---------------------------------------------------------------------- |
| 111 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 112 |
|
Date: 2004/03/04 16:35:00 CST |
| 113 |
|
Tag: blume-20040304-intinf-fmt |
| 114 |
|
Description: |
| 115 |
|
|
| 116 |
|
Fixed problem with IntInf.fmt (sign would show up on the right instead |
| 117 |
|
of on the left for BIN, OCT, and HEX). |
| 118 |
|
|
| 119 |
|
---------------------------------------------------------------------- |
| 120 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 121 |
|
Date: 2004/03/04 11:25:00 CST |
| 122 |
|
Tag: blume-20040304-symlinks |
| 123 |
|
Description: |
| 124 |
|
|
| 125 |
|
Fixed problem with installer script (unix only) where bin/ml-yacc and |
| 126 |
|
friends pointed (via symlinks) to absolute locations instead of just |
| 127 |
|
.run-sml. This was reported by Vesa A Norrman. |
| 128 |
|
|
| 129 |
|
---------------------------------------------------------------------- |
| 130 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 131 |
|
Date: 2004/02/13 14:50:00 CST |
| 132 |
|
Tag: Release_110_45 |
| 133 |
|
Description: |
| 134 |
|
|
| 135 |
|
New working version (110.45). New bootfiles. |
| 136 |
|
|
| 137 |
|
---------------------------------------------------------------------- |
| 138 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 139 |
|
Date: 2004/01/26 15:15:15 CST |
| 140 |
|
Tag: blume-20040126-toplevel |
| 141 |
|
Description: |
| 142 |
|
|
| 143 |
|
Improved handling of exceptions at the interactive toplevel. |
| 144 |
|
|
| 145 |
|
---------------------------------------------------------------------- |
| 146 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 147 |
|
Date: 2004/01/26 11:25:00 |
| 148 |
|
Tag: blume-20040126-app |
| 149 |
|
Description: |
| 150 |
|
|
| 151 |
|
Type of top-level "app" corrected. |
| 152 |
|
Added code for setting vp_limitPtrMask to Win32-specific runtime. |
| 153 |
|
|
| 154 |
|
---------------------------------------------------------------------- |
| 155 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 156 |
|
Date: 2003/11/18 17:10 CST |
| 157 |
|
Tag: blume-20031118-basis-fiddle |
| 158 |
|
Description: |
| 159 |
|
|
| 160 |
|
- changed Timer interface to what might become the spec |
| 161 |
|
- POSIX_FLAGS -> BIT_FLAGS according to spec |
| 162 |
|
- some other minor discrepancies wrt. spec eliminated |
| 163 |
|
|
| 164 |
|
---------------------------------------------------------------------- |
| 165 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 166 |
|
Date: 2003/11/06 12:00:00 CST |
| 167 |
|
Tag: Release_110_44 |
| 168 |
|
Description: |
| 169 |
|
|
| 170 |
|
New working version (110.44). New bootfiles. |
| 171 |
|
|
| 172 |
|
---------------------------------------------------------------------- |
| 173 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 174 |
|
Date: 2003/11/04 11:50:00 CST |
| 175 |
|
Tag: blume-20031104-move-libraries |
| 176 |
|
Description: |
| 177 |
|
|
| 178 |
|
Eliminated the "dont_move_libraries" directive in config/targets. |
| 179 |
|
(The mechanism was broken and could not be fixed easily. Moreover, |
| 180 |
|
there does not seem to be any reason not to move all libraries into |
| 181 |
|
lib during installation. I originally implemented this directive as a |
| 182 |
|
backward-compatibility feature when I first introduced the new CM. |
| 183 |
|
Now that things have been stable for a long time and going back to the |
| 184 |
|
old CM is not an option, there is no reason to keep it around.) |
| 185 |
|
|
| 186 |
|
---------------------------------------------------------------------- |
| 187 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 188 |
|
Date: 2003/11/03 16:00:00 CST |
| 189 |
|
Tag: blume-20031103-installdir |
| 190 |
|
Description: |
| 191 |
|
|
| 192 |
|
Made installer honor INSTALLDIR variable again. (Thanks to Chris |
| 193 |
|
Richards for pointing out the problem and providing the solution.) |
| 194 |
|
|
| 195 |
|
---------------------------------------------------------------------- |
| 196 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 197 |
|
Date: 2003/10/01 17:05:00 CDT |
| 198 |
|
Tag: blume-20031001-lal-mlrisc |
| 199 |
|
Description: |
| 200 |
|
|
| 201 |
|
MLRISC bug fix from Lal. |
| 202 |
|
|
| 203 |
|
---------------------------------------------------------------------- |
| 204 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 205 |
|
Date: 2003/09/30 16:10:00 CDT |
| 206 |
|
Tag: blume-20030930-primio-bat |
| 207 |
|
Description: |
| 208 |
|
|
| 209 |
|
1. Added openVector, nullRd, and nullWr to PRIM_IO. |
| 210 |
|
2. Improved .bat files (for Win32 port) to make things work under Win95. |
| 211 |
|
(thanks to Aaron S. Hawley for this one) |
| 212 |
|
|
| 213 |
|
---------------------------------------------------------------------- |
| 214 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 215 |
|
Date: 2003/09/26 16:05:00 CDT |
| 216 |
|
Tag: blume-20030926-wrappriv |
| 217 |
|
Description: |
| 218 |
|
|
| 219 |
|
Added missing wrapper for privilege "primitive" in $smlnj/viscomp/core.cm. |
| 220 |
|
|
| 221 |
|
---------------------------------------------------------------------- |
| 222 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 223 |
|
Date: 2003/09/26 15:00:00 CDT |
| 224 |
|
Tag: blume-20030926-110_43_3 |
| 225 |
|
Description: |
| 226 |
|
|
| 227 |
|
- additional cleanup |
| 228 |
|
- version number bump, NEW BOOTFILES |
| 229 |
|
|
| 230 |
|
---------------------------------------------------------------------- |
| 231 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 232 |
|
Date: 2003/09/26 12:00:00 CDT |
| 233 |
|
Tag: blume-20030926-ppautoload |
| 234 |
|
Description: |
| 235 |
|
|
| 236 |
|
I modified the read-eval-print loop so that the autoloader gets |
| 237 |
|
invoked whenever the prettyprinter tries to look up a symbol that |
| 238 |
|
is not currently defined in the toplevel environment but which |
| 239 |
|
appears in CM's autoload registry. As a result, we see far fewer of |
| 240 |
|
those ?.Foo.Bar.xxx names in the prettyprinter's output. |
| 241 |
|
|
| 242 |
|
In addition to this I tried to clean up some pieces of the Basis |
| 243 |
|
implementation (e.g., Socket, Word8Array) in order to prevent other |
| 244 |
|
instances of these ?.Foo.Bar.xxx names from being printed. |
| 245 |
|
|
| 246 |
|
The mechanism that picks names for types still needs some work, though. |
| 247 |
|
(Right now it seems that if there is a type A.t which is defined to |
| 248 |
|
be B.u, but B is unavailable at toplevel, then A.t gets printed as |
| 249 |
|
"?.B.u" although the perhaps more sensible solution would be to use |
| 250 |
|
"A.t" in this case. In other words, the prettyprinter should follow |
| 251 |
|
a chain of DEFtycs not farther than there are corresponding toplevel |
| 252 |
|
names in the current environment.) |
| 253 |
|
|
| 254 |
|
---------------------------------------------------------------------- |
| 255 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 256 |
|
Date: 2003/09/24 16:31:00 CDT |
| 257 |
|
Tag: blume-20030924-installer |
| 258 |
|
Description: |
| 259 |
|
|
| 260 |
|
Another installer tweak: All the ML code for the installer is now |
| 261 |
|
compiled during CMB.make and put into a little library called |
| 262 |
|
$smlnj/installer.cm. The installation then simply invokes |
| 263 |
|
|
| 264 |
|
sml -m $smlnj/installer.cm |
| 265 |
|
|
| 266 |
|
and everything happens automagically. |
| 267 |
|
|
| 268 |
|
Win32: ML code senses value of environment variable SMLNJ_HOME. |
| 269 |
|
Unix: ML code senses values of environment variables ROOT, CONFIGDIR, |
| 270 |
|
and BINDIR. |
| 271 |
|
|
| 272 |
|
The new scheme guarantees that the ML code responsible for the installation |
| 273 |
|
is in sync with the APIs of the main system. Also, the installer is |
| 274 |
|
somewhat faster because the installer script is precompiled. |
| 275 |
|
|
| 276 |
|
---------------------------------------------------------------------- |
| 277 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 278 |
|
Date: 2003/09/24 15:35:00 CDT |
| 279 |
|
Tag: blume-20030924-synsock |
| 280 |
|
Description: |
| 281 |
|
|
| 282 |
|
Added a signature SYNCHRONOUS_SOCKET to basis.cm. This is like SOCKET |
| 283 |
|
but excludes all non-blocking operations. Defined SOCKET (in Basis) |
| 284 |
|
and CML_SOCKET in terms of SYNCHRONOUS_SOCKET. Removed superfluous |
| 285 |
|
implementations of non-blocking operations from CML's Socket |
| 286 |
|
structure. |
| 287 |
|
|
| 288 |
|
---------------------------------------------------------------------- |
| 289 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 290 |
|
Date: 2003/09/24 15:10:05 CDT |
| 291 |
|
Tag: blume-20030924-sockets |
| 292 |
|
Description: |
| 293 |
|
|
| 294 |
|
1. Fixed SOCKET API and implementation to match Basis spec. |
| 295 |
|
This required changing the internal representation of sockets to one |
| 296 |
|
that remembers (for each socket file descriptor) whether it is currently |
| 297 |
|
blocking or non-blocking. This state is maintained lazily (i.e., a system |
| 298 |
|
call is made only if the state actually needs to change). |
| 299 |
|
|
| 300 |
|
2. OS-specific details of sockets were moved into separate files, thus |
| 301 |
|
making it possible to unify the bulk of the socket implementations |
| 302 |
|
between Unix and Win32. |
| 303 |
|
|
| 304 |
|
3. CML's socket API changed accordingly. |
| 305 |
|
(Note that we need to remove non-blocking functions from this API |
| 306 |
|
since they are redundant in the case of CML!) |
| 307 |
|
|
| 308 |
|
4. CML's socket implementation now makes use of non-blocking functions |
| 309 |
|
provided by Basis, thus removing all OS-dependent code from this part |
| 310 |
|
of CML. |
| 311 |
|
|
| 312 |
|
5. Changed Real64.precision from 52 to 53. Minor cleanup in Real64 code. |
| 313 |
|
|
| 314 |
|
---------------------------------------------------------------------- |
| 315 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 316 |
|
Date: 2003/09/22 12:10:00 CDT |
| 317 |
|
Tag: blume-20030922-110_43_2 |
| 318 |
|
Description: |
| 319 |
|
|
| 320 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
| 321 |
|
convenience. |
| 322 |
|
|
| 323 |
|
110.43.2 -- NEW BOOTFILES |
| 324 |
|
|
| 325 |
|
---------------------------------------------------------------------- |
| 326 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 327 |
|
Date: 2003/09/19 15:55:00 CDT |
| 328 |
|
Tag: blume-20030919-cmdir |
| 329 |
|
Description: |
| 330 |
|
|
| 331 |
|
1. new-install.sh -> install.sh |
| 332 |
|
2. changed default CM "metadata" directory name to ".cm" (instead of "CM") |
| 333 |
|
3. tweaked installer so that another name instead of .cm can be chosen |
| 334 |
|
at install time (by setting the CM_DIR_ARC environment variable |
| 335 |
|
during installation); once installation is complete, the name is |
| 336 |
|
fixed |
| 337 |
|
|
| 338 |
|
---------------------------------------------------------------------- |
| 339 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 340 |
|
Date: 2003/09/18 16:00:00 CDT |
| 341 |
|
Tag: blume-20030918-110_43_1 |
| 342 |
|
Description: |
| 343 |
|
|
| 344 |
|
Made a new interim version and bootfiles for developer's bootstrapping |
| 345 |
|
convenience. |
| 346 |
|
|
| 347 |
|
110.43.1 -- NEW BOOTFILES |
| 348 |
|
|
| 349 |
|
---------------------------------------------------------------------- |
| 350 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 351 |
|
Date: 2003/09/18 15:20:00 CDT |
| 352 |
|
Tag: blume-20030918-misc |
| 353 |
|
Description: |
| 354 |
|
|
| 355 |
|
1. Exported fractionsPerSecond etc. from TimeImp (but not from Time as |
| 356 |
|
this seems to be controversial at the moment) and used those in |
| 357 |
|
Posix.ProcEnv.times. |
| 358 |
|
|
| 359 |
|
2. Added Time.{from,to}Nanoseconds to Time. |
| 360 |
|
|
| 361 |
|
3. Improved Real.{from,to}LargeInt by avoiding needless calculations. |
| 362 |
|
For example, fromLargeInt never needs to look at more than 3 "big |
| 363 |
|
digits" to get its 53 bits of precision. |
| 364 |
|
|
| 365 |
|
---------------------------------------------------------------------- |
| 366 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 367 |
|
Date: 2003/09/17 16:30:00 CDT |
| 368 |
|
Tag: blume-20030917-real32-slices |
| 369 |
|
Description: |
| 370 |
|
|
| 371 |
|
Added an entry to the primitive environment |
| 372 |
|
(compiler/Semant/statenv/prim.sml) for int32->real64 conversion and |
| 373 |
|
added code to compiler/CodeGen/main/mlriscGen.sml to implement it. |
| 374 |
|
|
| 375 |
|
Removed some of the "magic" constants in real64.sml and replaced them |
| 376 |
|
with code that generates these values from their corresponding |
| 377 |
|
integer counterparts. |
| 378 |
|
|
| 379 |
|
Made all(?) the slice-related changes to the Basis and made everything |
| 380 |
|
compile again... |
| 381 |
|
|
| 382 |
|
---------------------------------------------------------------------- |
| 383 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 384 |
|
Date: 2003/09/15 17:45:00 CDT |
| 385 |
|
Tag: blume-20030915-rbase |
| 386 |
|
Description: |
| 387 |
|
|
| 388 |
|
Fixed bug in Real.fromLargeInt. |
| 389 |
|
|
| 390 |
|
---------------------------------------------------------------------- |
| 391 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 392 |
|
Date: 2003/09/13 18:11:00 CDT |
| 393 |
|
Tag: blume-20030913-libinstall |
| 394 |
|
Description: |
| 395 |
|
|
| 396 |
|
Minor bugfix in config/libinstall (set anchor with path to |
| 397 |
|
standalone tool after installing it, otherwise libraries that |
| 398 |
|
need ml-lex or ml-yacc won't compile the first time the installer |
| 399 |
|
runs). |
| 400 |
|
|
| 401 |
|
---------------------------------------------------------------------- |
| 402 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 403 |
|
Date: 2003/09/12 11:45:00 CDT |
| 404 |
|
Tag: blume-20030912-various |
| 405 |
|
Description: |
| 406 |
|
|
| 407 |
|
- fixed bug in Real.toLargeInt |
| 408 |
|
- fixed bug in Posix.ProcEnv.times |
| 409 |
|
- changed inputLine functions to return an option |
| 410 |
|
- minor installer improvements / bugfixes |
| 411 |
|
- changed default @SMLalloc parameter for x86/celeron to 64k |
| 412 |
|
|
| 413 |
|
---------------------------------------------------------------------- |
| 414 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 415 |
|
Date: 2003/09/09 22:00:00 CDT |
| 416 |
|
Tag: Release_110_43 |
| 417 |
|
Description: |
| 418 |
|
|
| 419 |
|
New working release 110.43. New bootfiles. |
| 420 |
|
|
| 421 |
|
---------------------------------------------------------------------- |
| 422 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 423 |
|
Date: 2003/09/09 19:20:00 CDT |
| 424 |
|
Tag: blume-20030909-installer |
| 425 |
|
Description: |
| 426 |
|
|
| 427 |
|
Rewrote large parts of config/install.sh in SML (config/libinstall.sml). |
| 428 |
|
Modified config/install.bat to take advantage of it. Also modified |
| 429 |
|
config/install.sh (and called it config/new-install.sh) to take advantage |
| 430 |
|
of it on Unix systems. (The SML code is (supposed to be) platform- |
| 431 |
|
independent.) |
| 432 |
|
|
| 433 |
|
The installer can now install everything under Win32 |
| 434 |
|
as well as under *nix as long as it compiles. |
| 435 |
|
|
| 436 |
|
Other changes: |
| 437 |
|
|
| 438 |
|
- made CML compile again under Win32 |
| 439 |
|
- made eXene compile under Win32 (by providing a fake structure UnixSock |
| 440 |
|
and by using OS.Process.getEnv instead of Posix.ProcEnv.getenv) |
| 441 |
|
- fixed a bug in nowhere: it assumed that type OS.Process.status is the |
| 442 |
|
same as type int; under Win32 it isn't |
| 443 |
|
- fixed some slice-related problems in the win32-specific parts of CML |
| 444 |
|
- added a functor argument "sameVol" to os-path-fn.sml in the Basis |
| 445 |
|
(under Win32, the volume name is case-insensitive, and the |
| 446 |
|
OS.Path code compares volume names for equality) |
| 447 |
|
|
| 448 |
|
---------------------------------------------------------------------- |
| 449 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 450 |
|
Date: 2003/09/08 11:55:00 CDT |
| 451 |
|
Tag: blume-20030908-fullpath |
| 452 |
|
Description: |
| 453 |
|
|
| 454 |
|
Made Win32 version of OS.FileSys.fullPath return current directory |
| 455 |
|
when given an empty string. This is what the spec says, and incidentally, |
| 456 |
|
CM depends on it. (CM otherwise goes into an infinite loop in certain |
| 457 |
|
cases when presented with the name of a non-existing .cm file.) |
| 458 |
|
|
| 459 |
|
---------------------------------------------------------------------- |
| 460 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 461 |
|
Date: 2003/09/04 16:30:00 CDT |
| 462 |
|
Tag: blume-20030905-slices-etc |
| 463 |
|
Description: |
| 464 |
|
|
| 465 |
|
1. Changed interface to vectors and arrays in Basis to match |
| 466 |
|
(draft) Basis spec. |
| 467 |
|
2. Added signatures and implementations of slices according to |
| 468 |
|
Basis spec. |
| 469 |
|
3. Edited source code throughout the system to make it compile again |
| 470 |
|
under 1. and 2. (In some cases code had to be added to have it |
| 471 |
|
match the new signatures.) |
| 472 |
|
4. MLRISC should be backward-compatible: the copies of the originals |
| 473 |
|
of files that needed to change under 3. were retained, the .cm files |
| 474 |
|
check the compiler version number and use old versions when |
| 475 |
|
appropriate. |
| 476 |
|
5. Changed type of OS.FileSys.readDir and Posix.FileSys.readdir to |
| 477 |
|
dirstream -> string option (in accordance with Basis spec). |
| 478 |
|
6. When generating code that counts lines, ml-lex used function |
| 479 |
|
CharVector.foldli, taking advantage of its old interface. |
| 480 |
|
This has been replaced with the corresponding code from |
| 481 |
|
CharVectorSlice. (html-lex must be re-lexed!) |
| 482 |
|
7. BitArray in smlnj-lib/Util has been extended/modified to match the |
| 483 |
|
new MONO_ARRAY signature. (Do we need BitArraySlice?) |
| 484 |
|
8. Removed temporary additions (fromInternal, toInternal) from the |
| 485 |
|
(now obsolete) IntInf in smlnj-lib/Util. |
| 486 |
|
9. Cleaned up structure Byte. |
| 487 |
|
10. Added localOffset, scan, and fromString to Date (according to spec). |
| 488 |
|
Cleaned/corrected implementation of Date. |
| 489 |
|
(Still need to check for correctness; implement better canonicalizeDate.) |
| 490 |
|
11. Added "scan" to signature IEEE_REAL. |
| 491 |
|
12. Some improvements to IntInf [in particular: efficiency-hack for |
| 492 |
|
mod and rem when second operand is 2 (for parity checks).] |
| 493 |
|
13. Changed representation of type Time.time, using a single IntInf.int |
| 494 |
|
value counting microseconds. This considerably simplified the |
| 495 |
|
implementation of structure Time. We now support negative time |
| 496 |
|
values; scan and fromString handle signs. |
| 497 |
|
14. Functor PrimIO now takes two additional arguments (VectorSlice and |
| 498 |
|
ArraySlice). |
| 499 |
|
|
| 500 |
|
---------------------------------------------------------------------- |
| 501 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 502 |
|
Date: 2003/08/28 17:00:00 CDT |
| 503 |
|
Tag: blume-20030828-intinf |
| 504 |
|
Description: |
| 505 |
|
|
| 506 |
|
This is a major update which comes with a version number bump |
| 507 |
|
(110.42.99 -- yes, we are really close to 110.43 :-), NEW BOOTFILES, |
| 508 |
|
and an implementation of IntInf in the Basis. |
| 509 |
|
|
| 510 |
|
There are a fairly large number of related changes and updates throughout |
| 511 |
|
the system: |
| 512 |
|
|
| 513 |
|
Basis: |
| 514 |
|
- Implemented IntInf. |
| 515 |
|
- Made LargeInt a projection of IntInf (by filtering through INTEGER). |
| 516 |
|
- Added some missing Real64 operations, most notably Real.toLargeInt. |
| 517 |
|
- Added FixedInt as a synonym for Int32. |
| 518 |
|
|
| 519 |
|
compiler: |
| 520 |
|
* Added support for a built-in intinf type. |
| 521 |
|
- literals |
| 522 |
|
- pattern matching |
| 523 |
|
- conversion shortcuts (Int32.fromLarge o Int.toLarge etc.) |
| 524 |
|
- overloading on literals and operations |
| 525 |
|
|
| 526 |
|
This required adding a primitive type intinf, some additional |
| 527 |
|
primops, and implementations for several non-trivial intinf |
| 528 |
|
operations in Core. (The intinf type is completely abstract |
| 529 |
|
to the compiler; all operations get delegated back to the Core.) |
| 530 |
|
|
| 531 |
|
* Intinf equality is handled by polyequal. However, the compiler |
| 532 |
|
does not print its usual warning in this case (since polyequal |
| 533 |
|
is the right thing to do there). |
| 534 |
|
|
| 535 |
|
* Improved the organization of structure InlineT. |
| 536 |
|
|
| 537 |
|
* A word about conversion primops: |
| 538 |
|
If conversions involving intinf do not cancel out during |
| 539 |
|
CPS contract, then the compiler must insert calls to Core functions. |
| 540 |
|
Since all core access must be resolved already during the FLINT |
| 541 |
|
translate phase, it would be too late a the time of CPS contract |
| 542 |
|
to add new Core calls. For this reason, conversion primops |
| 543 |
|
for intinf carry two arguments: 1. the numeric argument that |
| 544 |
|
they are supposed to convert, and 2. the Core function that |
| 545 |
|
can help with this conversion if necessary. If CPS contract |
| 546 |
|
eliminates a primop, then the associated Core function becomes |
| 547 |
|
dead and goes away. Intinf conversion primops that do not get |
| 548 |
|
eliminated by CPS contract get rewritten into calls of their |
| 549 |
|
core functions by a separate, new phase. |
| 550 |
|
|
| 551 |
|
interactive system: |
| 552 |
|
- Control.Print.intinfDepth controls max length of intinf constants |
| 553 |
|
being printed. (Analogous to Control.Print.stringDepth.) |
| 554 |
|
- Cleanup in printutil and pputil: got rid of unused stuff and |
| 555 |
|
duplicates; replaced some of the code with code that makes better |
| 556 |
|
use of library functionality. |
| 557 |
|
|
| 558 |
|
CM: |
| 559 |
|
Bugfix: parse-errors in init group (system/smlnj/init/init.cmi) |
| 560 |
|
are no longer silent. |
| 561 |
|
|
| 562 |
|
CKIT: |
| 563 |
|
Fixed mismatched uses of Int32 and LargeInt. I always decided |
| 564 |
|
in favor of LargeInt -- which is now the same as IntInf. |
| 565 |
|
CKIT-knowledgable people should check whether this is what's |
| 566 |
|
intended and otherwise change things back to using Int32 or |
| 567 |
|
FixedInt. |
| 568 |
|
|
| 569 |
|
Throughout the code: |
| 570 |
|
Started using IntInf.int literals and built-in operations |
| 571 |
|
(e.g., comparison with 0) where this seems appropriate. |
| 572 |
|
|
| 573 |
|
|
| 574 |
|
---------------------------------------------------------------------- |
| 575 |
|
Name: Dave MacQueen (dbm@cs.uchicago.edu) |
| 576 |
|
Date: 2003/08/13 11:36:00 CDT |
| 577 |
|
Tag: dbm-20030813-mcz-merge1 |
| 578 |
|
Description: |
| 579 |
|
|
| 580 |
|
Merging changes from the mcz-branch development branch into trunk. |
| 581 |
|
These changes involve replacement of the emulated old prettyprinter |
| 582 |
|
interface with direct use of the SML/NJ Lib PP library, and fixing |
| 583 |
|
of a couple of bugs (895, 1186) relating to error messages. A new |
| 584 |
|
prettyprinter for ast datatypes (Elaborator/print/ppast.{sig,sml}) |
| 585 |
|
has been added. |
| 586 |
|
|
| 587 |
|
---------------------------------------------------------------------- |
| 588 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 589 |
|
Date: 2003/08/11 15:45:00 CDT |
| 590 |
|
Tag: blume-20030811-windows |
| 591 |
|
Description: |
| 592 |
|
|
| 593 |
|
Version number bumped to 110.42.9. NEW BOOTFILES!!! |
| 594 |
|
|
| 595 |
|
http://smlnj.cs.uchicago.edu/dist/working/110.42.9/ |
| 596 |
|
|
| 597 |
|
This patch restores SML/NJ's ability to run under win32. There are a |
| 598 |
|
number of changes, including fixes for several bugs that had gone |
| 599 |
|
unnoticed until now: |
| 600 |
|
|
| 601 |
|
- uname "CYGWIN_NT*" is recognized as win32 (This is relevant only when |
| 602 |
|
trying to run the win32 version from within cygwin.) |
| 603 |
|
|
| 604 |
|
- There are a number of simple .bat scripts that substitute for their |
| 605 |
|
corresponding Unix shell-scripts. (See below.) |
| 606 |
|
|
| 607 |
|
- The internals of ml-build have been modified slightly. The main |
| 608 |
|
difference is that instead of calling ".link-sml" (or link-sml.bat) |
| 609 |
|
using OS.Process.system, the ML process delegates this task back |
| 610 |
|
to the script. Otherwise problems arise in mixed environments such |
| 611 |
|
as Cygwin where scripts look and work like Unix scripts, but |
| 612 |
|
where OS.Process.system cannot run them. |
| 613 |
|
|
| 614 |
|
- In CM, the srcpath pickler used native pathname syntax -- which |
| 615 |
|
is incorrect in the case of cross-compilation. The new pickle format |
| 616 |
|
is independent of platform-specific naming conventions. |
| 617 |
|
|
| 618 |
|
- Path configuration files (such as lib/pathconfig) can now choose |
| 619 |
|
between native and standard syntax. Placing a line of the form |
| 620 |
|
|
| 621 |
|
standard! |
| 622 |
|
|
| 623 |
|
into the file causes all subsequent paths to be interpreted using |
| 624 |
|
CM standard pathname syntax (= Unix conventions); a line |
| 625 |
|
|
| 626 |
|
native! |
| 627 |
|
|
| 628 |
|
switches back to native style. This was needed so that |
| 629 |
|
path config files can be written portably, see src/system/pathconfig. |
| 630 |
|
|
| 631 |
|
- Runtime system: |
| 632 |
|
|
| 633 |
|
- win32-filesys.c: get_file_time and set_file_time now |
| 634 |
|
access modification time, not creation time. |
| 635 |
|
|
| 636 |
|
- I/O code made aware of new array representation. |
| 637 |
|
|
| 638 |
|
- Bug fixes in X86.prim.masm. |
| 639 |
|
|
| 640 |
|
- src/system/makeml made aware of win32. (For use under cygwin |
| 641 |
|
and other Unix-environments for windows.) |
| 642 |
|
|
| 643 |
|
- In Basis, fixed off-by-one error in win32-io.sml (function vecF) |
| 644 |
|
which caused BinIO.inputAll to fail consistently. |
| 645 |
|
|
| 646 |
|
.bat scripts: |
| 647 |
|
|
| 648 |
|
Windows .bat scripts assume that SMLNJ_HOME is defined. |
| 649 |
|
|
| 650 |
|
- sml.bat, ml-yacc.bat, ml-lex.bat: Driver scripts for standalone |
| 651 |
|
applications (sml, ml-yacc, ml-lex). |
| 652 |
|
- ml-build.bat: analogous to ml-build. |
| 653 |
|
- config\install.bat: Analogous to config/install.sh. This requires |
| 654 |
|
that SMLNJ_HOME is set and that Microsoft Visual C is ready to use. |
| 655 |
|
(nmake etc. must be on the path, and vcvars32 must have been run.) |
| 656 |
|
Moreover, sources for ml-lex and ml-yacc need to exist under src, |
| 657 |
|
and the bootfile hierarchy must have been unpacked under |
| 658 |
|
sml.boot.x86-win32. |
| 659 |
|
The script is very primitive and does a poor job at error checking. |
| 660 |
|
It only installs the base system, ml-lex, and ml-yacc. No other |
| 661 |
|
libraries are being installed (i.e., you get only those that |
| 662 |
|
are part of the compiler.) |
| 663 |
|
- link-sml.bat: analogous to .link-sml, but not currently used |
| 664 |
|
|
| 665 |
|
Unrelated bug fixes: |
| 666 |
|
|
| 667 |
|
- ml-nlffigen now exports structures ST_* corresponding to incomplete |
| 668 |
|
types. |
| 669 |
|
- Added getDevice to PP/src/pp-debug-fn.sml. (Would not compile |
| 670 |
|
otherwise.) |
| 671 |
|
|
| 672 |
|
---------------------------------------------------------------------- |
| 673 |
|
Name: Dave MacQueen (macqueen@cs.uchicago.edu) |
| 674 |
|
Date: 2003/06/17 |
| 675 |
|
Tag: macqueen-20030617-bug895 |
| 676 |
|
Description: |
| 677 |
|
|
| 678 |
|
Modified compiler/Elaborator/print/pptype.sml to fix bug 895. |
| 679 |
|
Tag will be used for new development branch (mcz-branch) for |
| 680 |
|
use by MacQueen, (Lucasz) Zairek, and (George) Cao at uchicago. |
| 681 |
|
|
| 682 |
|
---------------------------------------------------------------------- |
| 683 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 684 |
|
Date: 2003/05/27 16:55:00 CDT |
| 685 |
|
Tag: blume-20030527-polyeq |
| 686 |
|
Description: |
| 687 |
|
|
| 688 |
|
Tried to eliminated most cases of polymorphic equality. |
| 689 |
|
|
| 690 |
|
---------------------------------------------------------------------- |
| 691 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 692 |
|
Date: 2003/05/21 17:45:00 CDT |
| 693 |
|
Tag: blume-20030517-complete |
| 694 |
|
Description: |
| 695 |
|
|
| 696 |
|
Two changes: |
| 697 |
|
|
| 698 |
|
1. Added a flag for controlling whether non-exhaustive bindings will |
| 699 |
|
be treated as errors (default is false). |
| 700 |
|
2. Cleaned up the *entire* source tree so that CMB.make goes through |
| 701 |
|
without a single non-exhaustive match- or bind warning. |
| 702 |
|
|
| 703 |
|
---------------------------------------------------------------------- |
| 704 |
|
Name: Matthias Blume (blume (at) tti - c (dot) org) |
| 705 |
|
Date: 2003/05/17 10:20:00 CDT |
| 706 |
|
Tag: blume-20030517-absyn |
| 707 |
|
Description: |
| 708 |
|
|
| 709 |
|
1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn. |
| 710 |
|
|
| 711 |
|
This mainly affects the quality of error messages. However, some |
| 712 |
|
of the code is now more straightforward than before. (Treatment of |
| 713 |
|
the above four constructs in translate.sml is much simpler than |
| 714 |
|
the "macro-expansion" that was going on before. Plus, the mach- |
| 715 |
|
compiler no longer gets invoked just to be able to compile an |
| 716 |
|
if-expression.) |
| 717 |
|
|
| 718 |
|
2. The ErrorMsg.Error exception is now caught and absorbed by the |
| 719 |
|
interactive loop. |
| 720 |
|
|
| 721 |
|
---------------------------------------------------------------------- |
| 722 |
|
Name: Allen Leung |
| 723 |
|
Date: 2003/05/16 13:05:00 CDT |
| 724 |
|
Tag: leunga-20030516-cygwin-runtime |
| 725 |
|
Description: |
| 726 |
|
|
| 727 |
|
Ported the runtime system to cygwin, which uses the unix |
| 728 |
|
x86-unix bin files. Missing/buggy features: |
| 729 |
|
|
| 730 |
|
o getnetbyname, getnetbyaddr: these functions seem to be missing in |
| 731 |
|
the Cygwin library. |
| 732 |
|
o Ctrl-C handling may be flaky. |
| 733 |
|
o Windows system calls and Windows I/O are not supported. |
| 734 |
|
|
| 735 |
|
A new set of binfiles is located at: |
| 736 |
|
|
| 737 |
|
http://www.dorsai.org/~leunga/boot.x86-unix.tgz |
| 738 |
|
|
| 739 |
|
This is only needed for bootstrapping the cygwin version of smlnj. |
| 740 |
|
Other x86 versions can use the existing binfiles. |
| 741 |
|
|
| 742 |
|
---------------------------------------------------------------------- |
| 743 |
|
Name: Matthias Blume |
| 744 |
|
Date: 2003/04/08 15:42:00 CDT |
| 745 |
|
Tag: blume-20030408-listpair |
| 746 |
|
Description: |
| 747 |
|
|
| 748 |
|
1. Added a target 'mlrisc' to installer. |
| 749 |
|
|
| 750 |
|
2. Added missing elements to structure ListPair. |
| 751 |
|
|
| 752 |
|
---------------------------------------------------------------------- |
| 753 |
|
Name: Allen Leung |
| 754 |
|
Date: 2003/01/07 10:40:00 EST |
| 755 |
|
Tag: leunga-20030107-int-rem |
| 756 |
|
Description: |
| 757 |
|
|
| 758 |
|
Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86. |
| 759 |
|
The arguments to the SUBL instruction were swapped. |
| 760 |
|
|
| 761 |
|
---------------------------------------------------------------------- |
| 762 |
|
Name: Matthias Blume |
| 763 |
|
Date: 2002/12/12 16:25:00 EST |
| 764 |
|
Tag: blume-20021212-risc-ra |
| 765 |
|
Description: |
| 766 |
|
|
| 767 |
|
Fixed a serious bug in the rewrite code for FP spilling/reloading that |
| 768 |
|
sent the RA into an infinite loop when floating point registers get |
| 769 |
|
spilled. (Because of this bug, e.g., nucleic stopped compiling between |
| 770 |
|
110.37 and 110.38.) |
| 771 |
|
There was another set of potential problems related to the handling of |
| 772 |
|
MLRISC annotations (but those did not yet cause real problems, apparently). |
| 773 |
|
|
| 774 |
|
---------------------------------------------------------------------- |
| 775 |
|
Name: Matthias Blume |
| 776 |
|
Date: 2002/12/06 22:40:00 EST |
| 777 |
|
Tag: blume-20021206-cm-fileid |
| 778 |
|
Description: |
| 779 |
|
|
| 780 |
|
Added a call of SrcPath.sync at the beginning of Parse.parse (in CM). |
| 781 |
|
This fixes the problem of CM getting confused by files that suddenly |
| 782 |
|
change their identity (e.g., by getting unlinked and recreated by some |
| 783 |
|
text editor such as vi). There might be a better/cheaper/cleaner way |
| 784 |
|
of doing this, but for now this will have to do. |
| 785 |
|
|
| 786 |
|
---------------------------------------------------------------------- |
| 787 |
|
Name: Matthias Blume |
| 788 |
|
Date: 2002/10/28 09:50:00 EST |
| 789 |
|
Tag: blume-20021028-typecheck |
| 790 |
|
Description: |
| 791 |
|
|
| 792 |
|
Exported structure Typecheck from $smlnj/viscomp/core.cm. |
| 793 |
|
|
| 794 |
|
---------------------------------------------------------------------- |
| 795 |
|
Name: Matthias Blume |
| 796 |
|
Date: 2002/10/17 09:10:00 EDT |
| 797 |
|
Tag: Release_110_42 |
| 798 |
|
Description: |
| 799 |
|
|
| 800 |
|
In good old tradition, there has been a slight hiccup so that we have |
| 801 |
|
to patch 110.42 after the fact. The old release tag has been replaced |
| 802 |
|
(see below). |
| 803 |
|
|
| 804 |
|
The change solves a problem with two competing approaches the |
| 805 |
|
configuration problem regarding MacOS 10.1 vs. MacOS 10.2 which got in |
| 806 |
|
each other's way. |
| 807 |
|
|
| 808 |
|
This change only affects the runtime system code and the installer script. |
| 809 |
|
(No new bootfiles.) |
| 810 |
|
|
| 811 |
|
---------------------------------------------------------------------- |
| 812 |
|
Name: Matthias Blume |
| 813 |
|
Date: 2002/10/16 12:00:00 EDT |
| 814 |
|
Tag: Release_110_42_removed |
| 815 |
|
Description: |
| 816 |
|
|
| 817 |
|
New working release. New bootfiles. |
| 818 |
|
|
| 819 |
|
---------------------------------------------------------------------- |
| 820 |
|
Name: Matthias Blume |
| 821 |
|
Date: 2002/10/10 13:10:00 EDT |
| 822 |
|
Tag: blume-20021010-ppc-divs |
| 823 |
|
Description: |
| 824 |
|
|
| 825 |
|
The mltree operator DIVS must be implemented with an overflow check on |
| 826 |
|
the PPC because the hardware indicates divide-by-zero using "overflow" as |
| 827 |
|
well. |
| 828 |
|
|
| 829 |
|
---------------------------------------------------------------------- |
| 830 |
|
Name: Matthias Blume |
| 831 |
|
Date: 2002/07/23 11:45:00 |
| 832 |
|
Tag: blume-20020723-smlnj-home |
| 833 |
|
Description: |
| 834 |
|
|
| 835 |
|
Sml now senses the SMLNJ_HOME environment variable. If this is set, |
| 836 |
|
then the bin dir is assumed to be in $SMLNJ_HOME/bin and (unless |
| 837 |
|
CM_PATHCONFIG is also set), the path configuration file is assumed |
| 838 |
|
to be in $SMLNJ_HOME/lib/pathconfig. This way one can easily move |
| 839 |
|
the entire tree to some other place and everything will "just work". |
| 840 |
|
|
| 841 |
|
(Companion commands such as ml-build and ml-makedepend also sense this |
| 842 |
|
variable.) |
| 843 |
|
|
| 844 |
|
---------------------------------------------------------------------- |
| 845 |
|
Name: Matthias Blume |
| 846 |
|
Date: 2002/07/12 21:19:00 EDT |
| 847 |
|
Tag: blume-20020712-liveness |
| 848 |
|
Description: |
| 849 |
|
|
| 850 |
|
Exported two useful "step" functions from liveness module (MLRISC). |
| 851 |
|
|
| 852 |
|
---------------------------------------------------------------------- |
| 853 |
|
Name: Matthias Blume |
| 854 |
|
Date: 2002/07/05 16:00 EDT |
| 855 |
|
Tag: Release_110_41 |
| 856 |
|
Description: |
| 857 |
|
|
| 858 |
|
New working release. New bootfiles. |
| 859 |
|
|
| 860 |
|
---------------------------------------------------------------------- |
| 861 |
|
Name: Matthias Blume |
| 862 |
|
Date: 2002/07/05 10:25:00 EDT |
| 863 |
|
Tag: blume-20020705-btimp |
| 864 |
|
Description: |
| 865 |
|
|
| 866 |
|
Exported structure BTImp from $smlnj/viscomp/debugprof.cm so that |
| 867 |
|
other clients can set up backtracing support. |
| 868 |
|
|
| 869 |
|
---------------------------------------------------------------------- |
| 870 |
|
Name: Matthias Blume |
| 871 |
|
Date: 2002/06/25 17:23:00 EDT |
| 872 |
|
Tag: blume-20020625-fpmax |
| 873 |
|
Description: |
| 874 |
|
|
| 875 |
|
Fixed a bug in translation of INLMAX (and INLMIN) for the floating-point |
| 876 |
|
case. (The sense of the isNaN test was reversed -- which made min and |
| 877 |
|
max always return their first argument.) |
| 878 |
|
|
| 879 |
|
---------------------------------------------------------------------- |
| 880 |
|
Name: Matthias Blume |
| 881 |
|
Date: 2002/06/11 |
| 882 |
|
Tag: blume-20020611-unixpath |
| 883 |
|
Description: |
| 884 |
|
|
| 885 |
|
Back-ported OS.Path.{from,to}UnixPath from idlbasis-devel branch. |
| 886 |
|
|
| 887 |
|
---------------------------------------------------------------------- |
| 888 |
|
Name: Matthias Blume |
| 889 |
|
Date: 2002/06/10 16:35:00 EDT |
| 890 |
|
Tag: blume-20020610-ieeereal |
| 891 |
|
Description: |
| 892 |
|
|
| 893 |
|
I back-ported my implementation of IEEEReal.fromString from the |
| 894 |
|
idlbasis-devel branch so that we can test it. |
| 895 |
|
|
| 896 |
|
Another small change is that ppDec tries to give more information |
| 897 |
|
than just "<sig>" in the case of functors. However, this code is |
| 898 |
|
broken in some mysterious way if the functor's body's signature |
| 899 |
|
has not been declared by ascription but gets inferred from the |
| 900 |
|
implementation. This needs fixing... |
| 901 |
|
|
| 902 |
|
---------------------------------------------------------------------- |
| 903 |
|
Name: Matthias Blume |
| 904 |
|
Date: 2002/05/31 |
| 905 |
|
Tag: blume-20020531-btrace-mode |
| 906 |
|
Description: |
| 907 |
|
|
| 908 |
|
Resurrected SMLofNJ.Internals.BTrace.mode. (It accidentally fell by |
| 909 |
|
the wayside when I switched over to using Controls everywhere.) |
| 910 |
|
|
| 911 |
|
---------------------------------------------------------------------- |
| 912 |
|
Name: Lal George |
| 913 |
|
Date: 2002/05/23 12:21:40 EDT |
| 914 |
|
Tag: george-20020523-visual-labels |
| 915 |
|
Description: |
| 916 |
|
|
| 917 |
|
Labels are now displayed in the graphical output to make |
| 918 |
|
the fall-through and target blocks obvious. |
| 919 |
|
|
| 920 |
|
---------------------------------------------------------------------- |
| 921 |
Name: Matthias Blume |
Name: Matthias Blume |
| 922 |
Date: 2002/05/22 11:03:00 EDT |
Date: 2002/05/22 11:03:00 EDT |
| 923 |
Tag: blume-20020522-shrink |
Tag: blume-20020522-shrink |
Parent Directory
| 
Revision Log
| 
Patch
