Return to dynamic.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/util/dynamic.sml, revision 1.1.1.1

1.1       root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
                      2: signature STATIC_ARRAY = sig type array
                      3:                             exception Subscript
                      4:                             type elem
                      5:                             val array : int * elem -> array
                      6:                             val sub : array * int -> elem
                      7:                             val update : (array * int * elem) -> unit
                      8:                             val length : array -> int
                      9:                         end
                     10: 
                     11: signature DYNAMIC_ARRAY = sig type array 
                     12:                              exception Subscript 
                     13:                              type elem 
                     14:                              val array : elem -> array
                     15:                              val sub : array * int -> elem
                     16:                              val update : (array * int * elem) -> unit
                     17:                          end
                     18: 
                     19: functor Dynamic( A : STATIC_ARRAY ) : DYNAMIC_ARRAY =
                     20: struct
                     21:      type array = {default: A.elem, arr: A.array ref}
                     22:      type elem = A.elem
                     23:      exception Subscript
                     24:      fun array e = {default=e, arr= ref(A.array(0,e))};
                     25:      fun {default, arr as ref a} sub i = 
                     26:        A.sub(a,i)
                     27:        handle A.Subscript =>
                     28:            if i < 0 then raise Subscript
                     29:            else default
                     30:      fun update ({default,arr as ref a}, i, e) =
                     31:        A.update(a,i,e)
                     32:        handle A.Subscript =>
                     33:        if i<0 then raise Subscript
                     34:        else
                     35:        let val size = A.length a
                     36:           val newsize = i + size + 1
                     37:           val a2 = A.array(newsize, default)
                     38:           fun copy j = (A.update(a2,j,A.sub(a,j)); copy(j-1))
                     39:        in (copy (size - 1) handle A.Subscript => ());
                     40:          arr := a2;
                     41:          A.update(a2,i,e)                      
                     42:        end
                     43: 
                     44: end
                     45: 
                     46: 

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