diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/interp/clam.boot | 5 | ||||
| -rw-r--r-- | src/interp/g-timer.boot | 3 | ||||
| -rw-r--r-- | src/interp/hashcode.boot | 6 | ||||
| -rw-r--r-- | src/interp/ht-util.boot | 12 | ||||
| -rw-r--r-- | src/interp/i-analy.boot | 15 | ||||
| -rw-r--r-- | src/interp/i-coerce.boot | 4 | ||||
| -rw-r--r-- | src/interp/i-object.boot | 5 | ||||
| -rw-r--r-- | src/interp/i-syscmd.boot | 2 | ||||
| -rw-r--r-- | src/interp/newfort.boot | 4 | ||||
| -rw-r--r-- | src/interp/nrunfast.boot | 1 | ||||
| -rw-r--r-- | src/interp/packtran.boot | 6 | ||||
| -rw-r--r-- | src/interp/patches.lisp | 8 | ||||
| -rw-r--r-- | src/interp/server.boot | 6 | ||||
| -rw-r--r-- | src/interp/setq.lisp | 52 | ||||
| -rw-r--r-- | src/interp/setvars.boot | 1 | ||||
| -rw-r--r-- | src/interp/sys-globals.boot | 6 | 
16 files changed, 53 insertions, 83 deletions
| diff --git a/src/interp/clam.boot b/src/interp/clam.boot index f2e7583a..acbbed21 100644 --- a/src/interp/clam.boot +++ b/src/interp/clam.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -69,6 +69,9 @@ import '"g-timer"  ++  $hashNode := [[]] + +++ +$failed := '"failed"  -- see SETQ LISP for initial def of $hashNode diff --git a/src/interp/g-timer.boot b/src/interp/g-timer.boot index 94bee59f..da55ccc1 100644 --- a/src/interp/g-timer.boot +++ b/src/interp/g-timer.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -42,6 +42,7 @@ import '"g-util"  --  and with measurement types (property, classproperty).  printTimeIfTrue := false +$printStorageIfTrue := false  printNamedStatsByProperty(listofnames, property) ==    total := +/[GETL(name,property) for [name,:.] in listofnames] diff --git a/src/interp/hashcode.boot b/src/interp/hashcode.boot index 3492b08a..ba6fb58f 100644 --- a/src/interp/hashcode.boot +++ b/src/interp/hashcode.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -35,6 +35,10 @@  import '"g-util"  )package "BOOT" +$DomainsWithoutLisplibs == +  '(CAPSULE Union Record SubDomain Mapping Enumeration Mode) + +  -- Type hasher for old compiler style type names which produces a hash code  -- compatible with the asharp compiler.  Takes a hard error if the type  -- is parameterized, but has no constructor modemap. diff --git a/src/interp/ht-util.boot b/src/interp/ht-util.boot index 36330ed6..c94815c2 100644 --- a/src/interp/ht-util.boot +++ b/src/interp/ht-util.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -668,12 +668,10 @@ parseAndEval string ==  parseAndEval1 string ==    syntaxError := false    pform := -    $useNewParser => -      v := applyWithOutputToString('ncParseFromString, [string]) -      CAR v => CAR v -      syntaxError := true -      CDR v -    oldParseString string +    v := applyWithOutputToString('ncParseFromString, [string]) +    CAR v => CAR v +    syntaxError := true +    CDR v    syntaxError =>       '"Syntax Error "    pform => diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index 41ee4c9d..f984ac11 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -1,5 +1,7 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. +-- Copyright (C) 2007-2008, 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 @@ -33,6 +35,19 @@  import '"i-object"  )package "BOOT" +$univariateDomains == +  '(UnivariatePolynomial +    UnivariateTaylorSeries +    UnivariateLaurentSeries +    UnivariatePuiseuxSeries) + +$multivariateDomains == +  '(MultivariatePolynomial +    DistributedMultivariatePolynomial +    HomogeneousDistributedMultivariatePolynomial +    GeneralDistributedMultivariatePolynomial) + +  --% Interpreter Analysis Functions  getMinimalVariableTower(var,t) == diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot index 9a44c578..92226235 100644 --- a/src/interp/i-coerce.boot +++ b/src/interp/i-coerce.boot @@ -1,5 +1,7 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. +-- Copyright (C) 2007-2008, 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 @@ -34,6 +36,8 @@ import '"i-analy"  import '"i-resolv"  )package "BOOT" +$useCoerceOrCroak := true +  --%  Algebraic coercions using interactive code  algCoerceInteractive(p,source,target) == diff --git a/src/interp/i-object.boot b/src/interp/i-object.boot index 55adaf2a..803244cb 100644 --- a/src/interp/i-object.boot +++ b/src/interp/i-object.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -44,6 +44,9 @@ $localVars := []  ++ declared mode of the current entity being processed.  $declaredMode := nil +++ +$useIntegerSubdomain := true +  --% Functions on interpreter objects  -- Interpreter objects used to be called triples because they had the diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot index 0745613d..c74612b9 100644 --- a/src/interp/i-syscmd.boot +++ b/src/interp/i-syscmd.boot @@ -42,6 +42,8 @@ $compileRecurrence := true  $errorReportLevel := 'warning  $sourceFileTypes := '(INPUT SPAD BOOT LISP LISP370 META) +$existingFiles := MAKE_-HASHTABLE "UEQUAL" +  $SYSCOMMANDS := [CAR x for x in $systemCommands]  UNDERBAR == '"__" diff --git a/src/interp/newfort.boot b/src/interp/newfort.boot index 1ab40abe..618f4be0 100644 --- a/src/interp/newfort.boot +++ b/src/interp/newfort.boot @@ -1,5 +1,7 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. +-- Copyright (C) 2007-2008, 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 @@ -33,6 +35,8 @@  import '"macros"  )package "BOOT" +$fortranArrayStartingIndex := 0 +  --% Translation of Expression to FORTRAN  assignment2Fortran1(name,e) ==    $fortError : fluid := nil diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index d8e6736f..520dda39 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -52,7 +52,6 @@ initNewWorld() ==    $NRTmakeShortDirect := true    $newWorld := true    $monitorNewWorld := false -  $consistencyCheck := false    $spadLibFT := 'NRLIB    $NRTmonitorIfTrue := false    $updateCatTableIfTrue := false diff --git a/src/interp/packtran.boot b/src/interp/packtran.boot index e6499e0f..9bc69888 100644 --- a/src/interp/packtran.boot +++ b/src/interp/packtran.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -35,10 +35,6 @@  import '"sys-macros"  )package "BOOT" --- The $useNewParser flag controls which parser will be used in the interpreter --- If nil then the old parser is used, otherwise Bill Burge's parser is used -$useNewParser := true -  rePackageTran(sex, package) ==    _*PACKAGE_* : fluid := FIND_-PACKAGE STRING package    packageTran sex diff --git a/src/interp/patches.lisp b/src/interp/patches.lisp index 19b806ca..822b7b52 100644 --- a/src/interp/patches.lisp +++ b/src/interp/patches.lisp @@ -1,6 +1,6 @@  ;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  ;; All rights reserved. -;; Copyright (C) 2007, Gabriel Dos Reis. +;; Copyright (C) 2007-2008, Gabriel Dos Reis.  ;; All rights reserved.  ;;  ;; Redistribution and use in source and binary forms, with or without @@ -120,8 +120,7 @@        (load lfile))       ((string= type "lisp") (load input-file))       ((string= type "bbin") (load input-file)) -     ((and (string= type "input") -           |$useNewParser|) +     ((string= type "input")        (|ncINTERPFILE| input-file Echo-Meta))       (t (spad input-file))))) @@ -219,9 +218,6 @@  (define-function '|isLowerCaseLetter| #'LOWER-CASE-P)  (define-function '|isUpperCaseLetter| #'UPPER-CASE-P)  (define-function '|isLetter| #'ALPHA-CHAR-P) -;; reset from /spad/lisp/setq.lisp -(setq |$consistencyCheck| ()) ;; prevents wasting time checking consistency -  #+(or :CCL (and :lucid :ibm/370))  (setq $current-directory (truename ".")) diff --git a/src/interp/server.boot b/src/interp/server.boot index 9bb1c271..c37f072f 100644 --- a/src/interp/server.boot +++ b/src/interp/server.boot @@ -1,6 +1,6 @@  -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.  -- All rights reserved. --- Copyright (C) 2007, Gabriel Dos Reis. +-- Copyright (C) 2007-2008, Gabriel Dos Reis.  -- All rights reserved.  --  -- Redistribution and use in source and binary forms, with or without @@ -107,9 +107,7 @@ parseAndInterpret str ==    $BOOT: fluid := NIL    $SPAD: fluid := true    $e:fluid := $InteractiveFrame -  $useNewParser => -    ncParseAndInterpretString str -  oldParseAndInterpret str +  ncParseAndInterpretString str  oldParseAndInterpret str ==    tree := string2SpadTree str diff --git a/src/interp/setq.lisp b/src/interp/setq.lisp index db0998ff..eb0202ee 100644 --- a/src/interp/setq.lisp +++ b/src/interp/setq.lisp @@ -46,29 +46,14 @@  (defvar MARG 0)    ;" Margin for testing by ?OP" -(SETQ |$consistencyCheck| 'T) -(SETQ |$ruleSetsInitialized| NIL) - -;; tell the system not to use the new parser -(SETQ |$useNewParser| NIL) - -(SETQ |$htPrecedenceTable| NIL) -  (SETQ |$NRTmakeCompactDirect| NIL)  (SETQ |$NRTquick| NIL)  (SETQ |$NRTmakeShortDirect| NIL)  (SETQ |$newWorld| NIL)  (SETQ |$returnNowhereFromGoGet| NIL) -(SETQ |$insideCanCoerceFrom| NIL) - -(SETQ |$useCoerceOrCroak| T) -  (SETQ |$abbreviateJoin| NIL) -;; variables controlling companion pages (see copage.boot) -(SETQ |$HTCompanionWindowID| nil) -  (SETQ |S:SPADTOK| 'SPADSYSTOK)  (SETQ APLMODE NIL)  (SETQ RLGENSYMFG NIL) @@ -94,48 +79,11 @@  (SETQ RPAR ")")  (SETQ SLASH "/")  (SETQ STAR "*") -(SETQ |$fortranArrayStartingIndex| 0)  ;; These were originally in INIT LISP -(SETQ |$dependeeClosureAlist|       NIL) -(SETQ |$userModemaps| NIL)  (SETQ |$functorForm| NIL) -(SETQ |$existingFiles| (MAKE-HASHTABLE 'UEQUAL)) - -(SETQ |$instantRecord| (MAKE-HASHTABLE 'ID)) - -(SETQ |$useIntegerSubdomain| 'T) -(SETQ |$useNewFloat| 'T) - -;; the following symbol holds the canonical "failed" value -(SETQ |$failed| "failed") - -(SETQ |$constructorDataTable| NIL) - -(SETQ |$univariateDomains| '( -    |UnivariatePolynomial| -    |UnivariateTaylorSeries| -    |UnivariateLaurentSeries| -    |UnivariatePuiseuxSeries| -    )) -(SETQ |$multivariateDomains| '( -    |MultivariatePolynomial| -    |DistributedMultivariatePolynomial| -    |HomogeneousDistributedMultivariatePolynomial| -    |GeneralDistributedMultivariatePolynomial| -    )) - -(SETQ |$DomainsWithoutLisplibs| '( -  CAPSULE |Union| |Record| |SubDomain| |Mapping| |Enumeration| |Domain| |Mode|)) - -(SETQ |$tracedMapSignatures| ()) - -(SETQ |$printStorageIfTrue| NIL) ;; storage info disabled in common lisp - -(SETQ |$defaultFunctionTargets| '(())) -  (SETQ $NE (LIST (LIST NIL)))  (SETQ |$suffix| NIL)  (SETQ |$coerceIntByMapCounter| 0) diff --git a/src/interp/setvars.boot b/src/interp/setvars.boot index eec432a5..d1e8b40a 100644 --- a/src/interp/setvars.boot +++ b/src/interp/setvars.boot @@ -155,7 +155,6 @@ resetWorkspaceVariables() ==    SETQ($msgAlist                    , NIL)    SETQ($msgDatabase                 , NIL)    SETQ($msgDatabaseName             , NIL) -  SETQ($dependeeClosureAlist        , NIL)    SETQ($IOindex                     , 1  )    SETQ($coerceIntByMapCounter       , 0  )    SETQ($e                           , $EmptyEnvironment) diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot index 777b890f..edd5d114 100644 --- a/src/interp/sys-globals.boot +++ b/src/interp/sys-globals.boot @@ -80,9 +80,6 @@ $compCount := 0  $compUniquelyIfTrue := false  ++ -$consistencyCheck := true - -++  $ConstructorCache := MAKE_-HASHTABLE "ID"  ++ @@ -446,3 +443,6 @@ $minivectorNames := []  ++ This semenatics is in effect only when `Rep' is defined  ++ through assignment.  $useRepresentationHack := true + +++ +$insideCanCoerceFrom := nil | 
