Commit fb31f5f4 authored by Pietro Abate's avatar Pietro Abate
Browse files

Use builtin Pattern printer

parent 2f556db9
......@@ -99,11 +99,12 @@ and pp_branch ppf brs =
and pp_node ppf node =
Format.fprintf ppf "id:%d; descr:[%a]; accept:[id:%d; descr:%a]; fv:[%a]"
pp_descr node.Patterns.descr
Patterns.print node.Patterns.descr
( node.Patterns.accept)
Types.Print.print (Types.descr node.Patterns.accept)
pp_fv node.Patterns.fv
and pp_descr ppf (t, fv, d) =
Format.fprintf ppf "%a; [%a]; %a"
Types.Print.print t
......@@ -127,6 +128,8 @@ and pp_pattern ppf = function
pp_const ct
| Patterns.Dummy -> Format.fprintf ppf "Dummy"
and pp_fv ppf fv =
let f ppf (id, name) =
Format.fprintf ppf "(%d, %s)" ( id) (Encodings.Utf8.to_string name)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment