summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
-rw-r--r--src/GF/Compile/CheckGrammar.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index c93788cd2..5b9e6d923 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -455,7 +455,7 @@ inferLType gr trm = case trm of
prtFail "cannot infer type of canonical constant" trm
]
- Val ty i -> termWith trm $ return ty
+ Val _ ty i -> termWith trm $ return ty
Vr ident -> termWith trm $ checkLookup ident