diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-14 12:17:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-14 12:17:21 +0000 |
commit | 4a4b92d282fbe89881b469ed0a8ac25bf33cad05 (patch) | |
tree | d730a25c62f6cddf337d4dedf55de6002ebb73da /src/interp/g-opt.boot | |
parent | ef3e16960ee4d9d1c02c1f63a7f8125a489d1373 (diff) | |
download | open-axiom-4a4b92d282fbe89881b469ed0a8ac25bf33cad05.tar.gz |
* interp/compiler.boot (compSymbol): Don't handle possible
case views here.
(hasUniqueCaseView): Rename from getUniqueCaseView. Take the
target mode as second argument.
(compForm2): Use calling convention vector to determine infer flag
parameter types.
(compCase1): Uniformly handle `case-expressions'. Call
genDeltaEntry for selected operator.
(coerceExtraHard): Handle coercions from UnionType domains.
(autoCoerceByModemap): Tidy.
* interp/g-opt.boot (optCall): Be more verbose in diagnostics.
* algebra/syntax.spad (Syntax): Rework.
* algebra/coerce.spad.pamphlet (UnionType): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0):
Include UTYPE.o
* share/algebra: Update databases.
Diffstat (limited to 'src/interp/g-opt.boot')
-rw-r--r-- | src/interp/g-opt.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index 2c13097d..a1b91344 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -158,7 +158,7 @@ optCall (x is ["call",:u]) == if $QuickCode then RPLACA(fn,"QREFELT") RPLAC(rest x,[:a,fn]) x - systemErrorHere '"optCall" + systemErrorHere ['"optCall with", :bright x] optCallSpecially(q,x,n,R) == y:= LASSOC(R,$specialCaseKeyList) => optSpecialCall(x,y,n) |