aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-11-30 04:38:26 +0000
committerdos-reis <gdr@axiomatics.org>2007-11-30 04:38:26 +0000
commit7ae1eacf142cdd20dd70f77b3ba5f2b91e0ad6d1 (patch)
treee53254631243bb7b370f85fd75ab2949fa19e269
parent299569280385c1347ef4ad93dd31f201fe78af85 (diff)
downloadopen-axiom-7ae1eacf142cdd20dd70f77b3ba5f2b91e0ad6d1.tar.gz
* Makefile.pamphlet (INOBJS): Lose varini.$(FASLEXT).
(varini.$(FASLEXT)): Remove rule. * compiler.boot (compileSpad2Cmd): Don't set $ncConverse; it is unused. Don't set $newcomMode and $newComp. (compTopLevel): There is no function newComp. So simplify. * cattable.boot (updateCategoryTable): Remove test for $newcompMode. * database.boot (updateDatabase): Likewise. * int-top.boot (SpadInterpretStream): Don't set $newcompMode. ($ncmParse): Move from varini.boot. ($ncmMacro): Likewise. * bookvol5.pamphlet: Remove reference to $newcompMode. * define.boot (compDefineCapsuleFunction): Simplify. * msg.boot: Move diagnostic related variables from varini.boot to here. * posit.boot ($nopos): Move from varini.boot to here. * setq.lisp ($newcompMode): Don't set here ($newComp): Likewise. ($LINELENGTH): Likewise. * spad.lisp ($newComp): Likewise. ($LINELENGTH): Likewise. * varinit.boot: Remove.
-rw-r--r--src/interp/ChangeLog23
-rw-r--r--src/interp/Makefile.in6
-rw-r--r--src/interp/Makefile.pamphlet6
-rw-r--r--src/interp/bookvol5.pamphlet4
-rw-r--r--src/interp/br-saturn.boot25
-rw-r--r--src/interp/cattable.boot1
-rw-r--r--src/interp/compiler.boot13
-rw-r--r--src/interp/database.boot1
-rw-r--r--src/interp/define.boot25
-rw-r--r--src/interp/int-top.boot10
-rw-r--r--src/interp/msg.boot23
-rw-r--r--src/interp/posit.boot3
-rw-r--r--src/interp/setq.lisp3
-rw-r--r--src/interp/spad.lisp2
-rw-r--r--src/interp/varini.boot257
15 files changed, 72 insertions, 330 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog
index 6088d4d8..af0bf9b4 100644
--- a/src/interp/ChangeLog
+++ b/src/interp/ChangeLog
@@ -1,5 +1,28 @@
2007-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * Makefile.pamphlet (INOBJS): Lose varini.$(FASLEXT).
+ (varini.$(FASLEXT)): Remove rule.
+ * compiler.boot (compileSpad2Cmd): Don't set $ncConverse; it is
+ unused. Don't set $newcomMode and $newComp.
+ (compTopLevel): There is no function newComp. So simplify.
+ * cattable.boot (updateCategoryTable): Remove test for $newcompMode.
+ * database.boot (updateDatabase): Likewise.
+ * int-top.boot (SpadInterpretStream): Don't set $newcompMode.
+ ($ncmParse): Move from varini.boot.
+ ($ncmMacro): Likewise.
+ * bookvol5.pamphlet: Remove reference to $newcompMode.
+ * define.boot (compDefineCapsuleFunction): Simplify.
+ * msg.boot: Move diagnostic related variables from varini.boot to here.
+ * posit.boot ($nopos): Move from varini.boot to here.
+ * setq.lisp ($newcompMode): Don't set here
+ ($newComp): Likewise.
+ ($LINELENGTH): Likewise.
+ * spad.lisp ($newComp): Likewise.
+ ($LINELENGTH): Likewise.
+ * varinit.boot: Remove.
+
+2007-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* Makefile.pamphlet (NAGBROBJS): Remove.
(makeint.lisp): Don't depend on it, don't use it.
(UNUSED): Remove reference to anna.boot.
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in
index 7ec3057e..e34bbf53 100644
--- a/src/interp/Makefile.in
+++ b/src/interp/Makefile.in
@@ -79,8 +79,7 @@ OBJS= vmlisp.$(FASLEXT) hash.$(FASLEXT) \
$(BROBJS)
interpsys_modules = $(patsubst %.$(FASLEXT), "%", $(OBJS))
-INOBJS= varini.$(FASLEXT) \
- setvart.$(FASLEXT)\
+INOBJS= setvart.$(FASLEXT)\
interop.$(FASLEXT) \
patches.$(FASLEXT)
@@ -649,9 +648,6 @@ sockio.$(FASLEXT): sockio.lisp sys-macros.$(FASLEXT)
sfsfun-l.$(FASLEXT): sfsfun-l.lisp sys-macros.$(FASLEXT)
$(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
-varini.$(FASLEXT): varini.boot sys-macros.$(FASLEXT)
- $(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
-
trace.$(FASLEXT): trace.boot debug.$(FASLEXT)
$(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet
index f126db96..e78ff03c 100644
--- a/src/interp/Makefile.pamphlet
+++ b/src/interp/Makefile.pamphlet
@@ -180,8 +180,7 @@ for various parts of the system. The {\bf patches.lisp} \cite{5}
file contains last-minute changes to various functions and
constants.
<<environment>>=
-INOBJS= varini.$(FASLEXT) \
- setvart.$(FASLEXT)\
+INOBJS= setvart.$(FASLEXT)\
interop.$(FASLEXT) \
patches.$(FASLEXT)
@@ -974,9 +973,6 @@ sockio.$(FASLEXT): sockio.lisp sys-macros.$(FASLEXT)
sfsfun-l.$(FASLEXT): sfsfun-l.lisp sys-macros.$(FASLEXT)
$(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
-varini.$(FASLEXT): varini.boot sys-macros.$(FASLEXT)
- $(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
-
trace.$(FASLEXT): trace.boot debug.$(FASLEXT)
$(BOOTSYS) -- --compile --output=$@ --load-directory=. $<
diff --git a/src/interp/bookvol5.pamphlet b/src/interp/bookvol5.pamphlet
index 93f4093a..6c7e2898 100644
--- a/src/interp/bookvol5.pamphlet
+++ b/src/interp/bookvol5.pamphlet
@@ -223,7 +223,6 @@ curoutstream & ncIntLoop & \\
\$msgDatabaseName & reroot * \\
\$ncMsgList & SpadInterpretStream & \\
\$newcompErrorCount & SpadInterpretStream & \\
-\$newcompMode & SpadInterpretStream & \\
\$newspad & ncTopLevel & \\
\$nopos & & SpadInterpretStream \\
\$okToExecuteMachineCode & SpadInterpretStream & \\
@@ -476,9 +475,6 @@ The [[$ncMsgList]] is set to [[NIL]] in [[SpadInterpretStream]].
\subsection{\$newcompErrorCount}
The [[$newcompErrorCount]] is set to [[0]] in [[SpadInterpretStream]].
-\subsection{\$newcompMode}
-The [[$newcompMode]] is set to [[NIL]] in [[SpadInterpretStream]].
-
\subsection{\$newspad}
The [[$newspad]] is set to [[T]] in [[ncTopLevel]].
diff --git a/src/interp/br-saturn.boot b/src/interp/br-saturn.boot
index d674f6a0..f7f071f0 100644
--- a/src/interp/br-saturn.boot
+++ b/src/interp/br-saturn.boot
@@ -1717,26 +1717,13 @@ compDefineCapsuleFunction(df is ['DEF,form,signature,specialCases,body],
sayBrightly ['" compiling ",localOrExported,
:bright $op,'": ",:formattedSig]
- if $newComp = true then
- wholeBody := ['DEF, form, signature', specialCases, body]
- T := CATCH('compCapsuleBody, newComp(wholeBody,$NoValueMode,e))
- or [" ",rettype,e]
- T := [T.expr.2.2, rettype, T.env]
- if $newCompCompare=true then
- oldT := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
- or [" ",rettype,e]
- SAY '"The old compiler generates:"
- prTriple oldT
- SAY '"The new compiler generates:"
- prTriple T
- else
- T := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
- or [" ",rettype,e]
+ T := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
+ or [" ",rettype,e]
--+
- NRTassignCapsuleFunctionSlot($op,signature')
- if $newCompCompare=true then
- SAY '"The old compiler generates:"
- prTriple T
+ NRTassignCapsuleFunctionSlot($op,signature')
+ if $newCompCompare=true then
+ SAY '"The old compiler generates:"
+ prTriple T
-- A THROW to the above CATCH occurs if too many semantic errors occur
-- see stackSemanticError
catchTag:= MKQ GENSYM()
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot
index 8cc6b65d..0da1a93f 100644
--- a/src/interp/cattable.boot
+++ b/src/interp/cattable.boot
@@ -453,7 +453,6 @@ squeeze1(l) ==
RPLACD(l,y)
updateCategoryTable(cname,kind) ==
- $newcompMode = true => nil
$updateCatTableIfTrue =>
kind = 'package => nil
kind = 'category => updateCategoryTableForCategory(cname)
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index f5bcab8f..572a0b85 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -53,12 +53,10 @@ compTopLevel(x,m,e) ==
$compTimeSum: local := 0
$resolveTimeSum: local := 0
$packagesUsed: local := []
- -- The next line allows the new compiler to be tested interactively.
- compFun := if $newCompAtTopLevel=true then 'newComp else 'compOrCroak
x is ["DEF",:.] or x is ["where",["DEF",:.],:.] =>
- ([val,mode,.]:= FUNCALL(compFun,x,m,e); [val,mode,e])
+ ([val,mode,.]:= compOrCroak(x,m,e); [val,mode,e])
--keep old environment after top level function defs
- FUNCALL(compFun,x,m,e)
+ compOrCroak(x,m,e)
compUniquely(x,m,e) ==
$compUniquelyIfTrue: local:= true
@@ -1303,13 +1301,6 @@ compileSpad2Cmd args ==
translate _
)
- -- next three are for the OLD NEW compiler
- -- should be unhooked
-
- $newcompMode : local := nil
- $ncConverse : local := nil
- $newComp : local := nil
-
translateOldToNew := nil
$scanIfTrue : local := nil
diff --git a/src/interp/database.boot b/src/interp/database.boot
index af87539e..f58cad28 100644
--- a/src/interp/database.boot
+++ b/src/interp/database.boot
@@ -512,7 +512,6 @@ formal2Pattern x ==
updateDatabase(fname,cname,systemdir?) ==
-- for now in NRUNTIME do database update only if forced
not $forceDatabaseUpdate => nil
- $newcompMode = 'true => nil
-- these modemaps are never needed in the old scheme
if oldFname := constructor? cname then
clearClams()
diff --git a/src/interp/define.boot b/src/interp/define.boot
index b77139be..e7986442 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -804,26 +804,13 @@ compDefineCapsuleFunction(df is ['DEF,form,signature,specialCases,body],
sayBrightly ['" compiling ",localOrExported,
:bright $op,'": ",:formattedSig]
- if $newComp = true then
- wholeBody := ['DEF, form, signature', specialCases, body]
- T := CATCH('compCapsuleBody, newComp(wholeBody,$NoValueMode,e))
- or [" ",rettype,e]
- T := [T.expr.2.2, rettype, T.env]
- if $newCompCompare=true then
- oldT := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
- or [" ",rettype,e]
- SAY '"The old compiler generates:"
- prTriple oldT
- SAY '"The new compiler generates:"
- prTriple T
- else
- T := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
- or [" ",rettype,e]
+ T := CATCH('compCapsuleBody, compOrCroak(body,rettype,e))
+ or [" ",rettype,e]
--+
- NRTassignCapsuleFunctionSlot($op,signature')
- if $newCompCompare=true then
- SAY '"The old compiler generates:"
- prTriple T
+ NRTassignCapsuleFunctionSlot($op,signature')
+ if $newCompCompare=true then
+ SAY '"The old compiler generates:"
+ prTriple T
-- A THROW to the above CATCH occurs if too many semantic errors occur
-- see stackSemanticError
catchTag:= MKQ GENSYM()
diff --git a/src/interp/int-top.boot b/src/interp/int-top.boot
index 3ccdf3fd..afa08a1f 100644
--- a/src/interp/int-top.boot
+++ b/src/interp/int-top.boot
@@ -119,9 +119,6 @@ SpadInterpretStream(str, source, interactive?) ==
$fn : local := source
pile? := not interactive?
$libQuiet : local := not interactive?
- $newcompMode : local := false
--- following seems useless and causes ccl package problems
--- $InteractiveMode : local := false
$newcompErrorCount: local := 0 -- SMW Feb 2/90.
-- Used in highComplete, ncHardError etc.
@@ -364,6 +361,8 @@ ncError() ==
--% phParse: carrier[tokens,...] -> carrier[ptree, tokens,...]
--)line (defun pretty (x) (boottran::reallyprettyprint x))
--)line (defun packagetran (x) (boot::|packageTran|))
+$ncmParse := NIL
+
phParse(carrier,ptree) ==
phBegin 'Parsing
if $ncmParse then
@@ -373,7 +372,10 @@ phParse(carrier,ptree) ==
'OK
+
--% phMacro: carrier[ptree,...] -> carrier[ptree, ptreePremacro,...]
+$ncmMacro := false
+
phMacro carrier ==
phBegin 'Macroing
ptree := ncEltQ(carrier, 'ptree)
@@ -415,6 +417,8 @@ ncloopPrefix?(prefix,whole) ==
for i in 0..#prefix-1 for j in 0.. while good repeat
good:= prefix.i = whole.j
if good then SUBSTRING(whole,#prefix,nil) else good
+
+$ncmPhase := NIL
phBegin id ==
$convPhase := id
diff --git a/src/interp/msg.boot b/src/interp/msg.boot
index 1e419b72..1bbae560 100644
--- a/src/interp/msg.boot
+++ b/src/interp/msg.boot
@@ -36,6 +36,29 @@ import '"sys-macros"
import '"astr"
)package "BOOT"
+$erLocMsgDatabaseName := pathname '(co_-eng msgs a)
+$erGlbMsgDatabaseName := pathname '(co_-eng msgs i)
+$newcompErrorCount := 0
+
+$imPrTagGuys == ['unimple, 'bug, 'debug, 'say, 'warn]
+$toWhereGuys == ['fileOnly, 'screenOnly ]
+$imPrGuys == ['imPr]
+$repGuys == ['noRep, 'rep]
+$attrCats == ['$imPrGuys, '$toWhereGuys, '$repGuys]
+
+$LINELENGTH := 80
+$preLength := 11
+$LOGLENGTH := $LINELENGTH - 6
+$specificMsgTags := []
+$showKeyNum := NIL
+
+$compErrorPrefix := '"Error"
+$compBugPrefix := '"Bug!"
+
+$ncMsgList := []
+
+--%
+
ListMember?(ob, l) ==
MEMBER(ob, l, KEYWORD::TEST, function EQUAL)
diff --git a/src/interp/posit.boot b/src/interp/posit.boot
index 37ab021a..7b5d3345 100644
--- a/src/interp/posit.boot
+++ b/src/interp/posit.boot
@@ -36,6 +36,9 @@ import '"astr"
)package "BOOT"
+$nopos ==
+ ['noposition]
+
poNoPosition() == $nopos
pfNoPosition() == poNoPosition()
diff --git a/src/interp/setq.lisp b/src/interp/setq.lisp
index e62c3676..9067cab7 100644
--- a/src/interp/setq.lisp
+++ b/src/interp/setq.lisp
@@ -67,8 +67,6 @@
(setq |$interpOnly| nil)
(SETQ |$testingSystem| NIL)
(SETQ |$publicSystem| NIL)
-(SETQ |$newcompMode| NIL)
-(SETQ |$newComp| NIL)
(SETQ |$newCompCompare| NIL)
(SETQ |$permitWhere| NIL)
(SETQ |$newSystem| T)
@@ -172,7 +170,6 @@
;; These are for the output routines in OUT BOOT
-(SETQ $LINELENGTH 77)
(SETQ $MARGIN 3)
(SETQ *TALLPAR NIL)
(SETQ ALLSTAR NIL)
diff --git a/src/interp/spad.lisp b/src/interp/spad.lisp
index 3a0fef1b..e759cd67 100644
--- a/src/interp/spad.lisp
+++ b/src/interp/spad.lisp
@@ -49,7 +49,6 @@
(defvar |$compForModeIfTrue| nil "checked in compSymbol")
(defvar |$functorForm| nil "checked in addModemap0")
(defvar |$formalArgList| nil "checked in compSymbol")
-(defvar |$newComp| nil "use new compiler")
(defvar |$newCompCompare| nil "compare new compiler with old")
(defvar |$compileOnlyCertainItems| nil "list of functions to compile")
(defvar |$newCompAtTopLevel| nil "if t uses new compiler")
@@ -465,7 +464,6 @@
(defvar MATBORCH "*")
(defvar $MARGIN 3)
-(defvar $LINELENGTH 71)
(defvar TEMPGENSYMLIST '(|s| |r| |q| |p|))
(defvar ALPHLIST '(|a| |b| |c| |d| |e| |f| |g|))
(defvar LITTLEIN " in ")
diff --git a/src/interp/varini.boot b/src/interp/varini.boot
deleted file mode 100644
index b728fe5e..00000000
--- a/src/interp/varini.boot
+++ /dev/null
@@ -1,257 +0,0 @@
--- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--- All rights reserved.
--- Copyright (C) 2007, Gabriel Dos Reis.
--- All rights reserved.
---
--- Redistribution and use in source and binary forms, with or without
--- modification, are permitted provided that the following conditions are
--- met:
---
--- - Redistributions of source code must retain the above copyright
--- notice, this list of conditions and the following disclaimer.
---
--- - Redistributions in binary form must reproduce the above copyright
--- notice, this list of conditions and the following disclaimer in
--- the documentation and/or other materials provided with the
--- distribution.
---
--- - Neither the name of The Numerical ALgorithms Group Ltd. nor the
--- names of its contributors may be used to endorse or promote products
--- derived from this software without specific prior written permission.
---
--- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
--- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
--- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
--- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
--- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
--- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
--- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
--- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
--- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
--- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
--- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-
-import '"sys-macros"
-)package "BOOT"
-
--- Variables to control whether old software calls the new compiler.
-$ncConverse := NIL
-$newcompMode := NIL -- )comp means new compiler.
-$newComp := true -- Start workspace in new compiler.
-
--- Files used by the compiler.
-$erLocMsgDatabaseName := pathname '(co_-eng msgs a)
-$erGlbMsgDatabaseName := pathname '(co_-eng msgs i)
-$LanguageConstantFileName := pathname '(stlang input _*)
-$WorkspaceProfileName := pathname '(spadprof input _*)
-$OldLibraryDatabaseName := pathname '(modemap database _*)
-
-$SpadNcLibraryRelPath := '"lib/lang"
-$SpadNcLibraryRelPathSrc := '"src/lib/lang/"
-$SpadNcIncludeRelPath := '"src/include/lang/"
-
---$LibrariesSearchPath := [PathnameDirectory '"./x",
--- SpadDirectory $SpadNcLibraryRelPath ,
--- SpadDirectory $SpadNcLibraryRelPathSrc]
-
---$IncludesSearchPath := [PathnameDirectory '"./x",
--- SpadDirectory $SpadNcIncludeRelPath]
-
-$warmstab := nil
-
--- Variables to control phases and their output
-
-$ncRead := true
-$ncmRead := NIL
-
-$ncParse := true
-$ncmParse := NIL
-
-$ncAbsck := true
-$ncmAbsck := NIL
-
-$ncMacro := true
-$ncmMacro := NIL
-
-$ncScope := false
-$ncmScope := NIL
-
-$ncAnalyze := true
-$ncmSemantics := NIL
-
-$ncInterpretSetr := false
-
-$ncParseSetr := false
-$ncmParseSetr := NIL
-
-$ncGenerateSAM := true
-$ncmSAM := NIL
-$ncLastSamCode := NIL
-
-$ncSamOptimize := false
-$ncmSamOptimize := NIL
-$ncLastOptimizedCode := NIL
-
-$ncSamPack := false
-$ncmSamPack := NIL
-$ncLastPackedSam := NIL
-
-$ncGenerateConcrete := true
-$ncmConCode := NIL
-$ncLastConcreteCode := NIL
-
-$ncLibrary := true
-$ncmLibrary := NIL
-
-$ncGenerateMachine := true
-$ncmCodeSize := NIL
-$ncLastMachineCode := NIL
-
-$ncInterpretSam := false
-$ncExecuteMachine := true
-
-$ncReportStep := true
-
--- Variables to control debugging output
---they are manipulated in setvart boot
-$debugApply := false -- trace application matching
-$debugApply0 := false -- trace even more
-$debugSemAnalyze := false -- trace results of semAnalyze
-$debugRead := false
-$debugParse := false
-$debugCheck := false
-$debugMacro := false
-$debugScope := false
-$debugParseSetr := false
-$debugGenSam := false
-$debugSamOpt := false
-$debugSamPack := false
-$debugGenCon := false
-$debugGenMach := false
-$debugExecute := false
-$debugReport := false
-
--- Variables to control what other parts of the compiler are executed.
-$ncDoSpecialCases := true
-$LispViaSam := false
-
--- Variables to control other compiler output.
-
--- note flags to control the error message facility must have
--- the prefix $ncm, since catExcpts (in ncsetvar boot) strips the
--- prefix and uses the name. ie. $ncmWarning ==> "Warning"
-$ncmPhase := NIL
-$ncmWarning := "T"
-$ncmStatistic := NIL
-$ncmRemark := "T"
-$statTmSpShow := 4
-$compBugPrefix := '"Bug!"
-$compUnimplPrefix := '"Unimp"
-$compDebugPrefix := '"Debug"
-$compStatisticPrefix :='"Stat"
-$compErrorPrefix := '"Error"
-$compWarningPrefix := '"Warn"
-$compRemarkPrefix := '"Note"
-$compSayPrefix := '"Msg"
-
-$charNumSymVector := NIL
-
--- Modes
-$FullMode := 'FullMode
-$ValueMode := 'ValueMode
-
---error message facility
-$nopos := ['noposition]
-$showKeyNum := NIL
-$specificMsgTags := NIL
-
---compiler option stuff
-$ncCodeDebug := true
-$ncCodeTrace := true
-$ncSamInline := true
-
--- Variables used in the SEMantic ANAlysis
-
---from SEFO BOOT
-$sefoDerivedAttributes := [ 'type, 'tfinfo, 'signature, 'pooled ]
-
---from NCMODE BOOT
-$ValueMode := 'ValueMode
-$FullMode := 'FullMode
-
--- Miscellaneous nonsense.
-$newcompInteractiveRecovery := "T"
-$newcompErrorCount := 0
-$floatdolla := ['$elt, ['BigFloat], 'bigfloat]
-$floatilla := [ 'elt, ['BigFloat], 'bigfloat]
-$newcompStats := NIL
-$newcompAbbrevType := true
-$stabLibLevelNo := -1
-$SyntheticSourcePosition := 'Synthetic
-$Typeless := NIL
-
-$catAbTab := '(
- ($ncmWarning . "warn" ) _
- ($ncmRemark . "rem" ) _
- ($ncmStatistic . "stat" ) )
-$phaseAbTab := '(
- (Reading . "Rd" ) _
- (Parsing . "Pa" ) _
- (Checking . "Ck" ) _
- (Macroing . "Ma" ) _
- (Scoping . "Sc" ) _
- (Analyzing . "An" ) _
- (Interpreting . "In" ) _
- (ParseSetr . "Ps" ) _
- (GeneratingSAM . "Sg" ) _
- (SamOptimize . "So" ) _
- (SamPack . "Sp" ) _
- (GeneratingConcrete . "Cg" ) _
- (GeneratingMachine . "Mg" ) _
- (Executing . "Ex" ) _
- (Reporting . "Rp" ) )
-
--- Items from STATS BOOT
-$LINELENGTH := 80
-
--- Items from MSG BOOT I
-$showMsgCaller := nil --## was F
-$preLength := 11
-$LOGLENGTH := $LINELENGTH - 6
-$specificMsgTags := []
-
-$imPrTagGuys := ['unimple, 'bug, 'debug, 'say, 'warn]
-$toWhereGuys := ['fileOnly, 'screenOnly ]
-$imPrGuys := ['imPr]
-$repGuys := ['noRep, 'rep]
-$attrCats := ['$imPrGuys, '$toWhereGuys, '$repGuys]
-
-
--- Soon to be obsolete
-$showConcrete1 := NIL
-$showConcrete2 := NIL
-$showPhases := "T"
-$showSAM := NIL
-$showform := NIL
-$showsetr := NIL
-$showval := "T"
-$tafon := NIL
-
--- Inits for pseudo kaf files
---$CURRENT_-DIRECTORY := fileCurrentDirectory()
-$DIRECTORY_-LIST := []
-
---caching for inline code
-$gotSam := nil
---$cachedInlineTable := EqTable()
-
---debugging variables for Simon.
-$simon := nil
-$ncmTLambdaDown := nil
-
-$ncMsgList := nil
-$oldLibraryInterface := nil -- don't consider old library information.
-
---## Bug in RIOS version of KCL
-NeedAtLeastOneFunctionInThisFile(x) == x