more stuff in the new type checker

2026-05-03 08:12:51 -06:00 · 2011-11-30 14:55:52 +00:00
parent 565ae652e4
commit 11a37316da
5 changed files with 328 additions and 199 deletions
--- 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