Skip to content

Latest commit

 

History

History
144 lines (104 loc) · 9.9 KB

CHANGELOG.md

File metadata and controls

144 lines (104 loc) · 9.9 KB
Raw

Changelog

0.9.8

  • Add option to toggle showing output channel of displaying typechecking result #109
  • Ignore huge image files when publishing to marketplace #110
  • Add option to control the max times of continuous typechecking in order to avoid memory leaking without reducing user experience #111
  • Mock a maybe monad to simplify nullary checking #112

0.9.6

  • Latex completion for replCompletion mode #104
  • Completion with symbols in whole project for allWords mode #102
  • Use status bar to show type checking and totality checking status #106
  • Fix typechecking pending bug 319a384
  • Add document highlights for more precise semantic sensitive symbol selection highlighting #107
  • Add function parameter type hints #51

0.9.3

  • Remove doubling single quote 6e8edbd @be5invis
  • Support option to turn of totality checking(partial warning) 1af2b48 @be5invis
  • Integrate idringen, support project scaffolding #87
  • Support search value by its type signature #88
  • Fix loading path without any path separator when start REPL on Windows #100 @Cedric-Venet
  • Fix replCompletion mode of auto-completion not working after type checking failed #101

0.9.0

  • Improvement for using with standalone Idris file #94
  • Improvement for using on Windows #93
  • Fix loading empty string when starting REPL on windows #92 @be5invis
  • Nullify ideModeRef after project options have been changed 5306560 @dramforever
  • Update syntax file for parameter block dec5b09 @be5invis
  • Update syntax file for quasiquote 86e621b @be5invis
  • Add a portable prelaunch script #89
  • Fix memory leak when type checking failed #86
  • Update syntax file for tail comments 69fe18d

0.8.9

  • Auto-completion module names in iPKG file #62
  • Go to the definition of a concrete module file from iPKG file #68
  • Literate programming improvement #79
  • Extension activates on Idris file, iPKG file and literate Idris file #80
  • Auto-completion module names in import clause of Idris file and literate Idris file #81
  • Auto-completion for Idris keywords and iPKG keywords #82

0.8.6

  • Support totality checking for functions #58
  • Better support for literate programming #75
  • Support Add proof clause command #76
  • Update syntax file to fix context signature df29a52 @be5invis
  • Update code snippets 3c1c869

0.8.3

  • Update syntax file to support numbers in module names 2ceb72d @be5invis
  • Support Latex snippets #49
  • Support go to module file from import clause #72
  • Support go to definition with module alias and re-export import clause #71

0.8.0

  • Performance improvement for Search Symbol #70
  • Remove default keybindings completely #69
  • Find All References #27
  • Rename Symbol and Change all occurrences #50
  • Update code snippets #61

0.6.9

  • Support Go to Symbol and Search Symbol #48
  • Find definition improvement #67
  • Fix Can't find import bug for typechecking #66

0.6.6

  • Go to Definition and Peek Definition improvement #63
  • Fix can not Start/Reload REPL for Windows #60 @be5invis

0.6.3

  • Support Go to Definition and Peek Definition #21
  • Fix Can't find import bug for REPL #59
  • Fix command confliction on unsaved files #55
  • Insert new line for Add Clause command #56 @wkwkes

0.6.1

  • Fix huge memory usage issue #52
  • Fix shortcuts confliction again #53
  • Update commands' title #54

0.6.0

  • Support Cleanup Idris binary files action #42
  • Add when-clause-context for right-click menu items #44
  • Support a new auto-completion mode which will always include all words from the currently opened documentation #43

0.3.9

  • Fix a typo #36
  • Hover text should have the same syntactical render with the source code #33
  • Support hover on identifiers with a single quote, e.g. name' and 'name #35
  • Show more user-friendly error message for hover #32
  • Support customizing Idris executable path #38
  • Do not show duplicate hover when it is inside a diagnostic #39
  • Fix a corner case issue for Add Clause command #41
  • Add Idris commands to right-click menu #34
  • Trim redundant whitespace and new-line character for Show Documentation command #40
  • Support customizing hover behavior #37

0.3.7

  • Eliminate warning messages for hover #28

0.3.6

0.3.3

  • Update syntax files #16

0.3.2

  • Support fully featured REPL #3 #17
  • Support single Idris file #9
  • Fix shortcuts confliction #15 @be5invis

0.3.1

  • Update syntax to followed up Idirs 0.99.1 @be5invis
  • Add key binding filter for actions @be5invis
  • Fix typo for the title of idris.docs-for command @FinnNk

0.3.0

  • Basic features #4