diff options
Diffstat (limited to 'src/interp/sys-globals.boot')
-rw-r--r-- | src/interp/sys-globals.boot | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index b6aadefa..723c9593 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -358,3 +358,43 @@ $insideCoerceInteractive := false ++ $insideEvalMmCondIfTrue := false +++ +$libraryDirectory := "A" + +++ +$listingDirectory := "A" + +++ +$texOutputStream := MAKE_-SYNONYM_-STREAM '_*TERMINAL_-IO_* + +++ +$UserLevel := "development" + +++ +$DIRECTORY_-LIST := [] + +++ +$LIBRARY_-DIRECTORY_-LIST := [] + +++ +$byConstructors := nil + +++ +$constructorsSeen := nil + +++ +$docList := [] + +++ +$headerDocumentation := nil + +++ +$constructorLineNumber := 0 + +++ +$maxSignatureLineNumber := 0 + +++ +$noSubsumption := false + +SPADERRORSTREAM := _*ERROR_-OUTPUT_* |