git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/Package/Parser.hs
all commits
9544b6fRun stylishJason Felice 90ae69bRename someSpace backJason Felice 739286eRemove unused language featuresJason Felice 1764f7fUse our own `token` instead of Text.Parser.TokenJason Felice e148a68WIPJason Felice 3e6b727Use TokenParsing from Text.ParsersJason 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 22587b2Make ParseError a newtypeJason Felice 5048ad4Introduce ParseError type aliasJason Felice e680962Return parse results using EitherJason Felice 1f8db23Import Trifecta qualified as PJason Felice 4878fe4Allow upper case letter in package name and only normalize for equality and on diskVincent Hanquez aabe0e4fix stylize issuesVincent Hanquez 8f7c6a9Allow to construct a PkgName only with a valid package nameVincent 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 c4ac8cbDrop support for GHC <= 7.10.3Thomas Scholtes c96fa48Add check for ipkg existence and correct extension.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 483fd4fBetter handling of optional main in package filesBartosz Przygoda cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes