Skip to content

Commit 88ae6bf

Browse files
committed
added missing case for VCRecType
1 parent 22a22aa commit 88ae6bf

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/compiler/api/GF/Compile/TypeCheck/ConcreteNew.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1153,6 +1153,7 @@ getMetaVars sc_tys = foldM (\acc (scope,ty) -> go acc ty) [] sc_tys
11531153
_ -> return acc
11541154
go acc (VApp f args) = foldM go acc args
11551155
go acc (VFV c vs) = foldM go acc vs
1156+
go acc (VCRecType vs) = foldM (\acc (lbl,b,v) -> go acc v) acc vs
11561157
go acc (VCInts _ _) = return acc
11571158
go acc v = unimplemented ("go "++show (ppValue Unqualified 5 v))
11581159

0 commit comments

Comments
 (0)