git.iko.soy/Idris-dev
on fbd940c help sign in
fbd940cFix bracketing when solving holes interactivelyEdwin Brady 6efe40bExtend rules for 'impossible' casesEdwin Brady 7540bb3Minor name changesEdwin Brady b042531Normalise newlines in runtestEdwin Brady f2e6671Added test for unsafePerformIOEdwin Brady 400cc8aFix export rules for recordsEdwin Brady 228f56cfindCalls should find constructors tooEdwin Brady 5259edcMinor CHANGELOG editEdwin Brady eba5123Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e3e35a5New rules for name visibilityEdwin Brady 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady c4c7802Merge pull request #2926 from ahmadsalim/warning/staticchangeJan de Muijnck-Hughes fb81dc3Fixed parserWarning functionAhmad Salim Al-Sibahi b0df543Merge pull request #2925 from jfdm/fix-version-docsJan de Muijnck-Hughes 060caf4Readded [static] but with a deprecation warning. Also refactored the way parser warnings are added to make it easier to call.Ahmad Salim Al-Sibahi 261455fUser Docs updatesJan de Muijnck-Hughes f3cc145Merge pull request #2924 from ahmadsalim/readme/uniformstaticannotationJan de Muijnck-Hughes 376f0e8Added '%static' annotation change in CHANGELOGAhmad Salim Al-Sibahi faf0b57Merge pull request #2906 from ahmadsalim/feature/uniformstaticanotationJan de Muijnck-Hughes 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