From c764a758e1a5e0eab346a2c3c88b7e8a9c64e248 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 21 Feb 2008 08:04:43 +0000
Subject: documenting testgf3

---
 src/GF/Devel/Compile/CheckGrammar.hs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

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

diff --git a/src/GF/Devel/Compile/CheckGrammar.hs b/src/GF/Devel/Compile/CheckGrammar.hs
index 5038c5168..831d0b9b2 100644
--- a/src/GF/Devel/Compile/CheckGrammar.hs
+++ b/src/GF/Devel/Compile/CheckGrammar.hs
@@ -429,10 +429,8 @@ inferLType gr trm = case trm of
 
    QC m ident -> checks [
        termWith trm $ checkErr (lookupOperType gr m ident) >>= comp
-       ,
-       checkErr (lookupOperDef gr m ident) >>= infer
-       ,
-       prtFail "cannot infer type of canonical constant" trm
+--       ,checkErr (lookupOperDef gr m ident) >>= infer
+--       ,prtFail "cannot infer type of canonical constant" trm
        ]
 
    Val ty i -> termWith trm $ return ty
-- 
cgit v1.2.3