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 /tests/trunk/bugs/tests.post-110.63/bug154/globals.sml
ViewVC logotype

Annotation of /tests/trunk/bugs/tests.post-110.63/bug154/globals.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2463 - (view) (download)

1 : gkuan 2463 (* ------------------------ globals.sml: ---------------------- *)
2 :     signature GLOBALS =
3 :     sig
4 :     val member: ''a -> ''a list -> bool
5 :     end
6 :    
7 :     functor GlobalsFun() : GLOBALS =
8 :     struct
9 :     fun member x [] = false
10 :     | member x (y::l) = (x=y) orelse (member x l)
11 :     end
12 :    

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