7d731fbMerge pull request #4038 from msmorgan/feature/lexer-rangeJan de Muijnck-Hughes9 years ago 52c103fEnable test interactive017.Steven Shaw9 years ago ec294a1Merge pull request #4043 from melted/issue_4013Niklas Larsson9 years ago e88ad28Fail parsing imports in the standard mannerNiklas Larsson9 years ago e03ff3dMerge pull request #3936 from mandubian/fix/master/1211Edwin Brady9 years ago ac97692Text.Lexer: export a fail functionMichael Morgan9 years ago 6fec28cText.Lexer: add character range lexerMichael Morgan9 years ago 532ef6cMerge branch 'master' into fix/master/1211Edwin Brady9 years ago 4251ad8Merge pull request #4036 from msmorgan/feature/lexer-lookaheadJan de Muijnck-Hughes9 years ago e69ce01Merge pull request #4029 from msmorgan/feature/lexer-primitivesJan de Muijnck-Hughes9 years ago db95c2bMerge pull request #4041 from idris-lang/revert-4021-fix-dump-highlightsJan de Muijnck-Hughes9 years ago 054978cRevert "Fix #4020: Fix duplication in output of `--hightlight`."Jan de Muijnck-Hughes9 years ago e6f77bbInterfaces.Correlative: add the operators </ and />Michael Morgan9 years ago 8c6a569Text.Lexer: add `non`, a kind of lexer negationMichael Morgan9 years ago 2df69e8Text.Lexer: positive and negative lookaheadMichael Morgan9 years ago 0488d1eBREAKING Text.Lexer: rename symbol and spaceMichael Morgan9 years ago 55762f6Text.Lexer: hexDigit, hexDigits, hexLitMichael Morgan9 years ago 96086d2Text.Lexer: add lower, lowers, upper, and uppersMichael Morgan9 years ago 611c709Text.Lexer: add alpha, alphas, alphaNum, and alphaNumsMichael Morgan9 years ago d1482feText.Lexer: add digit lexer and correct docsMichael Morgan9 years ago 5aa99efMerge pull request #4028 from msmorgan/feature/lexer-combinatorsJan de Muijnck-Hughes9 years ago b0dddf0Merge pull request #4027 from msmorgan/feature/lexer-optJan de Muijnck-Hughes9 years ago 3fd9042Text.Lexer: add surround, quote, and escapeMichael Morgan9 years ago 5d46db6Text.Lexer: fix bug in charLitMichael Morgan9 years ago 4772454Text.Lexer: use opt instead of (<|> Empty)Michael Morgan9 years ago 2700cefadd opt combinator to Text.LexerMichael Morgan9 years ago de2dfc2Merge pull request #4024 from msmorgan/feature/correlativeNiklas Larsson9 years ago 6e066f7Merge pull request #4023 from msmorgan/feature/pairs-implicitNiklas Larsson9 years ago 14148f6Merge pull request #4025 from msmorgan/feature/lexer-choiceNiklas Larsson9 years ago b9161b1Merge pull request #4009 from joom/masterNiklas Larsson9 years ago 0e86734add `choice` combinator for LexersMichael Morgan9 years ago 0b78de1Merge pull request #4021 from jfdm/fix-dump-highlightsJan de Muijnck-Hughes9 years ago c51fd2dFix #4020: Fix duplication in output of `--hightlight`.Jan de Muijnck-Hughes9 years ago 42cce7cremove Interfaces.Zippable in favor of Interfaces.CorrelativeMichael Morgan9 years ago 59d2a1fadd Data.Pairs.Implicit for converting erased pairsMichael Morgan9 years ago e2843b0Merge pull request #4019 from melted/simplify_rtsNiklas Larsson9 years ago 234a799Merge pull request #4018 from msmorgan/feature/zippableNiklas Larsson9 years ago cc6d29eRemove unused macrosNiklas Larsson9 years ago f9c99ccFix style inconsistencyJoomy Korkut9 years ago 22bcbd3Add Cast instance for Nat to StringJoomy Korkut9 years ago a0de8cbstylised HSmandubian9 years ago 416251fFixes #1211 : checking default impl in interfaces through parent constraints recursivelymandubian9 years ago