git.iko.soy/Idris-dev
on 08ddbaa help sign in
history ofsrc/Idris/REPL.hs
all commits
128d070Remove some dead code.Matus Tejiscak 4957a33Make --nowarnreach the default (for now).Matus Tejiscak bfd9900Add --nowarnreach.Matus Tejiscak dfb2663Run erasure analysis even when not compiling.Matus Tejiscak 72b473dMove Erasure back into Idris/.Matus Tejiscak fe0e037Move erasure to IRTS.Matus Tejiscak d4562c4Remove the old findUnusedArgs.Matus Tejiscak 2ac5aaaRename UnusedArgs to Erasure.Matus Tejiscak 264be6bExtract giant case block to top-level functionDavid Raymond Christiansen 22d4f7eMerge pull request #1046 from david-christiansen/metavar-ideslaveEdwin Brady 4e7a0eeMerge pull request #1039 from david-christiansen/issue/1029Edwin Brady e3cfa93Add command to IDESlave for metavarsDavid Raymond Christiansen 860cdc0Show type class parameters in :iDavid Raymond Christiansen f6b036cProperly show superclass constraints in :iDavid Raymond Christiansen f927e7fUse pretty-printer for :i commandDavid Raymond Christiansen 6aeacd8Make parsing respect the nocolour flagBrian McKenna 3820110Ensure modules are loaded independentlyEdwin Brady 4ffc9b3Return the name of the temp file from :exec in IDESLaveDavid Raymond Christiansen f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen 8325cedAllow getting and setting options from IDESlaveDavid Raymond Christiansen 7faf4e8Show argument names in :docDavid Raymond Christiansen 85852c2Fix line number on invocation of :eEdwin Brady e9ef380Support text formatting in docstringsDavid Raymond Christiansen 8c7bde9Improve display of :aproposDavid Raymond Christiansen bb3a7b7Support :apropos in IDESlaveDavid Raymond Christiansen 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 423b4c4Allow users to disable the auto-solve in the proverDavid Raymond Christiansen bd744f1Propagate function name to tacticsEdwin Brady 151d4efMerge pull request #924 from david-christiansen/prover-new-commandsEdwin Brady af0171eProver commands for evaluation and typechecking expressionsDavid Raymond Christiansen abd3c34Don't check hostname on network connections to REPL from editors.Leif Warner 71b477bAdd IDESlave command for getting documentationDavid Raymond Christiansen dbad038Support explicit namespaces in IDESlave :type-ofDavid Raymond Christiansen 791bd36Use the pretty-printer to show :docDavid Raymond Christiansen c7c9f4bTurn of width detection in batch modeDavid Raymond Christiansen 5987a95Report errors loading files using semantic highlightingDavid Raymond Christiansen 36527f6Report REPL errors in IDESlave with highlightingDavid Raymond Christiansen 36b8f59Improve search for dynamic librariesDavid Raymond Christiansen 39636cfApply error reversal to metavariablesEdwin Brady 8cde632Merge pull request #846 from david-christiansen/semantic-pprintEdwin Brady 49df329Make IdeSlave mode follow :consolewidth commandsMelvar Chen adadee1Use pretty-printer to show the result of :xDavid Raymond Christiansen 544546dMerge pull request #834 from david-christiansen/semantic-pprintEdwin Brady 63d2989Add --repl [package] command line optionEdwin Brady 4257d64Automatically detect console widthDavid Raymond Christiansen 106061dUse pretty-printer to display :t for metavarsDavid Raymond Christiansen e46603aMerge remote-tracking branch 'upstream/master' into error-reflectionDavid Raymond Christiansen de72eb9More IDESlave semantic highlightingDavid Raymond Christiansen 4d2185bSupport semantic highlighting in IDEslave modeDavid Raymond Christiansen