git.iko.soy/Idris-dev
on master help sign in
history ofbe2b9bc..master
compare
3985928test basic021 type checksRui Barreiro a3583beMerge pull request #4099 from joom/masterDavid Christiansen 88fd351Get rid of warnings in pruviloj testJoomy Korkut 954d858Fix pruviloj testJoomy Korkut eabb922Merge pull request #4095 from asandroq/fix-flag-argument-orderAhmad Salim Al-Sibahi 42b2f8dChanges after review: refactor, docs, testsJoomy Korkut 4e326e4Update changelog with new behavior of C backendAlex Queiroz df7b19aAdd myself to `CONTRIBUTORS`Alex Queiroz 773f417Delete splitPair tacticJoomy Korkut e685711Add construct tacticJoomy Korkut f984657Merge pull request #4093 from melted/export_listsNiklas Larsson 4a3fe0cLinearTypes extension improvementsEdwin Brady bdc6945Add export list to Idris.ErrorNiklas Larsson c57370eAdd export list to Idris.Output and Idris.ModeCommonNiklas Larsson 3e3a61fAdd export list to Idris.OptionsNiklas Larsson c38dc74Add export lis t to Idris.ReflectionNiklas Larsson 5ef1dbdFix export lists for CmdOptions and TerminationNiklas Larsson 9bcb637Add export list to Idris.DSLNiklas Larsson 7c2ff79Add exports to ElabDeclsNiklas Larsson 774b7ffMerge pull request #4097 from idris-lang/fix/fingertree-boundsAhmad Salim Al-Sibahi fcd2677Fix fingertree bounds to < 0.1.2Ahmad Salim Al-Sibahi 3f7ae18Pass directives to C backend in given order (#4078)Alex Queiroz f70b942Merge pull request #4094 from joom/masterAhmad Salim Al-Sibahi 18b99b5Add splitPair tactic to PruvilojJoomy Korkut bf432a1first try, example basic021 gives a type errorRui Barreiro e32d0c3Merge pull request #4092 from melted/parser_exportsNiklas Larsson c660584Add export list to Idris.ParserNiklas Larsson ce39b79Merge pull request #4089 from melted/gmp_cleanNiklas Larsson d777aa2Use the gmp APINiklas Larsson e52318cMerge pull request #4088 from joom/masterAhmad Salim Al-Sibahi 59ea372Update CHANGELOG and CONTRIBUTORSJoomy Korkut 5916e62Add discriminate tactic to PruvilojJoomy Korkut c79d661Merge pull request #4086 from jdevuyst/fix-issue-4049Niklas Larsson a5ac47bMake UnmatchedCase errors lazy (#4049)Jonas De Vuyst 17e684cMerge pull request #4084 from asandroq/general-withallocNiklas Larsson b927dd4Make type of `withAlloc` more generalAlex Queiroz 292fac7Merge pull request #4083 from idris-lang/fix_basic021Niklas Larsson 6d954d8Merge pull request #4073 from rbarreiro/exportiface_jsNiklas Larsson bd8ea0aMerge pull request #4081 from eraserhd/generic-ibcNiklas Larsson 33cdc04Run basic021 on the C backendNiklas Larsson bea08acstylize fixRui Barreiro df5393fadded changelog entryRui Barreiro 24e5a52turned off basic021 test on node, there is no way a foreign FFI_C call will work on javascriptRui Barreiro c03398dFix whitespaceJason Felice 85707ceUnused importsJason Felice 391c93cUse default Binary implementation here, tooJason Felice 176b8ffMerge branch 'exportiface_js' of github.com:rbarreiro/Idris-dev into exportiface_jsRui Barreiro 2eea508fixed point free functions, IO returning functions and added a test, all for js interfaces functionalityRui Barreiro 9c0fddbLean on default signatures for implementing BinaryJason Felice d78090fMerge pull request #4079 from stevana/docs/dep-eff-typoAhmad Salim Al-Sibahi