Annotation of researchv10no/cmd/sml/src/boot/overloads.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: structure Overloads = (* New Jersey Overloads *)
        !             3:   struct
        !             4:    local open Initial in
        !             5:     overload makestring : ('a -> string)
        !             6:          as Bool.makestring and Integer.makestring and Real.makestring
        !             7:     overload print : ('a -> unit)
        !             8:          as Bool.print and Integer.print and Real.print and String.print
        !             9:     overload ~ :   ('a -> 'a)        as Integer.~   and Real.~
        !            10:     overload + :   ('a * 'a -> 'a)   as Integer.+   and Real.+
        !            11:     overload - :   ('a * 'a -> 'a)   as Integer.-   and Real.-
        !            12:     overload * :   ('a * 'a -> 'a)   as Integer.*   and Real.*
        !            13:     overload < :   ('a * 'a -> bool) as Integer.<   and Real.<  and String.<
        !            14:     overload > :   ('a * 'a -> bool) as Integer.>   and Real.>  and String.>
        !            15:     overload <= :  ('a * 'a -> bool) as Integer.<=  and Real.<= and String.<=
        !            16:     overload >= :  ('a * 'a -> bool) as Integer.>=  and Real.>= and String.>=
        !            17:     overload abs : ('a -> 'a)        as Integer.abs and Real.abs
        !            18: 
        !            19:    end (* local open Initial *)
        !            20:   end (* structure Overloads *)

unix.superglobalmegacorp.com

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