From ae3c1353436cf7ee38dda67f742ab3a5dd745324 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 18 May 2008 16:13:09 +0000 Subject: [PATCH] Allow '_' to be used to ignore more types of bitstring when matching. --- pa_bitmatch.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pa_bitmatch.ml b/pa_bitmatch.ml index d5945e0..9a25da8 100644 --- a/pa_bitmatch.ml +++ b/pa_bitmatch.ml @@ -657,6 +657,7 @@ let output_bitmatch _loc bs cases = let ident = match fpatt with | <:patt< $lid:ident$ >> -> ident + | <:patt< _ >> -> "_" | _ -> Loc.raise _loc (Failure "cannot compare a bitstring to a constant") in @@ -676,6 +677,7 @@ let output_bitmatch _loc bs cases = let ident = match fpatt with | <:patt< $lid:ident$ >> -> ident + | <:patt< _ >> -> "_" | _ -> Loc.raise _loc (Failure "cannot compare a bitstring to a constant") in -- 1.8.3.1