git.iko.soy/Idris-dev
on dcdebfc help sign in
history ofsrc/Idris/Parser.hs
all commits
6857d73Merge pull request #1035 from puffnfresh/bug/parser-nocolourEdwin Brady 6aeacd8Make parsing respect the nocolour flagBrian McKenna bfc3c3eMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki c78fb14Fixed errors; partially complete default arg subsTimo Petteri Sinnemäki 3820110Ensure modules are loaded independentlyEdwin Brady f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen 9c99a07Add 'covering' function optionEdwin Brady 303e100Fix reading of line/column on parse errorsEdwin Brady 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen 8319e27Merge pull request #937 from david-christiansen/postulate-providersEdwin Brady 2df0a7fStore metavariables in ibc filesEdwin Brady 0875310Control whether provider decls accept postulatesDavid Raymond Christiansen c733a8fParser warnings; especially for invalid doc commentsDavid Raymond Christiansen c712ddbActually parse documentation stringsDavid Raymond Christiansen 9d559e9Use pretty-printer for errors in importsDavid Raymond Christiansen 5987a95Report errors loading files using semantic highlightingDavid Raymond Christiansen 0c27247Allow class names to be infixDavid Raymond Christiansen 380e1caMerge branch 'master' into error-reflectionDavid Raymond Christiansen 961f9b4Merge pull request #797 from jfdm/documentationEdwin Brady fee6a00Merge pull request #806 from ziman/import-asEdwin Brady e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 8c620dcMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen e914ae0Add check for module alias clashes.Matus Tejiscak 41a6c5eFix namespace ordering.Matus Tejiscak f24a675Add the possibility to "import Module as Alias".Matus Tejiscak c0cc1ddMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen dc4ce0cReplace the string-slinging show with pretty-printDavid Raymond Christiansen fe3f03fAdded %error_reverse annotationEdwin Brady 878653bUpdated Haddock Documentation.Jan de Muijnck-Hughes bab6c7bAdd error handlers to IBC filesDavid Raymond Christiansen 0ab30e7Restrict error reflection scope to one argumentDavid Raymond Christiansen 1f67398Specific-function error reflection: basic infrastructureDavid Raymond Christiansen 9aa723eImplicit "module Main" addedEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady a7859f6Resolve name hints before adding to .ibcEdwin Brady 770a3a7Display errors properly on IBC load failureEdwin Brady 8b7f8adPerformance improvement: name supplyEdwin Brady 8f95300Allow functions to be declared as error handlersDavid Christiansen 67da31aMerge branch 'master' into cabal-libraryBrian McKenna cbe9965on error, report the column, as well as the line number in the ideslave mode.Hannes Mehnert 99beed8Default superclass intancesBrian McKenna e803aeaDon't reset totality for non-total thingsEdwin Brady 4a0eba1Add %name directive for naming hints in editing.Edwin Brady 232a592Replace partial `showDeclImp` function with total `dumpDecl`Brian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna ec3daa4Make sure deferred definitions get totality checkedEdwin Brady 6625b24Turn off optimisations when compiling parserJan Stolarek