Commit 1a166dae authored by MARCHE Claude's avatar MARCHE Claude

warning E enabled

parent 54d845ec
......@@ -59,8 +59,8 @@ OCAMLVERSION = @OCAMLVERSION@
#PSVIEWER = @PSVIEWER@
#PDFVIEWER = @PDFVIEWER@
BFLAGS = -w Aelz -dtypes -g -I src $(INCLUDES)
OFLAGS = -w Aelz -dtypes -I src $(INCLUDES)
BFLAGS = -w Ae -warn-error Z -dtypes -g -I src $(INCLUDES)
OFLAGS = -w Ae -warn-error Z -dtypes -I src $(INCLUDES)
# external libraries common to all binaries
......
......@@ -294,6 +294,9 @@ module Hsterm = Hashcons.Make (struct
| Tvar v1, Tvar v2 -> v1 == v2
| Tconst c1, Tconst c2 -> c1 = c2
| Tapp (s1, l1), Tapp (s2, l2) -> s1 == s2 && List.for_all2 (==) l1 l2
(* Claude: en voila un beau bug
j'espere que cela convaincra les developpeurs
de Why3 de compiler avec l'option -w Z !!! *)
| Tif (f1, t1, e1), Tif (f2, t2, e2) -> f1 == f2 && t1 == t2 && e2 == e2
| Tlet (t1, b1), Tlet (t2, b2) -> t1 == t2 && t_eq_bound b1 b2
| Tcase (tl1, bl1), Tcase (tl2, bl2) ->
......
......@@ -109,7 +109,7 @@ let ty_map fn ty = match ty.ty_node with
let ty_fold fn acc ty = match ty.ty_node with
| Tyvar _ -> acc
| Tyapp (f, tl) -> List.fold_left fn acc tl
| Tyapp (_, tl) -> List.fold_left fn acc tl
let ty_all pr ty =
try ty_fold (all_fn pr) true ty with FoldSkip -> false
......
......@@ -87,7 +87,7 @@ let lparen fmt () = fprintf fmt "("
let rparen fmt () = fprintf fmt ")"
let lchevron fmt () = fprintf fmt "<"
let rchevron fmt () = fprintf fmt ">"
let nothing fmt _ = ()
let nothing _fmt _ = ()
let string fmt s = fprintf fmt "%s" s
let constant_string s fmt () = string fmt s
let add_flush sep fmt x = sep fmt x; pp_print_flush fmt ()
......
......@@ -42,7 +42,7 @@ let list_all2 pr l1 l2 =
let map_join_left map join = function
| x :: xl -> List.fold_left (fun acc x -> join acc (map x)) (map x) xl
| xl -> raise (Failure "map_join_left")
| _ -> raise (Failure "map_join_left")
(* boolean fold accumulators *)
......
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