diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-28 10:43:54 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-28 10:43:54 +0000 |
commit | 7b0b25d63ed483cc9ccd9525b5904feda65dc807 (patch) | |
tree | fd2d98a0ead1cd14865a6e065bcefb93775de970 /src/interp/i-coerce.boot.pamphlet | |
parent | 471d0186fa938e05f69b26dd209544de721de94d (diff) | |
download | open-axiom-7b0b25d63ed483cc9ccd9525b5904feda65dc807.tar.gz |
* Makefile.pamphlet (category.$(FASLEXT)): New rule.
(<<category.clisp>>): Remove.
* category.boot.pamphlet: Push into package "BOOT".
Replace ASSOC with assoc throughout.
(mkCategory): Fix syntax.
* i-coerce.boot.pamphlet (stripUnionTags): Move to g-util.boot.
(isTaggeUnion): Likewise.
(getUnionOrRecordTags): Likewise.
* i-util.boot.pamphlet (wrap): Move to i-object.boot.
(isWrapped): Likewise.
(unwrap): Likewise.
(wrapped2Quote): Likewise.
(quote2Wrapped): Likewise.
(removeQuote): Likewise.
(TruthP): Move to g-util.boot.
Diffstat (limited to 'src/interp/i-coerce.boot.pamphlet')
-rw-r--r-- | src/interp/i-coerce.boot.pamphlet | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/interp/i-coerce.boot.pamphlet b/src/interp/i-coerce.boot.pamphlet index a3bc0760..ff43961f 100644 --- a/src/interp/i-coerce.boot.pamphlet +++ b/src/interp/i-coerce.boot.pamphlet @@ -1034,19 +1034,6 @@ coerceIntAlgebraicConstant(object,t2) == objNewWrap(getConstantFromDomain('(Zero),t2),t2) NIL -stripUnionTags doms == - [if dom is [":",.,dom'] then dom' else dom for dom in doms] - -isTaggedUnion u == - u is ['Union,:tl] and tl and first tl is [":",.,.] and true - -getUnionOrRecordTags u == - tags := nil - if u is ['Union, :tl] or u is ['Record, :tl] then - for t in tl repeat - if t is [":",tag,.] then tags := cons(tag, tags) - tags - coerceUnion2Branch(object) == [.,:unionDoms] := objMode object doms := orderUnionEntries unionDoms |