aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/i-spec2.boot7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/interp/i-spec2.boot b/src/interp/i-spec2.boot
index 794568e5..a82579b9 100644
--- a/src/interp/i-spec2.boot
+++ b/src/interp/i-spec2.boot
@@ -98,9 +98,10 @@ constantInDomain?(form,domainForm) ==
++ in the VAT `op'.
findConstantInDomain(op,c,type,d) ==
isPartialMode d => throwKeyedMsg("S2IS0020",NIL)
- if $genValue then
- val := wrap getConstantFromDomain([c],d)
- else val := ["getConstantFromDomain",["LIST",MKQ c],MKQ d]
+ val :=
+ $genValue => wrap getConstantFromDomain([c],d)
+ ["getConstantFromDomain",["LIST",MKQ c],MKQ d]
+ type := substitute(d,"$",type)
putValue(op,objNew(val,type))
putModeSet(op,[type])