git.iko.soy/Idris-dev
on aeb032a help sign in
aeb032aMerge remote-tracking branch 'upstream/master' into megaparsecJason Felice a0e585bSupport GHC 7.10Jason Felice 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 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 12691f6Fix some calls to P.unexpectedJason Felice 979404eRemove trifecta dependencyJason Felice 61d52a2Fix up parsing typeclassesJason Felice a858866WIPJason Felice e148a68WIPJason Felice 3bdb58eUse runparser in Idris.ParserJason Felice 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 62b06ebText.Lexer: avoid using private names outside coreMichael Morgan 538aa6aText.Lexer: rewrite `exact` and `approx` in terms of `concat`Michael Morgan a792d6bText.Lexer: add `concat`Michael Morgan 565ccf5Text.Lexer: rearrange functions to prepare for splitMichael Morgan 5d0b8a3Text.Parser: flip argument order of `parse`Michael Morgan a33e785Text.Parser: additional combinatorsMichael Morgan 36aa1b3Text.Parser: refactor and generalize combinatorsMichael Morgan 61e7a85Text.Parser.Core: remove useless `inf`sMichael Morgan 8783e4eData.Bool.Extra: proofs for booleans used in typesMichael Morgan 3287187Text.Parser: use `%access export`Michael Morgan 8b98ba2Text.Parser: move core of parser into its own moduleMichael Morgan fd9a45aControl.Delayed: utilities for conditional `Lazy` or `Inf`Michael Morgan b6d3c48Merge pull request #4163 from mpickering/patch-1Ahmad Salim Al-Sibahi