Age | Commit message (Collapse) | Author | Files | Lines |
|
Rename getFunctionTemplate to matchSignatureInTemplate.
Rename lookupInheritedDefiningFunction to lookupRemoteDefiningFunction
as the function wasn't really about inherited operators. Have it
avoid returning functions that might need their domain domain to
operate correctly.
Simplify getOpCode: it only needs two arguments since the third was
the length of the second argument.
dbDefaultPackage? is no longer a macro.
|
|
A successful call to compiledLookup will come up with any of the form
that results from stuffSlot. Handle them here. Remove confused and
dead code.
|
|
Factor out candidatesForSlot.
|
|
Use a %CompilerData slot to hold the corresponding data during the
elaboration of a capsule.
|
|
And various cleanups.
|
|
The infrastructure put in place in the last few commits now enables
better indirect calls ('SPADCALL') to operations implemented in the
same capsule. The improvement here is that the limitation of
unconditional definition is removed. Now, even conditional
definitions are resolved as long as the its predicate and the
predicate of the current function match.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
contained generated code before handing over to backend.
* interp/c-util.boot (moveLibdirByCopy): The inferred destination
directory is not absolute.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* interp/define.boot (spadCompileOrSetq): Use it.
|
|
|
|
|
|
|
|
* interp/c-util.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/diagnostics.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-error.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
|
|
(bpTyped): Use it.
(bpThrow): Lilkewise.
(bpRegularBVItemTail): Likewise.
(bpAssignLHS): Likewise.
(bpStoreName): Do not reference $typings.
* boot/ast.boot (%Ast): Remove %Pretend variant.
(bfSignature): Rename from bfLocal. Build %Signature variant.
(bfLET1): Handle assignment to typed variable.
(shoeCompTran): Do not reference $typings.
(shoeCompTran1): Do not translate assignment to typed variables.
(bindFluidVars): Handle them here.
(bfTagged): Remove.
(bfTry): Tidy.
* boot/translator.boot (shoeOutParse): Do not reference $typings
and $returns.
* interp/c-util.boot (isAlmostSimple): Initialize $assignmentList.
|
|
are now builin.
* boot/ast.boot: Tidy.
* interp/c-util.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-utility.boot: Likewise.
* interp/sys-driver.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/lisp-backend.boot: Likewise.
|
|
(makeConstructor): Likewise.
(makeInitialDB): Tidy.
* interp/daase.lisp (makeDB): Take two more parameters. Build a
%Constructor structure object too.
|
|
(LAM,EVALANDFILEACTQ): Likewise.
* interp/sys-utility.boot (PRINT-AND-EVAL-DEFUN): Likewise.
* interp/slam.boot (reportFunctionCompilation): Tidy.
* interp/lisp-backend.boot (evalAndPrintBackendDecl): New.
* interp/c-util.boot (backendCompileSPADSLAM): Use it in lieu of
SETANDFILE.
(compAndDefine): Use evalAndPrintBackendDecl in lieu of
PRINT-AND-EVAL-DEFUN.
* interp/hypertex.boot: Clean up.
* interp/nhyper.boot: Likewise.
* interp/word.boot: Likewise.
|
|
longer optional. Adjust callers.
(LAM\,EVALANDFILEACTQ): Likewise.
* interp/slam.boot (compQuietly): Use printBackendDecl.
* interp/spad.lisp (SPAD): Likewise.
* interp/sys-utility.boot (PRINT-AND-EVAL-DEFUN): Likewise.
* interp/macros.lisp (SETANDFILE): Move to vmlisp.lisp.
* interp/lisp-backend.boot (printBackendStmt): New.
(evalAndPrintBackendStmt): Likewise.
(printBackendDecl): Likewise.
* interp/c-util.boot (registerFunctionReplacement): Use
evalAndPrintBackendStmt.
(registerRedexForm): Likewise.
(proclaimCapsuleFunction): Use printBackendStmt.
* interp/Makefile.in (lisp-backend.$(FASLEXT)): Require nlib.$(FASLEXT)
|
|
(CONVERSATION1): Likewise.
(MAKE-PARSE-FUNCTION): Likewise.
(MAKE-PARSE-FUNCTION1): Likewise.
(MAKE-PARSE-FUNC-FLATTEN): Likewise.
(MAKE-PARSE-FUNC-FLATTEN-1): Likewise.
(TRANSPGVAR): Likewise.
(GETRULEFUNLISTS): Likewise.
(REDUCTION-PRINT): Likewise.
(TRACEMETA): Likewise.
(TRMETA): Likewise.
(TRMETA1): Likewise.
(/MDEF): Likewise.
* interp/macros.lisp (EXPAND-TABS): Likewise.
* interp/spad.lisp (READ-SPAD): Likewise.
(READ-INPUT): Likewise.
(READ-SPAD0): Likewise.
(READ-SPAD1): Likewise.
(READ-SPAD-1): Likewise.
(New,ENTRY,1): Likewise.
(New,ENTRY,2): Likewise.
* interp/bootlex.lisp (SPAD_SYNTAX_ERROR): Move to debug.lisp.
(SPAD_LONG_ERROR): Likewise.
(SPAD_SHORT_ERROR): Likewise.
(SPAD_ERROR_LOC): Likewise.
* interp/c-util.boot (COMP370): Move to lisp-backend.boot.
(compQuietly): Move to slam.boot.
|
|
* interp/compiler.boot: Likewise.
* interp/database.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/format.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/monitor.lisp: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nlib.lisp: Likewise.
* interp/parsing.lisp: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/sfsfun.boot: Likewise.
* interp/util.lisp: Likewise.
|
|
(compHash): Simplify. Now take only 3 parameters.
* interp/c-util.boot (compileQuietly): Remove as unused.
* interp/sys-globals.boot ($clamList): Move to clam.boot.
* interp/define.boot (compileConstructor1): Call compHash in lieu
of compClam.
* share/doc/msgs/s2-us.msgs: Remove unused diagnostics, due to
compClam removal and compHash simplification.
|
|
clearConstructorCache here. Simplify.
(compileConstructor): Call clearConstructorCache here.
* interp/c-util.boot (backendCompile2): Do not test for membership
of $clamList.
* interp/clam.boot (compHash): Use compQuietly instead of
compileQuietly.
|