diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-13 06:22:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-13 06:22:18 +0000 |
commit | c5659a8580de5b531891c6703465c84add9fbb1b (patch) | |
tree | 60966651b64626e365cd158a89cd41a9028ea8a9 /src/interp/i-eval.boot | |
parent | 3c748c0ab1f5119528ae3ae41cc144371b1b375c (diff) | |
download | open-axiom-c5659a8580de5b531891c6703465c84add9fbb1b.tar.gz |
Various cleanups.
Diffstat (limited to 'src/interp/i-eval.boot')
-rw-r--r-- | src/interp/i-eval.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-eval.boot b/src/interp/i-eval.boot index 156caec9..6d31ceb8 100644 --- a/src/interp/i-eval.boot +++ b/src/interp/i-eval.boot @@ -55,7 +55,7 @@ mkEvalable form == op="Mapping"=> mkEvalableMapping form op="Enumeration" => form loadIfNecessary op - kind:= GETDATABASE(op,'CONSTRUCTORKIND) + kind:= getConstructorKindFromDB op cosig := GETDATABASE(op, 'COSIG) => [op,:[val for x in argl for typeFlag in rest cosig]] where val() == typeFlag => @@ -182,7 +182,7 @@ evaluateType1 (form is [op,:argl]) == evalCategory(x' := (evaluateType x), m) => x' throwEvalTypeMsg("S2IE0004",[form]) m := evaluateType m - GETDATABASE(opOf m,'CONSTRUCTORKIND) = 'domain and + getConstructorKindFromDB opOf m = "domain" and (tree := mkAtree x) and putTarget(tree,m) and ((bottomUp tree) is [m1]) => [zt,:zv]:= z1:= getAndEvalConstructorArgument tree (v' := coerceOrRetract(z1,m)) => objValUnwrap v' |