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/trunk/src/system/Init/pre-perv.sml
ViewVC logotype

View of /sml/trunk/src/system/Init/pre-perv.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 430 - (download) (annotate)
Wed Sep 8 09:47:00 1999 UTC (20 years, 11 months ago) by monnier
File size: 543 byte(s)
This commit was generated by cvs2svn to compensate for changes in r429,
which included commits to RCS files with non-trunk default branches.
(* (C) 1999 Lucent Technologies, Bell Laboratories *)


structure PrePervasive = struct

    exception Span

    datatype order = LESS | EQUAL | GREATER

    datatype option = datatype Assembly.option

    exception Option

    fun getOpt (SOME x, y) = x
      | getOpt (NONE, y) = y

    fun isSome (SOME _) = PrimTypes.true
      | isSome NONE = PrimTypes.false

    fun valOf (SOME x) = x
      | valOf NONE = raise Option

    val op = : ''a * ''a -> PrimTypes.bool = InlineT.=
    val op <> : ''a * ''a -> PrimTypes.bool = InlineT.<>
end

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