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

a zut, j ai commis un bug 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Luc Maranget 2002-05-24 15:35:25 +00:00
parent 842eb76ef7
commit d008daf24e
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typing/parmatch.ml
View File

@ -955,11 +955,8 @@ let pretty_matrix pss =
pss ;
prerr_endline "end matrix"
let rec every_satisfiable pss qs = match pss with
| [] -> Used
| _ ->
match qs with
| [] -> Unused
let rec every_satisfiable pss qs = match qs with
| [] -> begin match pss with [] -> Used | _ -> Unused end
| {pat_desc = Tpat_or(q1,q2,_)}::qs ->
if not (satisfiable pss (omega_list (omega::qs))) then
Unused