diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-24 03:14:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-24 03:14:35 +0000 |
commit | 7eca3ee736c49024a85ad00ff9b0a912d640380c (patch) | |
tree | 3ac6fb675cb2efbf8c4a62dfa9ca069de6aeb234 /src/interp/compiler.boot | |
parent | 155d5c8bf8562bc3797535df1cbb89f7dcb5c03d (diff) | |
download | open-axiom-7eca3ee736c49024a85ad00ff9b0a912d640380c.tar.gz |
some cleanups
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index f9e4256f..ea2becbf 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1711,7 +1711,7 @@ coerceExtraHard(T is [x,m',e],m) == -- FIXME: really, we shouldn't. Codes relying on this are -- FIXME: inherently difficult to comprehend and likely broken. T' := autoCoerceByModemap(T,m) => T' - m' is ['Record,:.] and m = $Expression => + m' is ['Record,:.] and m = $OutputForm => [['coerceRe2E,x,['ELT,COPY m',0]],m,e] -- Domain instantiations are first class objects m = $Domain => |