git.iko.soy/Idris-dev
on master help sign in
history ofdb2fb0b..master
compare
2576d6dFormat some messages in the proverJason Felice e1697f7Make stylish changeJason Felice 4162113Merge pull request #4264 from mlang/doctyposJason Felice 117a8ecMerge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 1e4133bMerge pull request #4243 from eraserhd/deprecated-parser-featuresJason Felice d03a437Fix typos in docsMario Lang b7e2e18Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice 12594b3Better warnings for `class` and `instance`Jason Felice 28c3928Add helper functions for MonadAlex Gryzlov 76e45a3Merge pull request #4261 from jfdm/bump-to-lts-haskell-10Jan de Muijnck-Hughes cd7e553Bumped Idris to work with LTS Haskell 10.Jan de Muijnck-Hughes 9e34930Fix export in Node back endEdwin Brady 1d3bef9Adjust warnings re: class and instanceJason Felice c20e139Merge remote-tracking branch 'upstream/master' into deprecated-parser-featuresJason Felice 24f580dRemove a few more lambdas in Lang IREdwin Brady 7282c0aSome optimisation of case treesEdwin Brady adc43d8Add some %static annotations in Prelude.ListEdwin Brady 5b987adLift out lambdas in case blocksEdwin Brady 5404934Merge pull request #4226 from XeFias/contrib_ST_FileAhmad Salim Al-Sibahi 77830c6Merge pull request #4253 from msmorgan/div-mod-precedenceAhmad Salim Al-Sibahi eb4c235Merge remote-tracking branch 'upstream/master' into pretty-warningsJason Felice 7a2acb1Use formatMessage instead of parseErrorDocJason Felice 74ddf72Rename to MessageJason Felice 826b491Extract formatWarningJason Felice de1d865Much improved inliningEdwin Brady b95c907fix broken tests caused by `mod` precedenceMichael Morgan 11b0ffaIntroduce "emit"Jason Felice 8bdd897add precedence for infix `div` and `mod`Michael Morgan 0a7fe41Use iWarn some moreJason Felice fb4c5e4Use iWarn for parse errorsJason Felice ae6ab2dMerge pull request #4249 from jfdm/stable-stack-yamlJan de Muijnck-Hughes d47e95bRemove some redundancy in case treesEdwin Brady 664253cMerge pull request #4235 from vaibhavsagar/groupByAhmad Salim Al-Sibahi 10763d2Make intersection 'more correct'Jason Felice 3f0c51aRename to sourceDocJason Felice cd87fcdAnnotate warning source lineJason Felice f75e3cbAdd `group` and `groupBy` to contribVaibhav Sagar 1a62f62Compose DocsJason Felice 1dc09acClean up iWarn a bit moreJason Felice f743272Don't include '=' for RHS spanJason Felice bab82b5Show unreachable case warnings like other warningsJason Felice 79351eeAdd blank line after "large" messagesJason Felice 6e98ac1layoutSource returns DocJason Felice abc6b5cRefactor iWarnJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice 0bb18f1Add CHANGELOG entryJason Felice f967817Make warnings, non-parse errors prettyJason Felice aa63280Make sure a point release of idris builds with LTS Haskell.Jan de Muijnck-Hughes 5218727Merge pull request #4245 from msmorgan/data-fuelAhmad Salim Al-Sibahi d773eddMerge pull request #4247 from msmorgan/lexer-regex-docsAhmad Salim Al-Sibahi