From fe863958533cd905939241e6fa50af439058cf5a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 5 Mar 2008 18:59:14 +0000 Subject: debugging testgf3 --- src/GF/Devel/Compile/CheckGrammar.hs | 3 +++ 1 file changed, 3 insertions(+) (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 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 -- cgit v1.2.3