Return to unboxed.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/translate/unboxed.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: structure Unboxed : sig structure Basics : BASICS
        !             3:                        val unboxedAssign : Basics.ty -> Access.primop
        !             4:                        val unboxedUpdate : Basics.ty -> Access.primop
        !             5:                    end =
        !             6: struct
        !             7: 
        !             8:   structure Basics = Basics
        !             9:   open Access Prim Basics BasicTypes
        !            10:   val intStamp = TypesUtil.tycStamp(!intTycon)
        !            11:   fun alwaysunboxed ty =
        !            12:     case ty
        !            13:      of VARty(ref(INSTANTIATED t)) => alwaysunboxed t
        !            14:       | VARty _  => false
        !            15:       | CONty(ref(TYCON{kind=DATAtyc dcons,...}), _) =>
        !            16:            not(exists (fn (DATACON{rep=CONSTANT _,...})=>false 
        !            17:                         | _ => true)
        !            18:                       dcons) 
        !            19:       | CONty(ref tyc,_) => let val ans = TypesUtil.tycStamp tyc = intStamp
        !            20:                            in if !System.Control.debugging
        !            21:                               then  (print "tr: "; PrintType.printTycon tyc;
        !            22:                                      print "\n";
        !            23:                                      if ans then print "ans: true\n"
        !            24:                                             else print "ans: false\n")
        !            25:                               else ();
        !            26:                               ans
        !            27:                            end
        !            28:       | _ => false (* impossible ? *)
        !            29: 
        !            30:   fun unboxedAssign(CONty(_,[CONty(_,[_,VARty(ref(INSTANTIATED ty))]),_])) =
        !            31:         if alwaysunboxed ty then P.unboxedassign else P.:=
        !            32:     | unboxedAssign _ = P.:=
        !            33: 
        !            34:   fun unboxedUpdate(CONty(_,[CONty(_,[_,_,VARty(ref(INSTANTIATED ty))]),_]))=
        !            35:         if alwaysunboxed ty then P.unboxedupdate else P.update
        !            36:     | unboxedUpdate _ = P.update
        !            37:   
        !            38: end

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