| 13 |
Description: |
Description: |
| 14 |
|
|
| 15 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
| 16 |
|
Name: Matthias Blume (blume@tti-c.org) |
| 17 |
|
Date: 2003/05/27 16:55:00 CDT |
| 18 |
|
Tag: blume-20030527-polyeq |
| 19 |
|
Description: |
| 20 |
|
|
| 21 |
|
Tried to eliminated most cases of polymorphic equality. |
| 22 |
|
|
| 23 |
|
---------------------------------------------------------------------- |
| 24 |
|
Name: Matthias Blume (blume@tti-c.org) |
| 25 |
|
Date: 2003/05/21 17:45:00 CDT |
| 26 |
|
Tag: blume-20030517-complete |
| 27 |
|
Description: |
| 28 |
|
|
| 29 |
|
Two changes: |
| 30 |
|
|
| 31 |
|
1. Added a flag for controlling whether non-exhaustive bindings will |
| 32 |
|
be treated as errors (default is false). |
| 33 |
|
2. Cleaned up the *entire* source tree so that CMB.make goes through |
| 34 |
|
without a single non-exhaustive match- or bind warning. |
| 35 |
|
|
| 36 |
|
---------------------------------------------------------------------- |
| 37 |
|
Name: Matthias Blume (blume@tti-c.org) |
| 38 |
|
Date: 2003/05/17 10:20:00 CDT |
| 39 |
|
Tag: blume-20030517-absyn |
| 40 |
|
Description: |
| 41 |
|
|
| 42 |
|
1. Added cases for IF, WHILE, ANDALSO, and ORELSE to Absyn. |
| 43 |
|
|
| 44 |
|
This mainly affects the quality of error messages. However, some |
| 45 |
|
of the code is now more straightforward than before. (Treatment of |
| 46 |
|
the above four constructs in translate.sml is much simpler than |
| 47 |
|
the "macro-expansion" that was going on before. Plus, the mach- |
| 48 |
|
compiler no longer gets invoked just to be able to compile an |
| 49 |
|
if-expression.) |
| 50 |
|
|
| 51 |
|
2. The ErrorMsg.Error exception is now caught and absorbed by the |
| 52 |
|
interactive loop. |
| 53 |
|
|
| 54 |
|
---------------------------------------------------------------------- |
| 55 |
|
Name: Allen Leung |
| 56 |
|
Date: 2003/05/16 13:05:00 CDT |
| 57 |
|
Tag: leunga-20030516-cygwin-runtime |
| 58 |
|
Description: |
| 59 |
|
|
| 60 |
|
Ported the runtime system to cygwin, which uses the unix |
| 61 |
|
x86-unix bin files. Missing/buggy features: |
| 62 |
|
|
| 63 |
|
o getnetbyname, getnetbyaddr: these functions seem to be missing in |
| 64 |
|
the Cygwin library. |
| 65 |
|
o Ctrl-C handling may be flaky. |
| 66 |
|
o Windows system calls and Windows I/O are not supported. |
| 67 |
|
|
| 68 |
|
A new set of binfiles is located at: |
| 69 |
|
|
| 70 |
|
http://www.dorsai.org/~leunga/boot.x86-unix.tgz |
| 71 |
|
|
| 72 |
|
This is only needed for bootstrapping the cygwin version of smlnj. |
| 73 |
|
Other x86 versions can use the existing binfiles. |
| 74 |
|
|
| 75 |
|
---------------------------------------------------------------------- |
| 76 |
|
Name: Matthias Blume |
| 77 |
|
Date: 2003/04/08 15:42:00 CDT |
| 78 |
|
Tag: blume-20030408-listpair |
| 79 |
|
Description: |
| 80 |
|
|
| 81 |
|
1. Added a target 'mlrisc' to installer. |
| 82 |
|
|
| 83 |
|
2. Added missing elements to structure ListPair. |
| 84 |
|
|
| 85 |
|
---------------------------------------------------------------------- |
| 86 |
|
Name: Allen Leung |
| 87 |
|
Date: 2003/01/07 10:40:00 EST |
| 88 |
|
Tag: leunga-20030107-int-rem |
| 89 |
|
Description: |
| 90 |
|
|
| 91 |
|
Fixed a bug in Int.rem(x,y) where y is a power of 2 on x86. |
| 92 |
|
The arguments to the SUBL instruction were swapped. |
| 93 |
|
|
| 94 |
|
---------------------------------------------------------------------- |
| 95 |
Name: Matthias Blume |
Name: Matthias Blume |
| 96 |
Date: 2002/12/12 16:25:00 EST |
Date: 2002/12/12 16:25:00 EST |
| 97 |
Tag: blume-20021212-risc-ra |
Tag: blume-20021212-risc-ra |
Parent Directory
| 
Revision Log
| 
Patch
