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