Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
data structure directtly.
|
|
instantiation form when adding modemaps from category.
(partialSignature?): New.
(refineDefinitionSignature): Use full completion from getSignature.
* interp/compiler.boot (compIterator): Simplify.
|
|
(getDollarName): Likewise.
(getSignature): Them. Tidy.
(setDollarName): New.
(compDefineFunctor1): Use it.
|
|
|
|
|
|
|
|
* interp/define.boot (dbClearForCompilation!): Clear more fields.
|
|
|
|
|
|
|
|
|
|
(compDefineFunctor1): Use it.
|
|
|
|
(optRetract): Use it.
(optPullback): Likewise.
|
|
shadowing.
* algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]:
Lose last parameter. Adjust callers.
|
|
* interp/define.boot (spadCompileOrSetq): Use it.
|
|
|
|
for BasicType satisfaction instead of existence of =.
|