diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
| commit | fe863958533cd905939241e6fa50af439058cf5a (patch) | |
| tree | c8254e5797d795d733585d0d82e85d4d4a1fa9dd /src/GF/Devel/Compile/CheckGrammar.hs | |
| parent | 674b4765e653d91c8c900da1263df8c0f4d767ad (diff) | |
debugging testgf3
Diffstat (limited to 'src/GF/Devel/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Devel/Compile/CheckGrammar.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Devel/Compile/CheckGrammar.hs b/src/GF/Devel/Compile/CheckGrammar.hs index 1baab392f..e9daa1f64 100644 --- a/src/GF/Devel/Compile/CheckGrammar.hs +++ b/src/GF/Devel/Compile/CheckGrammar.hs @@ -203,8 +203,10 @@ checkCompleteGrammar abs cnc = do checkResInfo :: GF -> Ident -> Ident -> Judgement -> Check Judgement checkResInfo gr mo c info = do ---- checkReservedId c + trace (show info) (return ()) case jform info of JOper -> chIn "operation" $ case (jtype info, jdef info) of + _ | isConstructor info -> return info (_,Meta _) -> do checkWarn "No definition given to oper" return info @@ -698,6 +700,7 @@ getOverload env@gr mt t = case appForm t of checkLType :: GF -> Term -> Type -> Check (Term, Type) checkLType env trm typ0 = do + trace (show trm) (return ()) typ <- comp typ0 |