From 9e6885c901fd6ae4c90e35b416c28be734442239 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 22 May 2025 11:55:29 +0200 Subject: [PATCH] fix for VInts --- src/compiler/api/GF/Compile/TypeCheck/Concrete.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/api/GF/Compile/TypeCheck/Concrete.hs b/src/compiler/api/GF/Compile/TypeCheck/Concrete.hs index 116e0ebe3..e335195e3 100644 --- a/src/compiler/api/GF/Compile/TypeCheck/Concrete.hs +++ b/src/compiler/api/GF/Compile/TypeCheck/Concrete.hs @@ -150,7 +150,7 @@ tcRho scope c (Abs bt var body) Nothing = do -- ABS1 foldM (\st (v1,v2) -> check m n st v1 >>= \st -> check m n st v2) st vs check m n st (VStrs vs) = foldM (check m n) st vs - check m n xs v@(VInts _ _) = return (xs,v) + check m n st (VInts _ _) = return st tcRho scope c t@(Abs Implicit var body) (Just ty) = do -- ABS2 (bt, x, var_ty, body_ty) <- unifyFun scope ty if bt == Implicit