From 318379f73a4f6beae40687e7122ac476abe526f1 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 8 Sep 2004 11:36:53 +0000
Subject: type check cc command

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

(limited to 'src/GF/Compile')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index c4de7beb1..811437f57 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -65,6 +65,13 @@ checkModule ms (name,mod) = checkIn ("checking module" +++ prt name) $ case mod
  where
    gr  = MGrammar $ (name,mod):ms
 
+-- check if a term is typable
+
+justCheckLTerm :: SourceGrammar -> Term -> Err Term
+justCheckLTerm src t = do
+  ((t',_),_) <- checkStart (inferLType src t)
+  return t'
+
 checkAbsInfo :: SourceGrammar -> Ident -> (Ident,Info) -> Check (Ident,Info)
 checkAbsInfo st m (c,info) = do
 ---- checkReservedId c
-- 
cgit v1.2.3