git.iko.soy/Idris-dev
on 02f57ef help sign in
Idris-dev/lib
8 folders, 8 files
../ Control/Remove "return" from Monad Data/More Integer fixups Debug/Add Debug.Trace Decidable/Type class resolution fix (disables Decidable.Decidable) Instances should not be resolved when there is no information available. Previously, resolution just guessed at an instance in this case, though this was never intended behaviour! Language/Formatting improvements Network/Remove "return" from Monad Prelude/More Integer fixups System/Remove "return" from Monad Builtins.idrDefault to Integer instead of Int, and adjust fromInteger accordingly IO.idrjavascript: make FFI work with HOFs MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrRemove "return" from Monad Providers.idrClean up implementation of type providers System.idrFriendly smart constructors for foreign integer types Uninhabited.idrAdded typeclass for uninhabited types base.ipkgFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.