diff options
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 |