git.iko.soy/Idris-dev
on e18c3ef help sign in
Idris-dev
14 folders, 11 files
contribs/Added backend target specification to %lib, %link and %include directives effects/Default to Integer instead of Int, and adjust fromInteger accordingly iif/Change TRACE mode to use -O2 java/Fix wrong result type for idris_peek in Java javascript/More Integer fixups js/javascript: handle tailcalls for FFI lib/Added backend target specification to %lib, %link and %include directives papers/Revision of impl-paper completed. rts/Integer <-> Float conversion in C codegen samples/Added backend target specification to %lib, %link and %include directives src/Fix ordering of auto-implicits with 'using' 'using' arguments always now appear before fully implicit arguments, rather than the order we happen to find them in. TODO: Better would be to sort according to which ones we know depend on each other... support/ test/Fix for proofs in test025 (until I've added support for Decidable.Order) tutorial/Merge pull request #340 from JanBessai/BackendTargetSpecification .gitattributestypo fix in git attributes, adding test results to gitignore .gitignoreAdd tutorial LaTeX by-products to .gitignore .travis.ymlInstall in .travis.yml CHANGELOGAllow type class constraints in 'using' clauses e.g. if a using block is given as CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table LICENSE Makefilejavascript: added javascript lib package READMEAdded testing instructions to README Setup.hsFixed mvn for mingw32 config.mkMerge remote-tracking branch 'upstream/master' into providers idris.cabalType 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!