From 51896135c4c9968b315a2ef635ba6a1d8d27a000 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Fri, 13 Feb 2026 15:41:05 +0100
Subject: [PATCH] zonk the term in checkContext

---
 src/compiler/api/GF/Compile/TypeCheck.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/compiler/api/GF/Compile/TypeCheck.hs b/src/compiler/api/GF/Compile/TypeCheck.hs
index 65181b155..9f5e7ad1c 100644
--- a/src/compiler/api/GF/Compile/TypeCheck.hs
+++ b/src/compiler/api/GF/Compile/TypeCheck.hs
@@ -76,6 +76,7 @@ checkContext g ctxt = do
       let (c1,c23) = split c
           (c2,c3)  = split c23
       (ty,_) <- tcRho scope c1 ty (Just vtypeType)
+      ty <- zonkTerm (scopeVars scope) ty
       g <- globals
       ctxt <- check ((x,eval g (scopeEnv scope) c2 ty []):scope) c3 ctxt
       return ((bt,x,ty):ctxt)