git.iko.soy/Idris-dev
on 1f1155c help sign in
1f1155cDisable interactive017 (again).Steven Shaw 6e66041Tweak for stylish-haskellSteven Shaw 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw f047221Add (broken) test case for "private functions"Steven Shaw 52c103fEnable test interactive017.Steven Shaw ec294a1Merge pull request #4043 from melted/issue_4013Niklas Larsson e88ad28Fail parsing imports in the standard mannerNiklas Larsson e03ff3dMerge pull request #3936 from mandubian/fix/master/1211Edwin Brady 532ef6cMerge branch 'master' into fix/master/1211Edwin Brady 4251ad8Merge pull request #4036 from msmorgan/feature/lexer-lookaheadJan de Muijnck-Hughes e69ce01Merge pull request #4029 from msmorgan/feature/lexer-primitivesJan de Muijnck-Hughes db95c2bMerge pull request #4041 from idris-lang/revert-4021-fix-dump-highlightsJan de Muijnck-Hughes 054978cRevert "Fix #4020: Fix duplication in output of `--hightlight`."Jan de Muijnck-Hughes 8c6a569Text.Lexer: add `non`, a kind of lexer negationMichael Morgan 2df69e8Text.Lexer: positive and negative lookaheadMichael Morgan 0488d1eBREAKING Text.Lexer: rename symbol and spaceMichael Morgan 55762f6Text.Lexer: hexDigit, hexDigits, hexLitMichael Morgan 96086d2Text.Lexer: add lower, lowers, upper, and uppersMichael Morgan 611c709Text.Lexer: add alpha, alphas, alphaNum, and alphaNumsMichael Morgan d1482feText.Lexer: add digit lexer and correct docsMichael Morgan 5aa99efMerge pull request #4028 from msmorgan/feature/lexer-combinatorsJan de Muijnck-Hughes b0dddf0Merge pull request #4027 from msmorgan/feature/lexer-optJan de Muijnck-Hughes 3fd9042Text.Lexer: add surround, quote, and escapeMichael Morgan 5d46db6Text.Lexer: fix bug in charLitMichael Morgan 4772454Text.Lexer: use opt instead of (<|> Empty)Michael Morgan 2700cefadd opt combinator to Text.LexerMichael Morgan de2dfc2Merge pull request #4024 from msmorgan/feature/correlativeNiklas Larsson 6e066f7Merge pull request #4023 from msmorgan/feature/pairs-implicitNiklas Larsson 14148f6Merge pull request #4025 from msmorgan/feature/lexer-choiceNiklas Larsson b9161b1Merge pull request #4009 from joom/masterNiklas Larsson 0e86734add `choice` combinator for LexersMichael Morgan 0b78de1Merge pull request #4021 from jfdm/fix-dump-highlightsJan de Muijnck-Hughes c51fd2dFix #4020: Fix duplication in output of `--hightlight`.Jan de Muijnck-Hughes 42cce7cremove Interfaces.Zippable in favor of Interfaces.CorrelativeMichael Morgan 59d2a1fadd Data.Pairs.Implicit for converting erased pairsMichael Morgan e2843b0Merge pull request #4019 from melted/simplify_rtsNiklas Larsson 234a799Merge pull request #4018 from msmorgan/feature/zippableNiklas Larsson cc6d29eRemove unused macrosNiklas Larsson 3f04ad4use liftA2 to implement zipWith for Maybe and EitherMichael Morgan 6a031c5add Interfaces.Zippable to contribMichael Morgan 33bff54Merge pull request #4016 from msmorgan/feature/stream-startWithNiklas Larsson f83cc0dMerge pull request #4017 from melted/net_winNiklas Larsson 6dbef7aimprove documentation for Data.Stream.Extra.startWithMichael Morgan 51a6379move `startWith` from prelude to contribMichael Morgan cecf6bfMake Network.Socket work on WindowsNiklas Larsson 9c56c15add startWith function to Prelude.StreamsMichael Morgan 82114d1Merge pull request #4015 from melted/fix_net_2Niklas Larsson 2410405Fix more places were getaddrinfo is usedNiklas Larsson 916111bMerge pull request #4012 from melted/issue_4001Niklas Larsson 673acd6Fix return check from idrnet_getaddrinfoNiklas Larsson