Return to overloads.sml CVS log

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

Annotation of researchv10no/cmd/sml/src/boot/overloads.sml, revision 1.1.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 *)

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