diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/ChangeLog | 23 | ||||
| -rw-r--r-- | src/interp/Makefile.in | 6 | ||||
| -rw-r--r-- | src/interp/Makefile.pamphlet | 6 | ||||
| -rw-r--r-- | src/interp/bookvol5.pamphlet | 4 | ||||
| -rw-r--r-- | src/interp/br-saturn.boot | 25 | ||||
| -rw-r--r-- | src/interp/cattable.boot | 1 | ||||
| -rw-r--r-- | src/interp/compiler.boot | 13 | ||||
| -rw-r--r-- | src/interp/database.boot | 1 | ||||
| -rw-r--r-- | src/interp/define.boot | 25 | ||||
| -rw-r--r-- | src/interp/int-top.boot | 10 | ||||
| -rw-r--r-- | src/interp/msg.boot | 23 | ||||
| -rw-r--r-- | src/interp/posit.boot | 3 | ||||
| -rw-r--r-- | src/interp/setq.lisp | 3 | ||||
| -rw-r--r-- | src/interp/spad.lisp | 2 | ||||
| -rw-r--r-- | src/interp/varini.boot | 257 |
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 |