../ Control/rename fmap to map13 years ago Data/Make the parentheses around a with-rule scrutinee mandatory13 years ago Debug/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago Decidable/New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago Language/Work around parser bug13 years ago Network/Modifying the System.getEnv function to return IO (Maybe String)13 years ago Prelude/Compile Nat as Int, (and plus/mult/fromInteger)13 years ago System/rename fmap to map13 years ago Builtins.idrPartially defined names should not reduce at compile-time13 years ago IO.idrSeparate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #32513 years ago MakefileRefactored the build inside Setup.hs and the various Makefiles.13 years ago Prelude.idrAdding several functions to interact with environment variables.13 years ago Providers.idrClean up implementation of type providers13 years ago System.idrAdding several functions to interact with environment variables.13 years ago Uninhabited.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago base.ipkgAdd datatype for reflected errors13 years ago