aboutsummaryrefslogtreecommitdiff
path: root/src/interp/sys-constants.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-17 23:51:50 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-17 23:51:50 +0000
commitd68d655abaef0d14652e07608c633b1ff1feefda (patch)
tree21ac14c42a3537584d76376548bc3f9a7255b65d /src/interp/sys-constants.boot
parente5310ade6942ed3028e2f3cbae831a751aefba9e (diff)
downloadopen-axiom-d68d655abaef0d14652e07608c633b1ff1feefda.tar.gz
Fix AW/271
* interp/sys-constants.boot ($Field): New. * interp/i-coerce.boot (retract2Specialization): Ignore expressions whose types do no belong to Field.
Diffstat (limited to 'src/interp/sys-constants.boot')
-rw-r--r--src/interp/sys-constants.boot4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot
index f6c9ef10..f4468e15 100644
--- a/src/interp/sys-constants.boot
+++ b/src/interp/sys-constants.boot
@@ -331,6 +331,10 @@ $SideEffectFreeFunctionList ==
--% Types
+++ The Field category form
+$Field ==
+ '(Field)
+
++ The Void domain constructor form
$Void ==
'(Void)