diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-21 08:04:43 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-21 08:04:43 +0000 |
| commit | c764a758e1a5e0eab346a2c3c88b7e8a9c64e248 (patch) | |
| tree | eb10cac5e8cf89061628362bd2f4499ce2102f94 /src/GF/Devel/Compile/CheckGrammar.hs | |
| parent | 7412c24267238c5273099945cdbf303fc0df9cd7 (diff) | |
documenting testgf3
Diffstat (limited to 'src/GF/Devel/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Devel/Compile/CheckGrammar.hs | 6 |
1 files changed, 2 insertions, 4 deletions
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 |