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

SCM Repository

[smlnj] Diff of /sml/trunk/src/system/Basis/Implementation/option.sml
ViewVC logotype

Diff of /sml/trunk/src/system/Basis/Implementation/option.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1061, Tue Feb 12 22:21:13 2002 UTC revision 1062, Wed Feb 13 21:15:14 2002 UTC
# Line 19  Line 19 
19      fun filter pred x = if (pred x) then SOME x else NONE      fun filter pred x = if (pred x) then SOME x else NONE
20      fun join (SOME opt) = opt      fun join (SOME opt) = opt
21        | join NONE = NONE        | join NONE = NONE
22        fun app f (SOME x) = f x
23          | app f NONE = ()
24      fun map f (SOME x) = SOME(f x)      fun map f (SOME x) = SOME(f x)
25        | map f NONE = NONE        | map f NONE = NONE
26      fun mapPartial f (SOME x) = f x      fun mapPartial f (SOME x) = f x

Legend:
Removed from v.1061  
changed lines
  Added in v.1062

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