summaryrefslogtreecommitdiffstats
path: root/camlp4/test/fixtures/bug-camlp4o-benjamin-monate.ml
blob: 3cf59396543f239712124ffb81408c30f84bc8b7 (plain)
1
2
3
4
5
6
7
8
9
10
type t = A of t | B ;;
let f = function A A B -> B | B | A B | A (A _) -> B ;;


exception True
let qexists f q =
  try
    Queue.iter (fun v -> if f v then raise True) q;
    false
  with True -> true