Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

sets est dans Moretest. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1995-12-22 10:54:16 +00:00
parent e72d0c3bf1
commit 8a10c09976
1 changed files with 0 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
test/sets.ml
View File

@ -1,38 +0,0 @@
(***********************************************************************)
(* *)
(* Caml Special Light *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1995 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id$ *)
module IntSet = Set.Make(struct type t = int let compare x y = x-y end)
let even = List.fold_right IntSet.add [0; -2; 2; 4; 6; -10] IntSet.empty
let odd = List.fold_right IntSet.add [9; -7; 5; 1; -3] IntSet.empty
let _ =
for i = -10 to 10 do
Printf.printf "%d %b %b\n" i (IntSet.mem i even) (IntSet.mem i odd)
done
module PowerSet(BaseSet: Set.S)
(SetOrd: functor(S: Set.S) -> Set.OrderedType) =
Set.Make(SetOrd(BaseSet))
module IntSetSet = PowerSet(IntSet)(functor (S: Set.S) -> S)
let setofset = List.fold_right IntSetSet.add [even; odd] IntSetSet.empty
let _ =
List.iter
(fun s -> Printf.printf "%b\n" (IntSetSet.mem s setofset))
[IntSet.empty; even; odd; IntSet.union even odd]
let _ = exit 0