git.iko.soy/Idris-dev
on e23ebda help sign in
history ofsrc/Idris/Parser.hs
all commits
e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen e16c068Documentation for primitivesDavid Raymond Christiansen aabd0a9Allow %name to take an infix name as an argument.David Raymond Christiansen 7143962Make totality a warning until compilingDavid Raymond Christiansen 0663f4dMerge pull request #1183 from pminten/ppoptEdwin Brady 5e3c248Change impl argument to a pretty printing opt recordPeter Minten 104635bPrevent double-printing some FCsDavid Raymond Christiansen da45e7dFollow IDESlave protocol when import not foundDavid Raymond Christiansen a3fa5a4Bring module loading into Idris monadDavid Raymond Christiansen 4035b5dAdd a field for parameter docstrings in the PClass constructor of PDecl'Paul Koerbitz 08fbb4eSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.Ahmad Salim Al-Sibahi 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