Merge pull request #1449 from actonlang/1447-add-missing-typeargs-in-…

…deactorizer-wrappers Added missing deactorizer typeargs.
actonlang · Aug 22, 2023 · 06df4cf · 06df4cf
2 parents 163e40d + 8d7c3cf
commit 06df4cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)