Start updating the name type, cleanup the names and the module abbrevs

1 files changed, 10 insertions, 3 deletions

diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index a54ab604..db942ff0 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -4,14 +4,21 @@
     TODO: there misses trait **implementations**
  *)
 
-open Names
 open Config
+open Types
 
 type simple_name = string list [@@deriving show, ord]
 
+(* TODO: update *)
 let name_to_simple_name (s : name) : simple_name =
-  (* We simply ignore the disambiguators *)
-  List.filter_map (function Ident id -> Some id | Disambiguator _ -> None) s
+  (* We simply ignore the disambiguators - TODO: update *)
+  List.map
+    (function
+      | PeIdent (id, _) -> id
+      | PeImpl i ->
+          (* TODO *)
+          show_impl_elem i)
+    s
 
 (** Small helper which cuts a string at the occurrences of "::" *)
 let string_to_simple_name (s : string) : simple_name =