set namekind

src/Juvix/Compiler/Concrete/Print/Base.hs

@@ -406,6 +406,7 @@ instance SingI t => PrettyPrint (ModuleRef'' 'S.NotConcrete t) where
 instance PrettyPrint (ModuleRef'' 'S.Concrete t) where
   ppCode m = ppCode (m ^. moduleRefName)
 
+-- FIXME this is wrong
 instance PrettyPrint ScopedIden where
   ppCode = ppCode . (^. scopedIden)
 

src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs

@@ -545,8 +545,10 @@ entryToScopedIden ::
   PreSymbolEntry ->
   Sem r ScopedIden
 entryToScopedIden name e = do
-  let scopedName :: S.Name
-      scopedName = set S.nameConcrete name (e ^. preSymbolName)
+  let helper :: S.Name' x -> S.Name
+      helper = set S.nameConcrete name
+      scopedName :: S.Name
+      scopedName = helper (e ^. preSymbolName)
   si <- case e of
     PreSymbolFinal {} ->
       return
@@ -558,10 +560,10 @@ entryToScopedIden name e = do
       e' <- normalizePreSymbolEntry e
       return
         ScopedIden
-          { _scopedIdenAlias = Just scopedName,
-            _scopedIden = set S.nameConcrete name (e' ^. symbolEntry)
+          { _scopedIdenAlias = Just (set S.nameKind (getNameKind e') scopedName),
+            _scopedIden = helper (e' ^. symbolEntry)
           }
-  registerName scopedName
+  registerName (si ^. scopedIdenName)
   return si
 
 -- | We gather all symbols which have been defined or marked to be public in the given scope.

tests/positive/Alias.juvix

@@ -1,11 +1,13 @@
 module Alias;
 
-module M;
-  axiom T : Type; -- line 4
-  syntax alias A := T; -- line 5
-end;
-syntax alias A := M.T; -- line 7
-open M;
-axiom K : A; -- line 9
+syntax alias Boolean := Bool;
+syntax alias ⊥ := false;
+syntax alias ⊤ := true;
 
-end;
+type Bool :=
+  | false
+  | true;
+
+not : Boolean -> Boolean
+  | ⊥ := ⊤
+  | ⊤ := ⊥;