git.iko.soy/Idris-dev
on master help sign in
history ofc112ebc..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 26922d4Merge pull request #4154 from msmorgan/parser-refactorAhmad Salim Al-Sibahi 0659508Text.Lexer, Text.Parser: quantity combinatorsMichael Morgan 09e7194Merge pull request #4165 from janschultecom/4161-fix-data-list-isElemAhmad Salim Al-Sibahi 0324753Fixes #4161. Extracted mkNo to a top-level function for performance improvementsjanschultecom 59ac463Text.Lexer, Text.Parser: add `choiceMap`Michael Morgan 8656531Text.Lexer: add `concatMap`, move `concat` out of coreMichael Morgan 85a7676Text.Lexer: rearrange and refactor functionsMichael Morgan 8ac5aa0Text.Lexer: use `%access export`Michael Morgan ea41144Text.Lexer: split core into its own moduleMichael Morgan