diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 10:15:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 10:15:39 +0000 |
| commit | cebd0560c831c6dda09a2841bc24c0e3bd9ea889 (patch) | |
| tree | 9ea2a576f207c0084c4d5895b710c905bbff4045 /src/GF/Infra/CheckM.hs | |
| parent | b1a51f46f5d137ab4d65a4381b349af3291a944d (diff) | |
rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF
Diffstat (limited to 'src/GF/Infra/CheckM.hs')
| -rw-r--r-- | src/GF/Infra/CheckM.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 () |