git.iko.soy/Idris-dev
on 68c019a help sign in
68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 6042cfeKeep track of names defined in current moduleEdwin Brady 92882c3Make sure to use most recent contextEdwin Brady e8a41dcDon't save original TT pattern clausesEdwin Brady d3dc418Add names in types to call graphEdwin Brady 0175376Remove some unnecessary fieldsEdwin Brady d579139Merge pull request #2920 from jfdm/fix-interface-preludeJan de Muijnck-Hughes 74926ffRenamed Prelude.Classes to Prelude.InterfacesJan de Muijnck-Hughes f7a9c28Tweak implicit name rulesEdwin Brady be33df4Force sharing of TT sub terms when loading ibcEdwin Brady 313db8bMerge pull request #2921 from melted/regex_goodbyeNiklas Larsson 070cdf1Remove the troublesome dependency on regex-compatNiklas Larsson a1b640aMerge pull request #2907 from melted/testrunnerNiklas Larsson 2e05621Remove the runtest.pl scriptNiklas Larsson db1e1feMerge pull request #2917 from melted/fix_ansi_errorNiklas Larsson 78c0051Convert trifecta's pretty-printed error messages in PkgNiklas Larsson 06453bcMerge pull request #2916 from Melvar/fix-reflect-nativetyNiklas Larsson bd26521Fix reflection of NativeTy valuesMelvar Chen e81cb80Merge pull request #2914 from DmitryTsygankov/stack_nixosNiklas Larsson e181731Merge pull request #2913 from melted/setup_tweakNiklas Larsson 60e11f7Bump up the stack resolver versionDmitry Tsygankov d0da898Use cabal function for dirNiklas Larsson b3b7bb7Merge pull request #2912 from melted/link_iconNiklas Larsson 567c01cAdd instructions to deploy with stack on NixOS. Remove the resolver version from the documentationDmitry Tsygankov 796f3dcStack: Add the Nix package dependenciesDmitry Tsygankov f9e19d7Bump up the stack resolver versionDmitry Tsygankov f1c6f25Add the idris icon to the windows buildNiklas Larsson da2fb8dPosix setEnv has a different signature.Niklas Larsson e8c6f5cConditionally import setEnv on old GHCNiklas Larsson 8bffef4Merge pull request #2908 from melted/make_fixNiklas Larsson d1144dcMake a haskell test runnerNiklas Larsson 028868eSet target explicitly for test_cNiklas Larsson 4e5474aMerge pull request #2904 from melted/par_onNiklas Larsson 1ca661aReenable parallel testingNiklas Larsson 6f26996Merge pull request #2902 from melted/condense_outputNiklas Larsson 704a60dMerge pull request #2901 from melted/fix_testsNiklas Larsson 5d9112dUse only one line of output per testNiklas Larsson 920282fKeep track of test stats and print the failed tests at the endNiklas Larsson b0e8b12make the tests respect the IDRIS env variableNiklas Larsson 9a04ed3Merge pull request #2900 from melted/fix_pkg004Niklas Larsson 18d0204Remove escapes from expected output in pkg004Niklas Larsson 374b18eFix class->interface in HTML docsEdwin Brady 6d9ef7bCHANGELOG version editv0.10Edwin Brady de57888Merge pull request #2895 from ziman/publish-bitsEdwin Brady 23c2788Merge pull request #2892 from thisfred/tutorial-record-typoEdwin Brady 3499e11Merge pull request #2891 from shlevy/optparse-applicative-0-13Edwin Brady 9be4419Merge branch 'aaronc-ioexcept-ffi'Edwin Brady 9b2ca04Merge branch 'ioexcept-ffi' of https://github.com/aaronc/Idris-dev into aaronc-ioexcept-ffiEdwin Brady 9e8930dMerge pull request #2857 from LeifW/watch_files_for_changesEdwin Brady