summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-12-08 07:15:19 +0000
committeraarne <aarne@cs.chalmers.se>2008-12-08 07:15:19 +0000
commitde8bea8d692617d0028f9c2f5716f1e303490ff2 (patch)
tree98c36bc7f0ef1dd2d69c2a9807d1fe13d6c38fdc /src/GF/Compile/CheckGrammar.hs
parentcbb495f5d991a5e3825895ab10a69af7654e8055 (diff)
data structures for param values with number, preparing optimized pattern matching in grammar compilation
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