a057d03Added FIXME from Chaser.hs.Jan de Muijnck-Hughes12 years ago a3fa5a4Bring module loading into Idris monadDavid Raymond Christiansen12 years ago c733a8fParser warnings; especially for invalid doc commentsDavid Raymond Christiansen13 years ago e914ae0Add check for module alias clashes.Matus Tejiscak13 years ago f24a675Add the possibility to "import Module as Alias".Matus Tejiscak13 years ago 693e3e4Catch import errors in the right placeEdwin Brady13 years ago 3c32b65Whitespace cleanup.George Leontiev13 years ago b5eee09Convert IO errors into erros in the Idris monadDavid Christiansen13 years ago 73bdc53Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues.Ahmad Salim Al-Sibahi13 years ago e8f4bb1Some packaging fixesEdwin Brady13 years ago 6dc5ea2Fix name shadowing in whereEdwin Brady13 years ago 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 Brady13 years ago