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 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 93b1c81Merge pull request #1023 from jedesah/vect_splitAtEdwin Brady13 years ago 095e3fcMerge pull request #998 from jedesah/substract_finEdwin Brady13 years ago b8c67d5Merge pull request #1022 from jfdm/documentation-effects-fileEdwin Brady13 years ago 06e2b1dEfficiency of coverage checkEdwin Brady13 years ago 4e0bdc8Allow resolving metavariables from ibcsEdwin Brady13 years ago 3820110Ensure modules are loaded independentlyEdwin Brady13 years ago d3eb486First attempt now at substitution to default argsTimo Petteri Sinnemäki13 years ago 2f58e16Add splitAt to VectJean-Remi Desjardins13 years ago ad399b0Added documentation for the effectful file operations.Jan de Muijnck-Hughes13 years ago 53a5014Merge pull request #1018 from david-christiansen/ideslave-execEdwin Brady13 years ago 9cdfa26Fix parsing of $Edwin Brady13 years ago fb6a0edCoverage checker fixEdwin Brady13 years ago 86f68b5Fix compile errorEdwin Brady13 years ago f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady13 years ago 4ffc9b3Return the name of the temp file from :exec in IDESLaveDavid Raymond Christiansen13 years ago 7d09d05Merge pull request #1016 from SimonJF/rts-deadlock-fixEdwin Brady13 years ago a93acd6Merge pull request #1014 from david-christiansen/doc-type-ideslaveEdwin Brady13 years ago 1569aa9Merge pull request #1012 from david-christiansen/issue/949Edwin Brady13 years ago 8f5e40fMerge pull request #1009 from jedesah/list_splitAtEdwin Brady13 years ago aa91121Fix deadlock in RTS when using allocation in native codeSimon Fowler13 years ago c87350cchanged the first sentence of the readmeJefferson Carpenter13 years ago f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen13 years ago dd20facAdd semantic highlighting info for metavariablesDavid Raymond Christiansen13 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 d763c9cUse postulates for decEq primitive proofsEdwin Brady13 years ago 06fbec1Add name of arguments in type declaration for proper documentationJean-Remi Desjardins13 years ago dfb3982Merge pull request #1006 from david-christiansen/ideslave-optsEdwin Brady13 years ago 89c89d3Fix "Force" in case tree for new indexed formEdwin Brady13 years ago e058452Add splitAt function for ListJean-Remi Desjardins13 years ago 7800e3cChange to infix formJean-Remi Desjardins13 years ago 8325cedAllow getting and setting options from IDESlaveDavid Raymond Christiansen13 years ago