Merge pull request #1486 from actonlang/1476-fix-except-unaliasing

Added forgotten unaliasing of class names in 'except'.
actonlang · Sep 12, 2023 · 62ff067 · 62ff067
2 parents 200bc53 + 1d541aa
commit 62ff067
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/Acton/Types.hs b/compiler/Acton/Types.hs
@@ -1015,9 +1015,9 @@ instance InfEnv Handler where
 instance InfEnv Except where
     infEnv env (ExceptAll l)            = return ([], [], ExceptAll l)
     infEnv env (Except l x)             = return ([Cast t tException], [], Except l x)
-      where t                           = tCon (TC x [])
+      where t                           = tCon (TC (unalias env x) [])
     infEnv env (ExceptAs l x n)         = return ([Cast t tException], [(n, NVar t)], ExceptAs l x n)
-      where t                           = tCon (TC x [])
+      where t                           = tCon (TC (unalias env x) [])
 
 instance Infer Expr where
     infer env x@(Var l n)               = case findQName n env of