git.iko.soy/Idris-dev
on c79fb21 help sign in
history ofsrc/Idris/Parser.hs
all commits
480024cRemove all the handle argumentsDavid Raymond Christiansen 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert 382542aAdd %no_implicit directiveEdwin Brady 72cddc6Generate legal names for infix op lemmasDavid Raymond Christiansen c201192Bring erasure info to the case tree builder.Matus Tejiscak e5bc47eDistinguish postulate providers and type providers at use siteDavid Raymond Christiansen 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman 9907240Add new Err constructor to disambiguate the CantResolveAlts constructor.bmsherman 5c4ee75Make load to line work with mutual blocksEdwin Brady 94fc13cIDESlave support for :loadtoDavid Raymond Christiansen 602552eAdd :loadto commandEdwin Brady 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