git.iko.soy/Idris-dev
on master help sign in
history ofsrc/Idris/Chaser.hs
all commits
fb301a5Forget stylish... again...Edwin Brady 778bd17Faster dependency chasingEdwin Brady ab9a0fdFix stylish problemsEdwin Brady 8c10469Faster dependency chasingEdwin Brady d23221bFix efficiency problem with module chasingEdwin Brady 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 5d7388bMove extensions into source filesEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 8bd99edDetect cycles in importsEdwin Brady fe38aacCache information when module chasingEdwin Brady bddc058(Temporary) remove hasValidIBCVersion checkEdwin Brady d5bde22Check if existing IBC file has old version in Chaser.hsPaul Koerbitz 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen 160e7e1Trim trailing spaces when getting a file name from the REPLNiklas Larsson 67a9d66Permit use of spaces in paths when entered from REPL and as argsNiklas Larsson 4dd164cSet encoding for read files.Niklas Larsson 6b803b7Allow documentation for modulesDavid Raymond Christiansen a2ab10cFix interactive annoyance in vimEdwin Brady 7b5f4aaFix visibility of imported thingsEdwin Brady a057d03Added FIXME from Chaser.hs.Jan de Muijnck-Hughes a3fa5a4Bring module loading into Idris monadDavid Raymond Christiansen c733a8fParser warnings; especially for invalid doc commentsDavid Raymond Christiansen e914ae0Add check for module alias clashes.Matus Tejiscak f24a675Add the possibility to "import Module as Alias".Matus Tejiscak 693e3e4Catch import errors in the right placeEdwin Brady 3c32b65Whitespace cleanup.George Leontiev b5eee09Convert IO errors into erros in the Idris monadDavid Christiansen 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi e8f4bb1Some packaging fixesEdwin Brady 6dc5ea2Fix name shadowing in whereEdwin Brady 0aca9f2New module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging around when building packages, and has required some fixes to imports in the library.Edwin Brady