Fix solver alias resolver for unresolved alias

Octachron · May 4, 2023 · 6e2de90 · 6e2de90
1 parent 6deefcb
commit 6e2de90
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lib/solver.ml b/lib/solver.ml
@@ -376,8 +376,8 @@ struct
       match Envt.resolve_alias path env with
       | Some x -> x
       | None ->
-        let name = Unitname.modulize (String.concat Filename.dir_sep path) in
-        { name; namespace = [] }
+        let top_unit = Unitname.modulize (List.hd path) in
+        { name=top_unit; namespace = [] }
 
   let blocker = Eval.block
 

diff --git a/tests/run.ml b/tests/run.ml
@@ -695,7 +695,7 @@ let result =
              "M2l"; "Modname"; "Unitname"; "Module"; "Mresult"; "Namespaced";
              "Option"; "Pp"; "Paths"; "Pkg"; "Read"; "Unit"; "Fault";
              "Standard_faults"; "Uloc"],
-            ["List";"Filename";"Map";"Format";"String"],[]);
+            ["List";"Map";"Format"],[]);
           "standard_faults.ml", (
             ["Fault"; "Format_tags"; "Module"; "Namespaced"; "Paths"; "Pp"
             ; "Pkg"; "Loc"; "Schematic"; "Uloc" ],