enable type application for builtins

amuletml · Oct 19, 2019 · f23910d · f23910d
1 parent 80461c9
commit f23910d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Syntax/Builtin.hs b/src/Syntax/Builtin.hs
@@ -309,7 +309,7 @@ ofCore v@(CoVar i _ _) = TgName (covarDisplayName v) i
 (~>) = TyArr
 
 (*.) :: Var Typed -> Type Typed -> Type Typed
-v *. t = TyForall v (Just TyType) t
+v *. t = TyPi (Invisible v (Just TyType) Spec) t
 
 infixr ~>
 infixr *.