blob: 7a43ddff1cfc060f7ec2d6ec1d4ff46c195f2ed4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(* TEST
modules = "length.ml";
*)
(*
A testbed file for private type abbreviation definitions.
We test the Length module that implements positive integers.
*)
(* We can build a null length. *)
let l = Length.make 0;;
(* We cannot build a negative length. *)
try ignore (Length.make (-1)); assert false with
| Failure _ -> ()
;;
(* We can build a positive length. *)
let l3 = Length.make 3 in
(* and use the associated injection and projection functions. *)
Length.make (Length.from l3 + Length.from l3);;
|
