From 27508654c01c5ebad3c495629ccbd49c067429ab Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 6 Mar 2008 21:27:14 +0000 Subject: option -mac to vt command (uses open with ps) --- src/GF/Devel/Compile/CheckGrammar.hs | 3 +-- 1 file changed, 1 insertion(+), 2 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 e9daa1f64..30ea0a70e 100644 --- a/src/GF/Devel/Compile/CheckGrammar.hs +++ b/src/GF/Devel/Compile/CheckGrammar.hs @@ -68,7 +68,7 @@ showCheckModule mos m = do checkModule :: GF -> SourceModule -> Check SourceModule checkModule gf0 (name,mo) = checkIn ("checking module" +++ prt name) $ do let gr = gf0 {gfmodules = Map.insert name mo (gfmodules gf0)} ----- checkRestrictedInheritance gr (name, mo) + ---- checkRestrictedInheritance gr (name, mo) mo1 <- case mtype mo of MTAbstract -> judgementOpModule (checkAbsInfo gr name) mo MTGrammar -> entryOpModule (checkResInfo gr name) mo @@ -83,7 +83,6 @@ checkModule gf0 (name,mo) = checkIn ("checking module" +++ prt name) $ do MTInstance iname -> do intf <- checkErr $ lookupModule gr iname - -- checkCompleteInstance abs mo -- this is done in Rebuild entryOpModule (checkResInfo gr name) mo return $ (name, mo1) -- cgit v1.2.3