From ad0b6d412312967a6604a763368ce1bcd977bc75 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 21 Feb 2012 08:47:58 +0000 Subject: [PATCH 1/1] Fix matching on true/false identifier (for boolean literals). --- lib/whenutils.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/whenutils.ml b/lib/whenutils.ml index 362f4f6..643da7d 100644 --- a/lib/whenutils.ml +++ b/lib/whenutils.ml @@ -132,8 +132,8 @@ let rec expr_of_ast _loc ast = expr_of_iexpr _loc (iexpr_of_ast _loc ast) and iexpr_of_ast _loc = function - | ExId (_, IdLid (_, "true")) -> IExpr_bool true - | ExId (_, IdLid (_, "false")) -> IExpr_bool false + | ExId (_, IdUid (_, "True")) -> IExpr_bool true + | ExId (_, IdUid (_, "False")) -> IExpr_bool false | ExStr (_, str) -> IExpr_str str | ExInt (_, i) -> IExpr_int (big_int_of_string i) (* XXX too large? *) | ExFlo (_, f) -> IExpr_float (float_of_string f) -- 1.8.3.1