From cebd0560c831c6dda09a2841bc24c0e3bd9ea889 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 10:15:39 +0000 Subject: rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF --- src/GF/Infra/CheckM.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/GF/Infra/CheckM.hs') diff --git a/src/GF/Infra/CheckM.hs b/src/GF/Infra/CheckM.hs index f701b7c3a..efa65118b 100644 --- a/src/GF/Infra/CheckM.hs +++ b/src/GF/Infra/CheckM.hs @@ -55,17 +55,17 @@ checkCond s b = if b then return () else checkError s checkWarn :: Message -> Check () checkWarn msg = Check (\ctxt msgs -> Success () ctxt ((text "Warning:" <+> msg) : msgs)) -checkUpdate :: Decl -> Check () +checkUpdate :: Hypo -> Check () checkUpdate d = Check (\ctxt msgs -> Success () (d:ctxt) msgs) -checkInContext :: [Decl] -> Check r -> Check r +checkInContext :: [Hypo] -> Check r -> Check r checkInContext g ch = do i <- checkUpdates g r <- ch checkResets i return r -checkUpdates :: [Decl] -> Check Int +checkUpdates :: [Hypo] -> Check Int checkUpdates ds = mapM checkUpdate ds >> return (length ds) checkReset :: Check () -- cgit v1.2.3