git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Parser/Helpers.hs
all commits
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 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 61d52a2Fix up parsing typeclassesJason Felice e148a68WIPJason Felice 1142989integer is unusedJason Felice 0f62a75Implement whiteSpace directlyJason Felice e3089d1Remove remanining HasLastTokenSpan referencesJason Felice 3e6b727Use TokenParsing from Text.ParsersJason Felice 8d460e9Don't need a newtype for inner parserJason Felice c0ff21aImplement our own someSpaceJason Felice 6cb8f74Remove unused parsing typeclassesJason Felice e057386Simplify symbol parsingJason Felice 0ac4f96identifiers & reserved without Text.Parsers.TokenJason Felice 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 13308b1Allow declaring fixity of ticked operators (#4140)Jason Felice 4878fe4Allow upper case letter in package name and only normalize for equality and on diskVincent Hanquez f732f9dIntroduce a PkgName abstraction to represent package name instead of StringVincent Hanquez d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes 491633bSyntax for linear argumentsEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0df1270Change Instance to implementation (#3404)(λ _ λ) 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) c3f0755replace code level class symbol with inferfacezjhmale a09a1bfBuild with GHC8 and trifecta-1.6David Kraeutmann 0896073Added documentation for modules.Jan de Muijnck-Hughes 254a227More control over resolving named implementationsEdwin Brady 4ce82f8Pass scope through to local interfacesEdwin Brady e9cb749Refactor operator/reserved word parsingEcho Nolan ceff983Add @ to reserved operatorsEcho Nolan a009be6Allow setting function flags on instancesEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes