git.iko.soy/Idris-dev
on d773edd help sign in
history ofsrc/Idris/Parser/Data.hs
all commits
b1a4264Improve error message locations (#4210)Jason Felice c047c24fix warning text for '%elim' in parserMichael Morgan 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes a858866WIPJason Felice 1f8db23Import Trifecta qualified as PJason Felice 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 3dc90d3Fix for implicits in recordsEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 635fb40Unify almost identical checkFixity' functions.Björn Aili a6f56ceFix #3275Björn Aili 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 9297ae4Allow 'data' declarations in interfacesEdwin Brady c7bac29Extended syntax for 'with' blocksEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes