git.iko.soy/Idris-dev
on master help sign in
history of35ec145..master
compare
28fc390Updated the changelog.Jan de Muijnck-Hughes 0cd1496Updated documentation and error reporting.Jan de Muijnck-Hughes 4e2b726A Simple Unit test suite for Idris.Jan de Muijnck-Hughes ac06bdfMerge pull request #4185 from ahmadsalim/feature/named-non-injective-implsAhmad Salim Al-Sibahi 249ff98Fix indentation of CHANGELOGAhmad Salim Al-Sibahi 8da55c2Add CHANGELOG entry and testAhmad Salim Al-Sibahi 6318168Ensure only injectivity if not namedAhmad Salim Al-Sibahi 683be9bFix linkAhmad Salim Al-Sibahi dad5728Merge pull request #4183 from idris-lang/faq/link-community-standardsAhmad Salim Al-Sibahi e57aee0Link community standardsAhmad Salim Al-Sibahi 743abd3Merge pull request #4180 from msmorgan/string-extra-accessAhmad Salim Al-Sibahi d2a3cf0Data.String.Extra: add missing access directiveMichael Morgan d6c48eeMerge pull request #4178 from joom/masterDavid Christiansen 2e0a1c8Add Functor implementation for FunClause and FunDefnJoomy Korkut f3dcca5Merge pull request #4176 from eraserhd/error-location-fixAhmad Salim Al-Sibahi 6ff9b7fMerge pull request #4174 from asandroq/fix-atan2Ahmad Salim Al-Sibahi e61c630Update changelog with changes for `atan2`Alex Queiroz b6f8bdfGet error location & message direct from parserJason Felice 2035d6cUse native `atan2` function from backendAlex Queiroz 774d1b6Merge pull request #4170 from eraserhd/megaparsecNiklas Larsson edfc5e3Add CHANGELOG messageJason Felice 64ee143Use NonEmpty.fromList instead of :|Jason Felice 01d70d7Rename to sexpJason Felice 08a89c6Fix test for Windows path separatorsJason Felice 4db8368Merge remote-tracking branch 'upstream/melted-patch-1' into megaparsecJason Felice aeb032aMerge remote-tracking branch 'upstream/master' into megaparsecJason Felice a0e585bSupport GHC 7.10Jason Felice febd4fafix PATHNiklas Larsson 713172eUse a modern ghc for appveyorNiklas Larsson 59d5c55Merge pull request #4160 from rbarreiro/random_stAhmad Salim Al-Sibahi f8dc338fixed doc and rndSelect to use NonEmpty instead of MaybeRui Barreiro 295ce57Remove unused language featuresJason Felice b0aacb5Merge remote-tracking branch 'upstream/master' into megaparsecJason Felice 9544b6fRun stylishJason Felice 90ae69bRename someSpace backJason Felice bd9ce0cUse hidden instead of <?> ""Jason Felice 739286eRemove unused language featuresJason Felice 5e9d8deUse Megaparsec for expressions, remove `parsers` depJason Felice d80be11Merge pull request #4168 from msmorgan/parser-refactor-changelogAhmad Salim Al-Sibahi 5856a77update CHANGELOG for recent updatesMichael Morgan 1764f7fUse our own `token` instead of Text.Parser.TokenJason Felice c112ebcRemove unnecessary access of stateJason Felice e04da81Use Megaparsec builtins, kill lastTokenSpanJason Felice 09ae716Fix regression002 error messageJason Felice 21556e5Fix errors for pkg004Jason Felice c3d46aaFix interactive testJason Felice e9f7039New formatting for some error messagesJason Felice 2e33b4bUse Megparsec's pretty error printingJason Felice 26922d4Merge pull request #4154 from msmorgan/parser-refactorAhmad Salim Al-Sibahi bbefa33Fixes for error formattingJason Felice