diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-20 11:52:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-20 11:52:58 +0000 |
| commit | b890b870ba6641b7670fce7827f5928c4383dd9c (patch) | |
| tree | 50a6654341c29ed95015dfb654e9fdd8428d2bad /src/boot/ast.boot | |
| parent | 71cb17550511a6abb225030cb25c16bef8f31ef5 (diff) | |
| download | open-axiom-b890b870ba6641b7670fce7827f5928c4383dd9c.tar.gz | |
Discontinue computation of difference between "old" and "new" Boot.
* boot/ast.boot (bfGetOldBootName): Remove.
(bfSameMeaning): Likewise.
(bfReName): Don't compute the diff between old and new Boot.
* boot/translator.boot ($translatingOldBoot): Remove.
(AxiomCore::%sysInit): Don't set it.
Diffstat (limited to 'src/boot/ast.boot')
| -rw-r--r-- | src/boot/ast.boot | 37 |
1 files changed, 2 insertions, 35 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index d02f7a8e..200cd933 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -726,43 +726,10 @@ bfApplication(bfop, bfarg) == then cons(bfop,rest bfarg) else cons(bfop,[bfarg]) - -++ Token renaming. New Boot and Old Boot differs in the set of -++ tokens they rename. When converting code written in Old Boot -++ to New Boot, it is helpful to have some noise about potential -++ divergence in semantics. So, when compiling with --boot=old, -++ we compute the renaming in both Old Boot and New Boot and compare -++ the results. If they differ, we prefer the old meaning, with some -++ warnings. Notice that the task is compounded by the fact the -++ tokens in both language do not always agreee. -++ However, to minimize the flood of false positive, we -++ keep a list of symbols which apparently differ in meanings, but -++ which have been verified to agree. -++ This is a valuable automated tool during the transition period. - --- return the meaning of the x in Old Boot. -bfGetOldBootName x == - a := GET(x, "OLD-BOOT") => first a - x - --- returns true if x has same meaning in both Old Boot and New Boot. -bfSameMeaning x == - GET(x, 'RENAME_-OK) - -- returns the meaning of x in the appropriate Boot dialect. bfReName x== - newName := - a := GET(x,"SHOERENAME") => first a - x - $translatingOldBoot and not bfSameMeaning x => - oldName := bfGetOldBootName x - if newName ~= oldName then - warn [PNAME x, '" as `", PNAME newName, _ - '"_' differs from Old Boot `", PNAME oldName,_ - '"_' at ", diagnosticLocation $stok] - oldName - newName - + a := GET(x,"SHOERENAME") => first a + x bfInfApplication(op,left,right)== EQ(op,"EQUAL") => bfQ(left,right) |