diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 01:59:56 +0000 |
commit | 663089e7f95f4901a46939ef34c60982dd5aadda (patch) | |
tree | 591d333d98a1eaf5b3c22d57e75ece8c56f9619b /src/interp/i-eval.boot | |
parent | c5659a8580de5b531891c6703465c84add9fbb1b (diff) | |
download | open-axiom-663089e7f95f4901a46939ef34c60982dd5aadda.tar.gz |
Various cleanups.
Diffstat (limited to 'src/interp/i-eval.boot')
-rw-r--r-- | src/interp/i-eval.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-eval.boot b/src/interp/i-eval.boot index 6d31ceb8..6fc95c1f 100644 --- a/src/interp/i-eval.boot +++ b/src/interp/i-eval.boot @@ -56,10 +56,10 @@ mkEvalable form == op="Enumeration" => form loadIfNecessary op kind:= getConstructorKindFromDB op - cosig := GETDATABASE(op, 'COSIG) => + cosig := getDualSignatureFromDB op => [op,:[val for x in argl for typeFlag in rest cosig]] where val() == typeFlag => - kind = 'category => MKQ x + kind = "category" => MKQ x VECP x => MKQ x loadIfNecessary x mkEvalable x @@ -170,7 +170,7 @@ evaluateFormAsType form == ++ evaluates the arguments passed to the constructor `op'. ++ Note: only constructor instantiations go here. evaluateType1 (form is [op,:argl]) == - null (sig := getConstructorSignature form) => + null (sig := getConstructorSignature op) => throwEvalTypeMsg("S2IE0005",[form]) [.,:ml] := sig ml := replaceSharps(ml,form) |