diff options
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 () |