diff options
Diffstat (limited to 'src/GF/Infra/CheckM.hs')
| -rw-r--r-- | src/GF/Infra/CheckM.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Infra/CheckM.hs b/src/GF/Infra/CheckM.hs index 3794cc903..8f0657e27 100644 --- a/src/GF/Infra/CheckM.hs +++ b/src/GF/Infra/CheckM.hs @@ -19,7 +19,7 @@ import Grammar import Ident import PrGrammar --- the strings are non-fatal warnings +-- | the strings are non-fatal warnings type Check a = STM (Context,[String]) a checkError :: String -> Check a @@ -28,7 +28,7 @@ checkError = raise checkCond :: String -> Bool -> Check () checkCond s b = if b then return () else checkError s --- warnings should be reversed in the end +-- | warnings should be reversed in the end checkWarn :: String -> Check () checkWarn s = updateSTM (\ (cont,msg) -> (cont, s:msg)) |