git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
bcce759
help
sign in
history of
src/Idris/Package/Parser.hs
all commits
0b669c7
Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7
Jorge Acereda
8 years ago
be43904
Merge pull request #4623 from unalos/4292
Niklas Larsson
8 years ago
0e6d7ed
parse either identitfier or stringLiteral for ipkg sourcedir
David Smith
8 years ago
78cdbb9
Accepting hyphens in libs declaration in ipkg format.
Guillaume Yziquel
8 years ago
0940402
Allow ipkg sourcedir to have deep location
David Smith
8 years ago
80b60a6
Remove unnecesary imports and fix small hlint warning
Joseph Morag
8 years ago
377d87a
[ fix #4255 ] Not silently accepting invalid options
Guillaume Allais
9 years ago
fdbcc73
[ fix #4304 ] Make the Module Name parser explicit
Guillaume Allais
9 years ago
b1a4264
Improve error message locations (#4210)
Jason Felice
9 years ago
3ccb494
Remove the empty property 'copyright'.
Jan de Muijnck-Hughes
9 years ago
9544b6f
Run stylish
Jason Felice
9 years ago
90ae69b
Rename someSpace back
Jason Felice
9 years ago
739286e
Remove unused language features
Jason Felice
9 years ago
1764f7f
Use our own `token` instead of Text.Parser.Token
Jason Felice
9 years ago
e148a68
WIP
Jason Felice
9 years ago
3e6b727
Use TokenParsing from Text.Parsers
Jason Felice
9 years ago
0a7dcf0
Run stylish
Jason Felice
9 years ago
8d460e9
Don't need a newtype for inner parser
Jason Felice
9 years ago
497bf25
Remove a use of P.token
Jason Felice
9 years ago
c0ff21a
Implement our own someSpace
Jason Felice
9 years ago
6cb8f74
Remove unused parsing typeclasses
Jason Felice
9 years ago
6263397
Use modify
Jason Felice
9 years ago
09b9c07
Move someSpace
Jason Felice
9 years ago
b188fe1
Refactor package parser somewhat
Jason Felice
9 years ago
6a10910
Extract textUntilEol
Jason Felice
9 years ago
fdfcdd3
Explicitly import parser helpers
Jason Felice
9 years ago
22587b2
Make ParseError a newtype
Jason Felice
9 years ago
5048ad4
Introduce ParseError type alias
Jason Felice
9 years ago
e680962
Return parse results using Either
Jason Felice
9 years ago
1f8db23
Import Trifecta qualified as P
Jason Felice
9 years ago
4878fe4
Allow upper case letter in package name and only normalize for equality and on disk
Vincent Hanquez
9 years ago
aabe0e4
fix stylize issues
Vincent Hanquez
9 years ago
8f7c6a9
Allow to construct a PkgName only with a valid package name
Vincent Hanquez
9 years ago
f732f9d
Introduce a PkgName abstraction to represent package name instead of String
Vincent Hanquez
9 years ago
d4bd8e6
Clean up unused imports (#4065)
Jason Felice
9 years ago
5d7388b
Move extensions into source files
Edwin Brady
9 years ago
c4ac8cb
Drop support for GHC <= 7.10.3
Thomas Scholtes
9 years ago
c96fa48
Add check for ipkg existence and correct extension.
Jan de Muijnck-Hughes
9 years ago
e6ceb5c
Alphabetize and indent imports and LANGUAGE pragmas
Echo Nolan
10 years ago
483fd4f
Better handling of optional main in package files
Bartosz Przygoda
10 years ago
cc1d697
Improvements to iPKG code.
Jan de Muijnck-Hughes
10 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list