From 88ae6bff7137677671fb6016f68065dd800c5094 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 10 Mar 2025 14:42:36 +0000 Subject: [PATCH] added missing case for VCRecType --- src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs b/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs index a5e26642c..7aa3330f8 100644 --- a/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs +++ b/src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs @@ -1153,6 +1153,7 @@ getMetaVars sc_tys = foldM (\acc (scope,ty) -> go acc ty) [] sc_tys _ -> return acc go acc (VApp f args) = foldM go acc args go acc (VFV c vs) = foldM go acc vs + go acc (VCRecType vs) = foldM (\acc (lbl,b,v) -> go acc v) acc vs go acc (VCInts _ _) = return acc go acc v = unimplemented ("go "++show (ppValue Unqualified 5 v))