Improve readibility of encoded identifiers.
@@ -129,7 +129,7 @@ let print_k_binary (c: k) : string = let buf = Buffer.create 16 in
| KItem (String(s)) -> print_kitem(KItem (KToken(SortString, "\"" ^ (k_string_escape s) ^ "\"")), [String s])
| KItem (Int(i)) -> print_kitem(KItem (KToken(SortInt, Z.to_string(i))), [Int i])
| KItem (Float(f,e,p)) -> print_kitem(KItem (KToken(SortFloat, precise_float_to_string(f,p,e))), [Float(f,e,p)])
- | KItem (Bottom) -> print_kitem(KApply(Lbl'0023'Bottom, []), interned_bottom)
+ | KItem (Bottom) -> print_kitem(KApply(Lbl'Hash'Bottom, []), interned_bottom)
| KItem (List(sort,lbl,l)) -> print_kitem(normalize (k_of_list lbl l), [List(sort,lbl,l)])
| KItem (Set(sort,lbl,s)) -> print_kitem(normalize (k_of_set lbl s), [Set(sort,lbl,s)])
| KItem (Map(sort,lbl,m)) -> print_kitem(normalize (k_of_map lbl m), [Map(sort,lbl,m)])
@@ -155,13 +155,13 @@ let print_k (c: k) : string = let buf = Buffer.create 16 in
| KItem (String(s)) -> print_kitem(KItem (KToken(SortString, "\"" ^ (k_string_escape s) ^ "\"")))
| KItem (Int(i)) -> print_kitem(KItem (KToken(SortInt, Z.to_string(i))))
| KItem (Float(f,e,p)) -> print_kitem(KItem (KToken(SortFloat, precise_float_to_string(f,p,e))))
- | KItem (Bottom) -> print_kitem(KApply(Lbl'0023'Bottom, []))
+ | KItem (Bottom) -> print_kitem(KApply(Lbl'Hash'Bottom, []))
| KItem (List(_,lbl,l)) -> print_kitem(normalize (k_of_list lbl l))
| KItem (Set(_,lbl,s)) -> print_kitem(normalize (k_of_set lbl s))
| KItem (Map(_,lbl,m)) -> print_kitem(normalize (k_of_map lbl m))
| KItem (Array(sort,a)) -> print_kitem(normalize (k_of_array sort a))
- | KItem (ThreadLocal) -> print_kitem(KApply(Lbl'0023'ThreadLocal, []))
- | KItem (Thread(k1, k2, k3, k4)) -> print_kitem(KApply(Lbl'0023'Thread, [k1; k2; k3; k4]))
+ | KItem (ThreadLocal) -> print_kitem(KApply(Lbl'Hash'ThreadLocal, []))
+ | KItem (Thread(k1, k2, k3, k4)) -> print_kitem(KApply(Lbl'Hash'Thread, [k1; k2; k3; k4]))
in print_k c; Buffer.contents buf
module Subst = Map.Make(String)
let print_subst (out: out_channel) (c: k Subst.t) : unit =
