git.iko.soy/Idris-dev
on master help sign in
history of6250eb4..master
compare
f30bfc0Merge pull request #1179 from ziman/improve-astutilsEdwin Brady e7e5638Merge pull request #1174 from bmsherman/masterEdwin Brady 58774feMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 32580d0Disable record003 in javascript testsEdwin Brady 9491c3cAdd ppOptionIst function.Peter Minten 5e3c248Change impl argument to a pretty printing opt recordPeter Minten 6669a26Add superclass info to ClassDoc and output it in pprintDocs (:doc command)Paul Koerbitz f20f461Merge pull request #1180 from david-christiansen/ideslave-message-fixDavid Christiansen 104635bPrevent double-printing some FCsDavid Raymond Christiansen f9e8ec2Make ihWarn work properly with emptyFC on command lineDavid Raymond Christiansen da45e7dFollow IDESlave protocol when import not foundDavid Raymond Christiansen a3fa5a4Bring module loading into Idris monadDavid Raymond Christiansen cedcd6eUpdate comments.Matus Tejiscak 8081528Make Ctxt lookups more straightforward in ASTUtils.Matus Tejiscak 89c3853Merge pull request #1178 from raichoo/javascriptraichoo ec562e9javascript: remove some more constructorsraichoo 136ca4cMerge pull request #1177 from david-christiansen/issue/1056David Christiansen 7c8a6b9javascript: inline conditionsraichoo de6bee5Merge pull request #1176 from david-christiansen/init-bannerDavid Christiansen 47304d9Allow the big startup banner to be disabledDavid Raymond Christiansen 50954d3Fix implementation of Prelude.Applicative.whenbmsherman 86cf82dMerge branch 'master' of https://github.com/bmsherman/Idris-devbmsherman e70027fMake Prelude.Applicative.when implementation cleaner.bmsherman 1a9ab97Make Prelude.Applicative.when implementation cleaner.bmsherman 0e31481Merge branch 'master' of https://github.com/bmsherman/Idris-devbmsherman 2a603e4Add documentation to Prelude functionsbmsherman 334f5b5Make `and`, `or`, `any`, and `all` short-circuit from left-to-right, as is more natural.bmsherman c2bd084Add laziness to values which aren't evaluated in all branches of a function.bmsherman dda9b49Generalize list eliminatorBen 475eb57Make `and`, `or`, `any`, and `all` short-circuit from left-to-right, as is more natural.bmsherman 75b8081Add laziness to values which aren't evaluated in all branches of a function.bmsherman 04801ecGeneralize list eliminatorBen 822690aMerge branch 'JavaBuffers' into JavaBackendFixesJan Bessai 7c2c010added "prim__registerPtr" noop for JavaJan Bessai 884c5b8* Make regression test029 work by adding a wrapper loading environment variables to properties * Include sugar004Jan Bessai a3221e3Merge branch 'master' into JavaBackendFixesJan Bessai 0bdb8e6Minor fixes for the Java backendJan Bessai 47cd264alloc_heap also requires the pointer alignment hack.stepcut ffdb074Change + to | because | better reflects our intentions.stepcut 50eacbdshould have been in the last commit.stepcut 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut 66936b0hack in idris_gc to force 16-bit/2-byte alignment for allocations. Some embedded platforms, like the arduino/avr, support byte-aligned pointers. However, that makes implementing tagged pointers very tricky. So, instead we just force 16-bit alignment.stepcut 035d0a9fixups for HAS_PTHREAD changesstepcut c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut 3c58bbfEarly buffer implementation for the Java codegenJan Bessai ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross