git.iko.soy/Idris-dev
on b6f8bdf help sign in
b6f8bdfGet error location & message direct from parserJason Felice 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 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