summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler/GF/Infra')
-rw-r--r--src/compiler/GF/Infra/CheckM.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Infra/CheckM.hs b/src/compiler/GF/Infra/CheckM.hs
index 8a1b42cdf..7a5ac2d45 100644
--- a/src/compiler/GF/Infra/CheckM.hs
+++ b/src/compiler/GF/Infra/CheckM.hs
@@ -13,7 +13,7 @@
-----------------------------------------------------------------------------
module GF.Infra.CheckM
- (Check, Message, runCheck,
+ (Check(..), CheckResult(..), Message, runCheck,
checkError, checkCond, checkWarn,
checkErr, checkIn, checkMap
) where