From 8d7c3cf006b2f73c91524ea2242448278713f0f9 Mon Sep 17 00:00:00 2001 From: Johan Nordlander Date: Tue, 22 Aug 2023 17:04:35 +0200 Subject: [PATCH] Added the missing typeargs. They were always missing, commit 1447 just exposed the error. --- compiler/Acton/Deactorizer.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/Acton/Deactorizer.hs b/compiler/Acton/Deactorizer.hs index 147aa1e48..dcb9c1b6e 100644 --- a/compiler/Acton/Deactorizer.hs +++ b/compiler/Acton/Deactorizer.hs @@ -170,7 +170,7 @@ instance Deact Decl where wrap n q p t = Decl l0 [Def l0 n q (addSelfPar p) KwdNIL (Just t) [ret] NoDec fxAction] where ret = sReturn $ eCall (tApp (eQVar primASYNCf) [t]) [self,lam] - lam = Lambda l0 PosNIL KwdNIL (eCallP (eDot self $ localName n) (pArg p)) fxProc + lam = Lambda l0 PosNIL KwdNIL (eCallP (tApp (eDot self $ localName n) (map tVar $ qbound q)) (pArg p)) fxProc self = eVar selfKW deact env (Def l n q p KwdNIL (Just t) b d fx)