SCM Repository
[smlnj] / sml / trunk / src / system / Basis / Implementation / option.sml |
Diff of /sml/trunk/src/system/Basis/Implementation/option.sml
Parent Directory
|
Revision Log
|
Patch
revision 1478, Wed Apr 21 22:46:05 2004 UTC | revision 1479, Thu Apr 22 21:37:35 2004 UTC | |
---|---|---|
# | Line 7 | Line 7 |
7 | struct | struct |
8 | open Assembly (* for type 'a option *) | open Assembly (* for type 'a option *) |
9 | ||
10 | exception Option | exception Option = Option |
11 | ||
12 | fun getOpt (SOME x, y) = x | fun getOpt (SOME x, y) = x |
13 | | getOpt (NONE, y) = y | | getOpt (NONE, y) = y |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |