Return to arrayext.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/util/arrayext.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* util/arrayext.sml *)
        !             3: 
        !             4: signature ARRAYEXT =
        !             5: sig
        !             6:   val copy : '1a array * int -> '1a array
        !             7:   val app : ('a -> 'b) * 'a array * int -> unit
        !             8:   val map : ('1a -> '1a) * '1a array * int -> '1a array
        !             9: end
        !            10: 
        !            11: structure ArrayExt : ARRAYEXT =
        !            12: struct
        !            13: 
        !            14:   (* copy -- was copyarray.  Used in EnvAccess and Parse *)
        !            15:   fun copy(a,n) =
        !            16:       (* assume n <= length a *)
        !            17:       let val new = array(n,a sub 0)
        !            18:          fun loop i = (update(new,i,a sub i); loop(i+1))
        !            19:        in loop 0
        !            20:          handle Subscript => new
        !            21:       end
        !            22: 
        !            23:   (* app -- was arrayapp.  Used in SigMatch and Parse *)
        !            24:   fun app (f,a,start) =  
        !            25:       let fun loop i = (f(a sub i); loop(i+1))
        !            26:        in loop start handle Subscript => ()
        !            27:       end
        !            28: 
        !            29:   (* map -- was arraymap.  Used in SigMatch, and somewhat specialized *)
        !            30:   fun map (f,a,start) =
        !            31:       let val b = array(Array.length a, a sub 0) handle Subscript => a
        !            32:          fun loop i = (update(b,i,f(a sub i)); loop(i+1))
        !            33:        in loop start handle Subscript => b
        !            34:       end
        !            35: 
        !            36: end

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