From 33ea630d4d431045c13e96c51e953ce0bafb4f0f Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 24 Sep 2004 08:46:03 +0000
Subject: bug fixes in parsing etc; improved ImperC

---
 src/GF/Compile/CheckGrammar.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/GF/Compile/CheckGrammar.hs')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index 8f152ff17..74256d66b 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -309,6 +309,11 @@ inferLType gr trm = case trm of
 
    Vr ident -> termWith trm $ checkLookup ident
 
+   Typed e t -> do
+     t' <- comp t
+     check e t'
+     return (e,t')
+
    App f a -> do
      (f',fty) <- infer f
      fty' <- comp fty
-- 
cgit v1.2.3