blob: 3beea60bf1cfa380aba0281c0b86618106086181 (
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
28
29
30
31
32
33
34
35
|
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2007 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(*
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);;
|
