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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/system/Init/pre-perv.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 430 - (view) (download)

1 : monnier 416 (* (C) 1999 Lucent Technologies, Bell Laboratories *)
2 :    
3 :    
4 :     structure PrePervasive = struct
5 :    
6 :     exception Span
7 :    
8 :     datatype order = LESS | EQUAL | GREATER
9 :    
10 :     datatype option = datatype Assembly.option
11 :    
12 :     exception Option
13 :    
14 :     fun getOpt (SOME x, y) = x
15 :     | getOpt (NONE, y) = y
16 :    
17 : monnier 429 fun isSome (SOME _) = PrimTypes.true
18 :     | isSome NONE = PrimTypes.false
19 : monnier 416
20 :     fun valOf (SOME x) = x
21 :     | valOf NONE = raise Option
22 :    
23 : monnier 429 val op = : ''a * ''a -> PrimTypes.bool = InlineT.=
24 :     val op <> : ''a * ''a -> PrimTypes.bool = InlineT.<>
25 : monnier 416 end

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