From 7863b21c1a4e8f72d49f3aad76bb9e54dd391cb1 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 30 Nov 2011 14:55:52 +0000 Subject: more stuff in the new type checker --- src/compiler/GF/Infra/CheckM.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/GF/Infra') 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 -- cgit v1.2.3