Return to conrep.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / basics

Annotation of researchv10no/cmd/sml/src/basics/conrep.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* conrep.sml *)
        !             3: 
        !             4: structure ConRep = struct
        !             5: 
        !             6: local open Basics BasicTypes in
        !             7: 
        !             8: fun count predicate l
        !             9:   = let fun test (a::rest,acc) = test (rest,if predicate a then 1+acc else acc)
        !            10:          | test (nil,acc) = acc
        !            11:      in test (l,0)
        !            12:     end
        !            13: 
        !            14: fun boxed ([(_,false,_)]: (Symbol.symbol*bool*ty) list): conrep list = [TRANSPARENT]
        !            15:   | boxed predcons =
        !            16:       let val multiple = (count (fn (_,const,_) => not const) predcons) > 1
        !            17:          fun decide (i,j,(_,true,_)::rest) = CONSTANT i :: decide(i+1,j,rest)
        !            18:            | decide (i,j,(_,_,CONty(_,[argty,_]))::rest) =
        !            19:                (case (multiple,argty)
        !            20:                  of (false,CONty(ref(TYCON{kind=RECORDtyc(_::_::_), ...}),_)) =>
        !            21:                       TRANSPARENT :: decide(i,j,rest)
        !            22:                   | _ => TAGGED j :: decide(i,j+1,rest))
        !            23:            | decide (_,_,nil) = []
        !            24:            | decide _ = ErrorMsg.impossible "ConRep.boxed"
        !            25:        in decide(0,0,predcons)
        !            26:       end
        !            27: 
        !            28: end (* local *)
        !            29: 
        !            30: end (* structure ConRep *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.