git.iko.soy/Idris-dev
on 24bfcd8 help sign in
history ofsrc/Idris/AbsSyntaxTree.hs
all commits
1921424Add :apropos command to REPLDavid Raymond Christiansen 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi db306caMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/parserspanningAhmad Salim Al-Sibahi a7e6550Merge pull request #962 from david-christiansen/markdown-docsEdwin Brady 2d79c85Merge pull request #958 from david-christiansen/reflection-reflectionEdwin Brady d910c2cUse Markdown to represent docstringsDavid Raymond Christiansen 8f93b00Syntax for failures in pattern matching let/<-Edwin Brady 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen a7217f1Tweak scoping rules in instance generationEdwin Brady 419b35cAdded span in parser stateAhmad Salim Al-Sibahi c1ef938New syntax for documentation commentsDavid Raymond Christiansen bd744f1Propagate function name to tacticsEdwin Brady 8319e27Merge pull request #937 from david-christiansen/postulate-providersEdwin Brady 2df0a7fStore metavariables in ibc filesEdwin Brady 0875310Control whether provider decls accept postulatesDavid Raymond Christiansen 151d4efMerge pull request #924 from david-christiansen/prover-new-commandsEdwin Brady af0171eProver commands for evaluation and typechecking expressionsDavid Raymond Christiansen c733a8fParser warnings; especially for invalid doc commentsDavid Raymond Christiansen b82f552Improve pretty-printing of function applicationsDavid Raymond Christiansen eea7c61Flatten tuples to right in pretty printerDavid Raymond Christiansen 8e6e14aMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen 3848c07Record partial type inference infoEdwin Brady 6c4d0f1Fix for metavariables in type declarationsEdwin Brady f6bebd3Proper pretty-printing of dependent pairsDavid Raymond Christiansen e80f871Annotate and colour pairs and () properlyDavid Raymond Christiansen 4df19e9Minor tweak to pretty-printing lambdaDavid Raymond Christiansen 544546dMerge pull request #834 from david-christiansen/semantic-pprintEdwin Brady 63d2989Add --repl [package] command line optionEdwin Brady 28ffcf8Correctly pretty-print no-argument NilDavid Raymond Christiansen 4257d64Automatically detect console widthDavid Raymond Christiansen b1f049bMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 889d848Change 'run' in neweffects to add defaultsEdwin Brady 41d3dafUse the pprint library to insert line breaksDavid Raymond Christiansen da24632Render using console widthDavid Raymond Christiansen 380e1caMerge branch 'master' into error-reflectionDavid Raymond Christiansen fee6a00Merge pull request #806 from ziman/import-asEdwin Brady e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen a2226adMerge remote-tracking branch 'origin/error-reflection' into error-reflectionDavid Raymond Christiansen 8c620dcMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen 9eb64f4Rewrite error printing to use the pretty-printerDavid Raymond Christiansen f3d1adaFix pretty-printing of infix operatorsDavid Raymond Christiansen f24a675Add the possibility to "import Module as Alias".Matus Tejiscak 13c6effProperly annotate the Type of TypesDavid Raymond Christiansen 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 5f0c449Colouring support in the proverDavid Raymond Christiansen 13f3c29Basic functioning with new pretty-printerDavid Raymond Christiansen 803194fArgument options (instead of just a Bool for lazy)Edwin Brady b8d7935Hide original errors upon reflective rewriteDavid Raymond Christiansen