git.iko.soy/Idris-dev
on b467eea help sign in
Idris-dev
14 folders, 11 files
contribs/Add bash completion file for Idris effects/Default to Integer instead of Int, and adjust fromInteger accordingly iif/ java/Fix wrong result type for idris_peek in Java javascript/More Integer fixups js/javascript: handle tailcalls for FFI lib/Integer literals for Fin If the elaborator can construct a proof that it is within bounds, integet literals can be used for Fins. Otherwise, a cryptic error message will be given. 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/Added %unifyLog construct For debugging purposes %unifyLof t will give a trace of unification problems while elaborating t Also, log levels 6 and above will give the trace support/ test/EXPERIMENTAL: Syntax for applying functions by expected type "t <== f" applies a function f to arguments in such a way that it returns something of type t. The <== is a placeholder syntax until someone comes up with something better. (Alternative: t by f, … 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!