diff options
author | dos-reis <gdr@axiomatics.org> | 2007-09-13 23:13:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-09-13 23:13:50 +0000 |
commit | 3eeacfa036d3943f4e9c048568adfb1ca3ddb997 (patch) | |
tree | 55b90758f5a2d442d7668669be1ba84779448ece | |
parent | 09784132ff79b5f253ab2825d965c4b529e27246 (diff) | |
download | open-axiom-3eeacfa036d3943f4e9c048568adfb1ca3ddb997.tar.gz |
-rw-r--r-- | src/interp/Makefile.in | 17 | ||||
-rw-r--r-- | src/interp/sys-constants.boot | 11 |
2 files changed, 24 insertions, 4 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index 3a4f4720..18ad5b37 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -479,6 +479,23 @@ database.date: $(AUTO)/%.$(FASLEXT): %.$(FASLEXT) $(INSTALL) $< $@ +## +## OpenAxiom's front-end consists of two parts: +## (a) the interprerter's parser -- also referred to as new parser +## (b) the compiler parser -- also referred to as parser +## +## The new parser component is always included in a running OpenAxiom +## image. However the old parser component is so called `autoloaded'. +## While in theory that should work, in practice it turns out that +## people tend to override functions in the autoload part, correcting +## bugs only there. The consequence is that the same function will +## bahave very differently based on the history of the seesion. Ideal +## recipe for creating heisenbugs. +## +## The new parser component roughtly is: +## astr.boot dq.boot incl.boot pile.boot ptrees.boot +## posit.boot cparse.boot format.boot cstream.boot +## cparse.$(FASLEXT): cparse.clisp ptrees.$(FASLEXT) $(BOOTSYS) -- --compile --output=$@ --load-directory=. $< diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index a3f37223..af971c11 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -520,7 +520,7 @@ $One == ++ $true == - ''T + true $false == false @@ -531,13 +531,16 @@ $NoValue == ++ -$exitMode == $EmptyMode +$exitMode == + $EmptyMode ++ -$leaveMode == $EmptyMode +$leaveMode == + $EmptyMode ++ $noEnv == nil ++ -IDENTITY == function IDENTITY +IDENTITY == + function IDENTITY |