on bcce759 help sign in
all commits
0b669c7Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7Jorge Acereda be43904Merge pull request #4623 from unalos/4292Niklas Larsson 0e6d7edparse either identitfier or stringLiteral for ipkg sourcedirDavid Smith 78cdbb9Accepting hyphens in libs declaration in ipkg format.Guillaume Yziquel 0940402Allow ipkg sourcedir to have deep locationDavid Smith 80b60a6Remove unnecesary imports and fix small hlint warningJoseph Morag 377d87a[ fix #4255 ] Not silently accepting invalid optionsGuillaume Allais fdbcc73[ fix #4304 ] Make the Module Name parser explicitGuillaume Allais b1a4264Improve error message locations (#4210)Jason Felice 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 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