and pp_patterns patterns =
sprintf "[%s]" (String.concat " | " (List.map pp_pattern patterns))
-and pp_capture_variable = function
+and pp_capture_variable =
+ let clean s =
+ let s = String.sub s 1 (String.length s - 1) in
+ String.sub s 0 (String.length s - 1)
+ in
+ function
| term, None -> pp_term term
- | term, Some typ -> "(" ^ pp_term term ^ ": " ^ pp_term typ ^ ")"
+ | term, Some typ -> "(" ^ clean (pp_term term) ^ ": " ^ pp_term typ ^ ")"
and pp_box_spec (kind, spacing, indent) =
let int_of_bool b = if b then 1 else 0 in