let pp_literal =
if debug_printing then
(function (* debugging version *)
- | `Symbol s -> sprintf "symbol(%s)" s
- | `Keyword s -> sprintf "keyword(%s)" s
- | `Number s -> sprintf "number(%s)" s)
- else
- (function
- | `Symbol s
- | `Keyword s
- | `Number s -> s)
+ | `Symbol _ as t ->
+ sprintf "symbol(%s)" (NotationUtil.string_of_literal t)
+ | `Keyword _ as t ->
+ sprintf "keyword(%s)" (NotationUtil.string_of_literal t)
+ | `Number _ as t -> sprintf "number(%s)" (NotationUtil.string_of_literal t))
+ else NotationUtil.string_of_literal
let pp_pos =
function
| true, Ast.Ident _ -> t_pp
| _ -> sprintf "(%s)" t_pp
-and pp_subst status (name, term) =
- sprintf "%s \\Assign %s" name (pp_term status term)
-and pp_substs status substs = String.concat "; " (List.map (pp_subst status) substs)
-
and pp_pattern status =
function
Ast.Pattern (head, href, vars), term ->
| Env.OptValue (Some v) -> "Some " ^ pp_value status v
| Env.OptValue None -> "None"
| Env.ListValue l -> sprintf "[%s]" (String.concat "; " (List.map (pp_value status) l))
- | Env.LocValue l -> sprintf "#"
+ | Env.DisambiguationValue _ -> sprintf "#"
let rec pp_value_type =
function