| 12 |
Tag: <post-commit CVS tag> |
Tag: <post-commit CVS tag> |
| 13 |
Description: |
Description: |
| 14 |
---------------------------------------------------------------------- |
---------------------------------------------------------------------- |
| 15 |
|
Name: Matthias Blume |
| 16 |
|
Date: 2002/03/12 17:30:00 EST |
| 17 |
|
Tag: blume-20020312-version110392 |
| 18 |
|
Description: |
| 19 |
|
|
| 20 |
|
Yet another version number bump (because of small changes to the |
| 21 |
|
binfile format). Version number is now 110.39.2. NEW BOOTFILES! |
| 22 |
|
|
| 23 |
|
Changes: |
| 24 |
|
|
| 25 |
|
The new pid generation scheme described a few weeks ago was overly |
| 26 |
|
complicated. I implemented a new mechanism that is simpler and |
| 27 |
|
provides a bit more "stability": Once CM has seen a compilation |
| 28 |
|
unit, it keeps its identity constant (as long as you do not delete |
| 29 |
|
those crucial CM/GUID/* files). This means that when you change |
| 30 |
|
and interface, compiler, then go back to the old interface, and |
| 31 |
|
compile again, you arrive at the original pid. |
| 32 |
|
|
| 33 |
|
There now also is a mechanism that instructs CM to use the plain |
| 34 |
|
environment hash as a module's pid (effectively making its GUID |
| 35 |
|
the empty string). For this, "noguid" must be specified as an |
| 36 |
|
option to the .sml file in question within its .cm file. |
| 37 |
|
This is most useful for code that is being generated by tools such |
| 38 |
|
as ml-nlffigen (because during development programmers tend to |
| 39 |
|
erase the tool's entire output directory tree including CM's cached |
| 40 |
|
GUIDs). "noguid" is somewhat dangerous (since it can be used to locally |
| 41 |
|
revert to the old, broken behavior of SML/NJ, but in specific cases |
| 42 |
|
where there is no danger of interface confusion, its use is ok |
| 43 |
|
(I think). |
| 44 |
|
|
| 45 |
|
ml-nlffigen by default generates "noguid" annotations. They can be |
| 46 |
|
turned off by specifying -guid in its command line. |
| 47 |
|
|
| 48 |
|
---------------------------------------------------------------------- |
| 49 |
Name: Lal George |
Name: Lal George |
| 50 |
Date: 2002/03/12 12 14:42:36 EST |
Date: 2002/03/12 12 14:42:36 EST |
| 51 |
Tag: george-20020312-frequency-computation |
Tag: george-20020312-frequency-computation |
Parent Directory
| 
Revision Log
| 
Patch
