git.iko.soy/Idris-dev
on f9e8ec2 help sign in
history ofsrc/Idris/AbsSyntax.hs
all commits
76c408fAdapt expandParamsD to new parameter docs field in PClassPaul Koerbitz 78ff448Bug fixing of induction bugsAhmad Salim Al-Sibahi 3c78dcbSimplify unused arg search.Matus Tejiscak 650b699Dummy commit to rerun a timeouted Travis buildTimo Petteri Sinnemäki bfc3c3eMerge branch 'master' of github.com:edwinb/Idris-dev into default-arg-substTimo Petteri Sinnemäki 8fcaa82Another wee comment adjustmentTimo Petteri Sinnemäki 751a6eeComment cleanup.Timo Petteri Sinnemäki c78fb14Fixed errors; partially complete default arg subsTimo Petteri Sinnemäki b696f28Make unique name generation much quickerEdwin Brady 3820110Ensure modules are loaded independentlyEdwin Brady d3eb486First attempt now at substitution to default argsTimo Petteri Sinnemäki fb6a0edCoverage checker fixEdwin Brady f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen dd20facAdd semantic highlighting info for metavariablesDavid Raymond Christiansen b1028f0TacImp script handling to various functions.Timo Petteri Sinnemäki 569a30cMerge branch 'master' of github.com:edwinb/Idris-devTimo Petteri Sinnemäki 63342c7Some helper comments that'll be removed laterTimo Petteri Sinnemäki 8325cedAllow getting and setting options from IDESlaveDavid Raymond Christiansen 7faf4e8Show argument names in :docDavid Raymond Christiansen c5cb67cFix simple applicationEdwin Brady f707c76Merge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 3e401fbImprove error pretty-printingDavid Raymond Christiansen 992acb4Fix regression with data declarations in whereEdwin Brady 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi a7e6550Merge pull request #962 from david-christiansen/markdown-docsEdwin Brady d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen be57f4aFix unbound implicit rulesEdwin Brady c1ef938New syntax for documentation commentsDavid Raymond Christiansen c37de47Propagate parameters to recordsEdwin Brady 7b32c97No need to export primitives as metavariablesEdwin Brady 2df0a7fStore metavariables in ibc filesEdwin Brady af0171eProver commands for evaluation and typechecking expressionsDavid Raymond Christiansen 2cff556Another unification fixEdwin Brady c959fb0Unification changesEdwin Brady 5987a95Report errors loading files using semantic highlightingDavid Raymond Christiansen 36527f6Report REPL errors in IDESlave with highlightingDavid Raymond Christiansen 8e6e14aMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen 3051cacMerge pull request #869 from david-christiansen/dynamic-lib-searchEdwin Brady 801aa83More consistency checking on inference constraintsEdwin Brady 71d7de0Some improvements in finding inference constraintsEdwin Brady 3848c07Record partial type inference infoEdwin Brady 36b8f59Improve search for dynamic librariesDavid Raymond Christiansen f6bebd3Proper pretty-printing of dependent pairsDavid Raymond Christiansen a83671eDon't use Curses to look for console width in IDESlaveDavid Raymond Christiansen fa9f021Fix silly name shadowing bug and add new testEdwin Brady 8cde632Merge pull request #846 from david-christiansen/semantic-pprintEdwin Brady e80f871Annotate and colour pairs and () properlyDavid Raymond Christiansen 49df329Make IdeSlave mode follow :consolewidth commandsMelvar Chen 4257d64Automatically detect console widthDavid Raymond Christiansen