aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2008-08-04 * interp/pf2sex.boot: Replace CAR with first, and CARD with seconddos-reis1-13/+13
throughout.
2008-08-04Fix bug SF 2034483alfredoport2-1/+5
2008-08-03 * interp/sys-globals.boot ($compilingInputFile): Remove.dos-reis6-21/+0
($minivectorNames): Likewise. * interp/i-map.boot (compileCoerceMap): Don't set $minivectorNames and $minivectorCode. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/i-toplev.boot (processInteractive): Likewise. * interp/nrungo.boot (NRTgetMinivectorIndex): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise.
2008-08-02 * interp/nrungo.boot (NRTisRecurrenceRelation): Lookup "not" with dos-reis2-5/+4
signature % -> %. * interp/br-con.boot: Use "~=" for inequality.
2008-08-02 * interp/buildom.boot: Use constants by names.dos-reis11-30/+34
* interp/i-analy.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/mark.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/postpar.boot: Likewise. * interp/wi1.boot: Likewise.
2008-08-02 * interp/macros.lisp (sayBrightlyNT1): Tidy.dos-reis3-125/+113
(sayBrightly1): Likewise. * interp/msgdb.boot (sayNewLine): Take two defauled arguments. (sayString): Take a second defaulted arguments. (spadStartUpMsgs): Tidy. (brightPrint): Likewise. (brightPrint0): Likewise. (brightPrint0AsTeX): Likewise. (brightPrint1): Likewise. (brightPrintHighlight): Likewise. (brightPrintHighlightAsTeX): Likewise. (brightPrintCenter): Likewise. (brightPrintCenterAsTeX): Likewise. (brightPrintRightJustify): Likewise. * interp/i-output.boot (mathprint): Take a second defaulted argument. * boot/ast.boot (%Assignment): Rename from Assignment.
2008-08-01 * interp/msgdb.boot (BRIGHTPRINT-0): Remove.dos-reis2-10/+3
(BRIGHTPRINT): Likewise. * interp/macros.lisp (sayBrightly1): Use brightPrint0 and brightPrint. (sayBrightlyNT1): Likewise.
2008-07-26 * interp/compiler.boot (getConstructorFormOfMode): Remove.dos-reis1-17/+0
(getConstructorMode): Likewise. (isConstructorForm): Likewise.
2008-07-252008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis4-25/+60
* interp/scan.boot: Tidy. * interp/ptrees.boot: Define AST for type schemes. * interp/cparse.boot (npType): Parse type schemes. (npQuantifierVariable): New. (npADD): Accept only monotypes. * interp/pf2sex.boot (pf2Sex1): Handle type schemes. (pfQuantified2Sex): New. 2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/cparse.boot (npMonoType): Rename from npType.
2008-07-23Misc cleanup.dos-reis2-32/+55
2008-07-20 * interp/compiler.boot (compNot): Rename from compileNot.dos-reis1-3/+3
2008-07-15 Fix SF/2015650dos-reis1-1/+4
* interp/compiler.boot (coerceExtraHard): Forms with type Category are categories.
2008-07-12 * interp/i-funsel.boot (findUniqueOpInDomain): Use evaluation typedos-reis1-8/+12
context.
2008-07-11 * interp/sys-driver.boot (initializeGlobalState): New.dos-reis2-12/+11
(executeSpadScript): Use it. (compileSpadLibrary): Likewise. * interp/i-syscmd.boot (spool): Synchronize with standard output. * boot/translator.boot (bpOutItem): Tidy.
2008-07-11 * interp/nruncomp.boot (NRTencode): Don't encode enumerations.dos-reis1-4/+8
(listofBoundVars): Enumerations don't bind any varaible.
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis1-1/+5
symbols. * algebra/any.spad.pamphlet: Use nil for empty list. * algebra/boolean.spad.pamphlet: Fix quoting.
2008-07-09 * interp/i-spec2.boot (findConstantInDomain): Abstract fromdos-reis2-9/+17
upDollar. (upDollar): Use it. Don't return general constants as mappings. * interp/fnewmeta.lisp (|PARSE-FloatTok|): Fix typo.
2008-07-09 * interp/template.boot (evalSlotDomain): Likewise.dos-reis4-10/+14
(NRTaddInner): Likewise. * interp/nrunfast.boot (lazyMatch): Handle Enumeration. (newExpandLocalTypeForm): Likewise. * interp/lisplib.boot (isFunctor): Enumeration is a functor too. * interp/nruncomp.boot (NRTencode): Encode Enumeration too.
2008-07-07 * interp/spad.lisp (S-PROCESS): Remove Old Boot specific codes.dos-reis16-96/+39
* interp/server.boot (parseAndInterpret): Don't set $BOOT. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad-parser.boot (parseSpadFile): Likewise. * interp/postpar.boot: Disable Old Boot handling codes. * interp/metalex.lisp (quote-if-string): Don't test for $BOOT. * interp/parsing.lisp (IOStat): Likewise. (IOClear): Likewise. * interp/ht-util.boot (parseAndEval): Don't set $BOOT. * interp/int-top.boot (ncTopLevel): Likewise. * interp/fnewmeta.lisp: Remove Old Boot specific productions. * interp/sys-macros.lisp (-REDUCE): Don't test for $BOOT. (SPADDO): Likewise. * interp/comp.lisp (COMP-TRAN-1): Likewise. * interp/util.lisp (|string2SpadTree|): Likewise. * interp/bootlex.lisp (READBOOT): Remove. (READ-BOOT): Likewise. (spad): Don't initialize $BOOT. * interp/debug.lisp (/D-2): Likewise.
2008-07-07 * boot/initial-env.lisp: Export $InteractiveMode anddos-reis5-103/+4
string2BootTree. * boot/translator.boot (BOOTTOCL): Tidy. (BOOTTOCLC): Likewise. (BOOTTOCLLINES): Likewise. (BOOTTOCLCLINES): Likewise. (string2BootTree): Define. (translateToplevelExpression): Tidy. (translateToplevel): Handle atoms. Tidy. (shoePCompileTrees): Don't use bStreamPackageNull. * interp/boot-pkg.lisp: Import $interactiveMode and string2BootTree. * interp/util.lisp (string2BootTree): Remove. (OLD-BOOT::BOOT): Likewise. * interp/bootlex.lisp (boot): Likewise. (boot-parse-1): Likewise. * interp/compiler.boot (compileNot): Fix thinko. * interp/sys-globals.boot ($InteractiveMode): Don't define here.
2008-07-06 * interp/parse.boot ($normalizeTree): New.dos-reis4-19/+38
(parseNotEqual): Likewise. * interp/compiler.boot (compCompilerPredicate): New. (compileNot): Use it. * interp/define.boot (compSubDomain1): Likewise. (doItIf): Likewise. * interp/bootlex.lisp (boot): Set $nornamizeTree. * algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from layer 4 to here.
2008-07-06 * interp/parse.boot (parseTran): Don't set $op. Don't strip parsedos-reis1-63/+72
tree codes. (parseConstruct): Handle parse tree code. (parseUpArrow): Likewise. (parseLeftArrow): Likewise. (parseIs): Likewise. (parseIsnt): Likewise. (parseLET): Likewise. (parseLETD): Likewise. (parseColon): Likewise. (parseBigelt): Likewise. (parseCoerce): Likewise. (parseAtSign): Likewise. (parsePretend): Likewise. (parseHas): Likewise. (parseDEF): Likewise. (parseMDEF): Likewise. (parseCategory): Likewise. (parseGreaterThan): Likewise. (parseGreaterEqual): Likewise. (parseLessEqual): Likewise. (parseNotEqual): Likewise. (parseAnd): Likewise. (parseOr): Likewise. (parseEquivalence): Likewise. (parseImplies): Likewise. (parseExclusiveOr): Likewise. (parseExit): Likewise. (parseLeave): Likewise. (parseReturn): Likewise. (parseJoin): Likewise. (parseInBy): Likewise. (parseSegment): Likewise. (parseIn): Likewise. (parseIf): Likewise. (parseWhere): Likewise. (parseSeq): Likewise. (parseVCONS): Likewise.
2008-07-05 * interp/nruncomp.boot (NRTassocIndex): Document.dos-reis3-9/+15
(NRTgetLocalIndexClear): Remove. (NRTgetLocalIndex1): Lose second unused argument; move body to NRTgetLocalIndex. * interp/define.boot (doIt): Call NRTgetLocalIndex, not NRTgetLocalIndexClear. * interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
2008-07-04 * interp/compiler.boot (compFormMatch): Tidy.dos-reis8-23/+96
(getFormModemaps): Likewise. (compComma): New. * interp/c-util.boot (isTupleInstance): New. (isHomoegenousVarargSignature): Likewise. (enoughArguments): Likewise. (wantArgumentsAsTuple): Likewise. * interp/apply.boot (reshapeArgumentList): New. (compFormWithModemap): Use it.
2008-07-04 * interp/category.boot (isCategory): Document.dos-reis1-46/+71
(isCategoryForm): Likewise. Tidy. (mkCategory): Likewise.
2008-07-04 * interp/Makefile.pamphlet (OBJS): Don't include nruntime.$(FASLEXT).dos-reis8-80/+42
(nruntime.$(FASLEXT)): Remove rule. * interp/g-util.boot (getShellEntry): Move from interp/nruntime.boot. (setShellEntry): Likewise. * interp/i-util.boot (devaluateDeeply): Likewise. * interp/lisplib.boot (unloadOneConstructor): Likewise. * interp/nrungo.boot (lookupDisplay): Likewise. (isIntantiated): Likewise * interp/package.boot (isCategoryPackageName): Likewise. * interp/nruntime.boot: Remove.
2008-07-03 * interp/postpar.boot (postBootNotEqual): Register post-parsers bydos-reis1-33/+34
name, not by pointers.
2008-07-03 (compAndDefine): Capture by name, not pointer.dos-reis3-19/+26
(compQuietly): Likewise. (compileQuietly): Likewise. * interp/macros.lisp (PRINT-AND-EVAL-DEFUN): Move to sys-utility.boot. (EVAL-DEFUN): Likewise. (COMPILE-DEFUN): Likewise.
2008-07-02 (coerceExtraHard): Convert domain instantiations to domain objects.dos-reis1-8/+10
2008-07-02 * interp/compiler.boot (compExpression): Tidy.dos-reis1-2/+3
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis2-70/+43
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise.
2008-06-03 * interp/define.boot (compDefineCategory): Check that a categorydos-reis1-0/+5
was indeed abbreviated a category.
2008-05-30Fix typo in getConstructorKindFromDBBill Page1-1/+1
2008-05-29 Fix AW/421.dos-reis1-2/+8
* interp/i-spec2.boot (uphas): When compiling a function, don't bother evaluating type variables. * testsuite/interpreter/aw-412.input: Add.
2008-05-29 * interp/i-analy.boot (conceptualType): Only Mode, Domain, anddos-reis1-2/+2
Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29 * interp/interop.boot (newHasCategory): Category is a category, anddos-reis1-1/+1
all domains belong to Category.
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis1-1/+1
* testsuite/interpreter/show.input: New.
2008-05-24 * interp/i-coerce.boot (retract2Specialization): Leave if objectdos-reis1-0/+1
is an Expression, but not a fraction.
2008-05-24 * interp/define.boot (compDefineFunctor1): Robustify.dos-reis1-5/+3
* hyper/parse-types.c (htperror): Fix thinko.
2008-05-24 * interp/c-util.boot (stackAndThrow): Take an optional parameter.dos-reis3-12/+13
* interp/compiler.boot (compReturn): Robustify. (unknownTypeError): Likewise. * interp/info.boot (knownInfo): Likewise.
2008-05-23Fix breakage from last commits.dos-reis1-459/+459
2008-05-22Avoid numeric constants macros.dos-reis1-459/+459
2008-05-20(no commit message)dos-reis1-1/+2
2008-05-18 Fix AW/16dos-reis3-2/+8
* interp/i-analy.boot (isConceptualCategory): New. * interp/i-object.boot (getValueNormalForm): Use it. * testsuite/interpreter/aw-16.input: New.
2008-05-18 * interp/i-object.boot (wrapped2Quote): Reomve.dos-reis8-18/+45
(getValueNormalForm): New. * interp/i-code.boot (intCodeGenCOERCE): Use it. * interp/i-coerce.boot (coerceIntByMap): Likewise. * interp/i-eval.boot (getArgValue): Likewise. (getArgValue2): Likewise. * interp/i-funsel.boot (selectMms): Likewise. * interp/i-map.boot (rewriteMap): Likewise. * interp/i-spec2.boot (IFcodeTran): Likewise. (evalLET): Likewise. (upreturn): Likewise. * interp/g-cndata.boot (isConstructorName): New. * testsuite/interpreter/eval-dep-type.input: New.
2008-05-17 * interp/sys-constants.boot ($BuiltinAttributes): Rename fromdos-reis4-4/+4
*ATTRIBUTES*. * interp/as.boot (asyFindAttrs): Adjust use. * interp/daase.lisp (WRITE-COMPRESS): Likewise. * interp/g-cndata.boot (attribute?): Likewise.
2008-05-17 * interp/format.boot (form2String1): Handle PAREN.dos-reis3-6/+17
* interp/g-cndata.boot (condUnabbrev): Handle homogeneous varargs for constructors taking tuples. * interp/i-resolv.boot: Revolve domains and categories.
2008-05-17 * interp/compiler.boot (compSetq1): Use %Comma, not Tuple.dos-reis11-47/+43
(setqMultiple): Likewise. * interp/def.lisp (DEF-IS2): Likewise. * interp/define.boot (compAdd): Likewise. * interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise. * interp/fortcall.boot (lmultiToUnivariate): Likewise. (functionAndJacobian): Likewise. (vectorOfFunctions): Likewise. * interp/mark.boot (markMultipleExplicit): Likewise. (markInsertBodyParts): Likewise. * interp/nruncomp.boot (NRTaddDeltaCode): Likewise. * interp/nrunopt.boot (NRTextendsCategory1): Likewise. * interp/postpar.boot (postTransform): Likewise. (postTran): Likewise. (postPretend): Likewise. (postConstruct): Likewise. (postBlockItem): Likewise. (postCategory): Likewise. (postForm): Likewise. (postTransScripts): Likewise. (postJoin): Likewise. (postMapping): Likewise. (postCollect): Likewise. (postInSeq): Likewise. (postType): Likewise. (post%Comma): Rename from postTuple. (unComma): Rename from unTuple. (comma2Tuple): Remove. * interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple. * interp/wi1.boot (compSetq1): Likewise. (setqMultiple):Likewise. * boot/translator.boot (compileBootHandler): Give up if translation to Lisp contained errors. * testsuite/compiler/aw-420.spad: New.
2008-05-16 * interp/Makefile.pamphlet: Simplify.dos-reis2-962/+312
2008-05-16 * interp/lisplib.boot (leaveIfErrors): Take constructor namedos-reis2-5/+5
parameter. (finalizeLisplib): Adjust call. (compDefineLisplib): Likewise.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 15:34:56 +0000