git.iko.soy/Idris-dev
on fdfcdd3 help sign in
history ofsrc/Idris/Package/Parser.hs
all commits
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