5f3627cShow terms more prettilyDavid Raymond Christiansen13 years ago 860cdc0Show type class parameters in :iDavid Raymond Christiansen13 years ago f6b036cProperly show superclass constraints in :iDavid Raymond Christiansen13 years ago f927e7fUse pretty-printer for :i commandDavid Raymond Christiansen13 years ago 3d59246Normalise thunk contents when returning from executorDavid Raymond Christiansen13 years ago ce414b8Regression test for infinite regress in executorDavid Raymond Christiansen13 years ago d5162a0Removed obsolete leftover comment.Timo Petteri Sinnemäki13 years ago 6aeacd8Make parsing respect the nocolour flagBrian McKenna13 years ago f2cf4d8Change 'module Prelude.Catchable to 'module Control.Catchable'Paul Koerbitz13 years ago d00015bChange 'module Category.Arrow' to 'module Control.Arrow'Paul Koerbitz13 years ago 25c1352Support for typed laziness in executorDavid Raymond Christiansen13 years ago e672357'Reject' cases to default arg substitution tests.Timo Petteri Sinnemäki13 years ago 4624be2Merge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki13 years ago 9a25dfaTests on default args and substitutionTimo Petteri Sinnemäki13 years ago e707475Remove oldeffects from buildEdwin Brady13 years ago d53dc76Merge pull request #1028 from raichoo/javascriptEdwin Brady13 years ago bfc3c3eMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki13 years ago 60ac04eA go at passing constructor name info to elabConsTimo Petteri Sinnemäki13 years ago dd51570Revert typeclass changes.Timo Petteri Sinnemäki13 years ago 727442cWIP on def arg sub in typeclass methods.Timo Petteri Sinnemäki13 years ago e8ea34bMoved pinfo back into the where blockTimo Petteri Sinnemäki13 years ago 126fbbcjavascript: collapse noop conditionalsraichoo13 years ago e90d88aYet more comment cleanupTimo Petteri Sinnemäki13 years ago 8fcaa82Another wee comment adjustmentTimo Petteri Sinnemäki13 years ago 751a6eeComment cleanup.Timo Petteri Sinnemäki13 years ago c78fb14Fixed errors; partially complete default arg subsTimo Petteri Sinnemäki13 years ago aa39233Merge pull request #1025 from jeffersoncarpenter/masterEdwin Brady13 years ago d2eaa28Update version numberv0.9.12Edwin Brady13 years ago d732dedMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady13 years ago b696f28Make unique name generation much quickerEdwin Brady13 years ago d3eb486First attempt now at substitution to default argsTimo Petteri Sinnemäki13 years ago c87350cchanged the first sentence of the readmeJefferson Carpenter13 years ago b1028f0TacImp script handling to various functions.Timo Petteri Sinnemäki13 years ago 569a30cMerge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki13 years ago 63342c7Some helper comments that'll be removed laterTimo Petteri Sinnemäki13 years ago 47cd264alloc_heap also requires the pointer alignment hack.stepcut13 years ago ffdb074Change + to | because | better reflects our intentions.stepcut13 years ago 50eacbdshould have been in the last commit.stepcut13 years ago 0a4d91bChanged some ints to size_t. Seems valid -- not certain.stepcut13 years ago 48aa599force tag_arity and ty to be uint32_t instead of system dependent int sizes.stepcut13 years ago 8a0beabremove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.stepcut13 years ago 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.stepcut13 years ago 035d0a9fixups for HAS_PTHREAD changesstepcut13 years ago c399b55modify RTS so that it can be built single-threaded if pthreads are not available.stepcut13 years ago 3c58bbfEarly buffer implementation for the Java codegenJan Bessai13 years ago ffb08c2Add pkg-config gc flags to llvm MakefileJason Gross13 years ago