git.iko.soy/Idris-dev
on master help sign in
history offadbbc8..master
compare
f707c76Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 4ba5460Make 'neweffects' the official effects packageEdwin Brady 9b28ec3Tests for tail recursive implementations of foldrJan Bessai 49b4066Tail recursive foldr, reverse and fromList for VectJan Bessai 5e134bdTail recrusive foldr for ListJan Bessai 3e401fbImprove error pretty-printingDavid Raymond Christiansen 191ad06Add with_val and pureM syntaxEdwin Brady a23e89fReverse the reversible errors while reflectingDavid Raymond Christiansen 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 992acb4Fix regression with data declarations in whereEdwin Brady fdb46c7Merge pull request #965 from ahmadsalim/feature/parserspanningEdwin Brady 6e3a4c8Merge pull request #964 from jfdm/idrislangEdwin Brady 88f88ebUnification tweak; better disambiguationEdwin Brady d815eccFixed error reflection bug after change of sourcelocation definitionAhmad Salim Al-Sibahi 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi 5e0a984Remove the ability to reflect At and ElaboratingDavid Raymond Christiansen db306caMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/parserspanningAhmad Salim Al-Sibahi 69c1c7dUpstream updates to idrislang.styJan de Muijnck-Hughes 91120abAdd type signature and Haddock to processTactic'David Raymond Christiansen 29a1e77Merge remote-tracking branch 'upstream/master'David Raymond Christiansen a7e6550Merge pull request #962 from david-christiansen/markdown-docsEdwin Brady af6eaebMerge pull request #961 from raichoo/javascriptEdwin Brady 3ebb931Merge pull request #960 from david-christiansen/skip-coverage-on-default-patternEdwin Brady 2d79c85Merge pull request #958 from david-christiansen/reflection-reflectionEdwin Brady f596a36Merge pull request #946 from trofi/masterEdwin Brady c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen ce2f85fjavascript: quick & dirty compile time error on invalid FFIraichoo 312967ajavascript: add time functionraichoo 8f93b00Syntax for failures in pattern matching let/<-Edwin Brady f26ab12Skip unnecessary coverage checkingDavid Raymond Christiansen 756b44fSkip unnecessary coverage checkingDavid Raymond Christiansen b2b5545Rename 'new' to 'newInit' in neweffectsEdwin Brady 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen d0edb70Add support for reflecting ByReflectionDavid Raymond Christiansen 202937dHandler for Exceptions in List contextEdwin Brady dc196bfPretty printing fixEdwin Brady 22678c7Merge pull request #957 from JanBessai/OrderEqCongEdwin Brady be57f4aFix unbound implicit rulesEdwin Brady a7217f1Tweak scoping rules in instance generationEdwin Brady 419b35cAdded span in parser stateAhmad Salim Al-Sibahi 66ac8daMerge pull request #953 from JanBessai/OrderEqCongEdwin Brady 7aeab41Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady