git.iko.soy/Idris-dev
on 9544b6f help sign in
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 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 bbefa33Fixes for error formattingJason Felice 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 1142989integer is unusedJason Felice 0f62a75Implement whiteSpace directlyJason Felice e3089d1Remove remanining HasLastTokenSpan referencesJason Felice 3e6b727Use TokenParsing from Text.ParsersJason Felice a817addConvert IdeMode.hs to use megaparsecJason Felice 0a7dcf0Run stylishJason Felice 8d460e9Don't need a newtype for inner parserJason Felice 497bf25Remove a use of P.tokenJason Felice c0ff21aImplement our own someSpaceJason Felice 6cb8f74Remove unused parsing typeclassesJason Felice 6263397Use modifyJason Felice 09b9c07Move someSpaceJason Felice b188fe1Refactor package parser somewhatJason Felice 6a10910Extract textUntilEolJason Felice fdfcdd3Explicitly import parser helpersJason Felice e057386Simplify symbol parsingJason Felice 0ac4f96identifiers & reserved without Text.Parsers.TokenJason Felice 5b3f95aRemove unused Core.TT.vinstancesJason Felice f590608Reexport parseErrorDoc from Idris.ParserJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 44a3f9cMerge pull request #4162 from reiner-dolp/masterNiklas Larsson 48fa745IdrisDoc, set charset and viewportReiner Dolp 2eec999Merge pull request #4156 from msmorgan/fix-fixitiesAhmad Salim Al-Sibahi 3b53f2dMerge pull request #4158 from jfdm/update-pdfJan de Muijnck-Hughes 4b384ddFix DOC version number and update shipped PDF.Jan de Muijnck-Hughes 8a34c86adjust fixities of common operatorsMichael Morgan b83d4baMerge pull request #4151 from msmorgan/string-funcsNiklas Larsson