From 1d541aa148c631f735b14b88ebcb2f31d3151107 Mon Sep 17 00:00:00 2001 From: Johan Nordlander Date: Tue, 12 Sep 2023 08:22:36 +0200 Subject: [PATCH] added forgotten unaliasing of class names in 'except'. --- compiler/Acton/Types.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/Acton/Types.hs b/compiler/Acton/Types.hs index d8b1b3619..5e2495b3a 100644 --- 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