../ Control/rename fmap to map13 years ago Data/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 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/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 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 MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X14 years ago Prelude.idrModifying the System.getEnv function to return IO (Maybe String)13 years ago Providers.idrClean up implementation of type providers13 years ago System.idrModifying the System.getEnv function to return IO (Maybe String)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 traverse_ and sequence_ based on Foldable13 years ago