diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-11 17:27:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-11 17:27:33 +0000 |
commit | 8ecbf7e6da63799ae070e1b81a048a7b7790000f (patch) | |
tree | 85d031aba9ccbc72af13f53c9cb6aa61a9bf16f0 /src/interp/i-coerce.boot | |
parent | f14f1018fb9d94d4bff48e1475978b0a9deec0d1 (diff) | |
download | open-axiom-8ecbf7e6da63799ae070e1b81a048a7b7790000f.tar.gz |
* interp/compiler.boot (canReturn): Don't check for LET*.
* interp/g-opt.boot (optLET*): Remove as we now generate only
%bind forms.
Diffstat (limited to 'src/interp/i-coerce.boot')
-rw-r--r-- | src/interp/i-coerce.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot index a891b567..b20c951f 100644 --- a/src/interp/i-coerce.boot +++ b/src/interp/i-coerce.boot @@ -966,7 +966,7 @@ coerceIntAlgebraicConstant(object,t2) == ++ returns true if `val' belongs to the Union branch guarded by `pred'. thisUnionBranch?: (%Code,%Thing) -> %Boolean thisUnionBranch?(pred,val) == - eval ["LET",[["#1",MKQ val]],pred] + eval ['%bind,[["#1",MKQ val]],pred] coerceUnion2Branch(object) == [.,:doms] := objMode object |