Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/branches/FLINT/src/compiler/PervEnv/overloads.sml
ViewVC logotype

View of /sml/branches/FLINT/src/compiler/PervEnv/overloads.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 18 - (download) (annotate)
Wed Mar 11 21:00:18 1998 UTC (22 years, 7 months ago)
File size: 1883 byte(s)
This commit was manufactured by cvs2svn to create branch 'FLINT'.
(* overloads.sml
 *
 * Copyright (c) 1989 by AT&T Bell Laboratories 
 *
 * Top-level bindings and overloadings.
 *)

type int = Int.int
type real = Real.real
type string = String.string
type substring = Substring.substring

val floor = Real.floor
val size = String.size
val op ^ = String.^
val substring = String.substring
val concat = String.concat

overload ~ :   ('a -> 'a)        as Int.~   and Real.~
overload + :   ('a * 'a -> 'a)
  as Int.+ and LargeInt.+
 and Real.+
 (*and Word32.+ *)
overload - :   ('a * 'a -> 'a)
  as Int.- and LargeInt.-
 and Real.-
 (*and Word32.- *)
overload * :   ('a * 'a -> 'a)
  as Int.* and LargeInt.*
 and Real.*
overload div : ('a * 'a -> 'a)   as Int.div
overload / :   ('a * 'a -> 'a)   as Real./
overload < :   ('a * 'a -> bool)
  as Int.< and LargeInt.<
 and Real.<
 (*and Word32.< *)
 and String.<
overload <= :   ('a * 'a -> bool)
  as Int.<= and LargeInt.<=
 and Real.<=
 (*and Word32.<= *)
 and String.<=
overload > :   ('a * 'a -> bool)
  as Int.> and LargeInt.>
 and Real.>
 (*and Word32.> *)
 and String.>
overload >= :   ('a * 'a -> bool)
  as Int.>= and LargeInt.>=
 and Real.>=
 (*and Word32.>= *)
 and String.>=

(*
 * $Log: overloads.sml,v $
 * Revision 1.5  1998/02/10 21:10:12  jhr
 *   Changes in the way that syntatic extensions (overload, lazy and quotation)
 *   are controlled.
 *
 * Revision 1.4  1997/08/26 19:25:28  jhr
 *   Keyword clean-up: abstraction is gone; overload is _overload; lazy is _lazy.
 *
 * Revision 1.3  1997/07/31  17:24:58  jhr
 *   We are now using 32-bit ints to represent the seconds portion of a
 *   time value.  This was required to handle the change in the type of
 *   Time.{to,from}{Seconds,Milliseconds,Microseconds}.
 *
 * Revision 1.2  1997/05/29  14:44:23  jhr
 *   SML'97 Basis Library changes (phase 1)
 *
 * Revision 1.1.1.1  1997/01/14  01:38:15  george
 *   Version 109.24
 *
 *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0