Commit 94aec9e0 authored by Pietro Abate's avatar Pietro Abate
Browse files

Update sample module

parent d64f1fe7
......@@ -65,7 +65,6 @@ val single : t -> V.t
(* raise Not_found if empty.
raise Exit if empty and not singleton *)
val add : t -> t -> t
val mul : t -> t -> t
val sub : t -> t -> t
......
......@@ -55,9 +55,9 @@ let rec single memo t =
let memo = D.add t memo in
let pair (t1,t2) = Types.Pair (single memo t1, single memo t2) in
let xml (t1,t2) = Types.Xml (single memo t1, single memo t2) in
let int t = Types.Integer (Intervals.single (Types.Int.get t)) in
let atom t = Types.Atom (Atoms.single (Types.Atom.get t)) in
let char t = Types.Char (Chars.single (Types.Char.get t)) in
let int t = Types.Integer (Intervals.single (Types.BoolIntervals.leafconj (Types.Int.get t))) in
let atom t = Types.Atom (Atoms.single (Types.BoolAtoms.leafconj (Types.Atom.get t))) in
let char t = Types.Char (Chars.single (Types.BoolChars.leafconj (Types.Char.get t))) in
let fields = function
| (true,_) -> assert false
| (false,t) -> single memo t in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment