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