From 7b0b25d63ed483cc9ccd9525b5904feda65dc807 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 28 Oct 2007 10:43:54 +0000 Subject: * Makefile.pamphlet (category.$(FASLEXT)): New rule. (<>): 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. --- src/interp/i-coerce.boot.pamphlet | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'src/interp/i-coerce.boot.pamphlet') 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 -- cgit v1.2.3