diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-30 14:55:52 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-30 14:55:52 +0000 |
| commit | 7863b21c1a4e8f72d49f3aad76bb9e54dd391cb1 (patch) | |
| tree | 467fe43ceadb62e7381c1446a2e16b3749bb1797 /src/compiler/GF/Infra/CheckM.hs | |
| parent | f9af731c9c850899798701837df0621cac1d1f5c (diff) | |
more stuff in the new type checker
Diffstat (limited to 'src/compiler/GF/Infra/CheckM.hs')
| -rw-r--r-- | src/compiler/GF/Infra/CheckM.hs | 2 |
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 |