diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/Print.ml b/src/Print.ml index fedc4122..8df3001f 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -11,13 +11,7 @@ module M = Modules let option_to_string (to_string : 'a -> string) (x : 'a option) : string = match x with Some x -> "Some (" ^ to_string x ^ ")" | None -> "None" -let path_elem_to_string (pe : path_elem) : string = - match pe with - | Ident s -> s - | Disambiguator d -> "{" ^ Disambiguator.to_string d ^ "}" - -let name_to_string (name : name) : string = - String.concat "::" (List.map path_elem_to_string name) +let name_to_string (name : name) : string = Names.name_to_string name let fun_name_to_string (name : fun_name) : string = name_to_string name |