summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra/CheckM.hs
AgeCommit message (Collapse)Author
2012-06-25removed spurious empty warningsaarne
2012-06-25Check monad: support for accumulated errorshallgren
In addition to warnings, the Check monad in GF.Infra.CheckM can now accumulate errors. There are two new functions checkAccumError: Message -> Check () accumulateError :: (a -> Check a) -> a -> Check a The former (with the same type as checkWarn) is used to report an accumulated (nonfatal) error. The latter converts fatal errors into accumulated errors. Accumulated errors are reported as regular errors by runCheck. Also, the Check monad type has been made abstract.
2012-06-25warnings shown in checkMapRecoveraarne
2012-06-25checkMapRecover: find undefined idents in all jments in Renameaarne
2011-11-30more stuff in the new type checkerkr.angelov
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated