git.iko.soy/Idris-dev
on d2a3cf0 help sign in
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 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