anoma/vscode-juvix

Issues

• markdown syntax highlight broken

  #151 opened 2 months ago by tg-x
  0

• Juvix plugin complains about VampIR not being installed

  #150 opened 2 months ago by degregat
  0

• Changing the `typecheckOn` option requires restarting the extension for the option to take effect

  #149 opened 2 months ago by lukaszcz
  0

• Matching parens should be highlighted

  #121 opened 2 months ago by lukaszcz
  5

• Extension causes high cpu load

  #126 opened a year ago by jonaprieto
  4

• Type checking fails after deleting .juvix-build folder

  #123 opened 2 months ago by lukaszcz
  2

• The extension shouldn't launch multiple Juvix processes in parallel.

  #141 opened 2 months ago by lukaszcz
  0

• The pop-up window for errors doesn't contain proper error message

  #80 opened a year ago by lukaszcz
  4

• Error with typechecking on change

  #138 opened 2 months ago by lukaszcz
  2

• Update Juvix grammar to support 0.5.0

  #125 opened 2 months ago by paulcadman
  1

• Remove references to `--only-errors` flag

  #133 opened 2 months ago by janmasrovira
  0

• Add VampIR REPL

  #122 opened 4 months ago by jonaprieto
  0

• Typecheck and compile functionality fails

  #130 opened 4 months ago by heueristik
  0

• Adapt to the new CLI compile command syntax

  #127 opened 4 months ago by lukaszcz
  0

• Add Vamp-IR tasks

  #111 opened a year ago by vrom911
  0

• Formatting doesn't work

  #98 opened a year ago by lukaszcz
  2

• Version in the status bar never gets updated during a session

  #108 opened a year ago by jonaprieto
  0

• Use `format` subcommand instead of `dev scope` for formatting Juvix files

  #92 opened a year ago by jonaprieto
  1

• Automatically insert top module name

  #85 opened a year ago by jonaprieto
  0

• Change color for Judoc comments

  #76 opened a year ago by jonaprieto
  0

• Go-to definition stopped working

  #66 opened 2 years ago by vrom911
  0

• Use line comments instead of block by default

  #70 opened 2 years ago by vrom911
  0

• Syntax highlighting for JuvixCore doesn't highlight the `in` keyword

  #49 opened 2 years ago by lukaszcz
  0

• Stop creating random .juvix-build folders

  #50 opened 2 years ago by jonaprieto
  0

• Use juvix format instead of juvix dev scope

  #52 opened 2 years ago by jonaprieto
  0

• Clicking `run` doesn't work when `.juvix-build` doesn't exist

  #54 opened 2 years ago by lukaszcz
  3

• The `type` keyword is not highlighted in JuvixCore

  #46 opened 2 years ago by lukaszcz
  5

• The REPL fails to launch if bash has a different path than the hardcoded one

  #47 opened 2 years ago by lukaszcz
  3

• Syntax highlighting doesn't work on my Mac

  #48 opened 2 years ago by lukaszcz
  3

• The pop-up for function identifiers should show the type of the identifier

  #128 opened 6 months ago by lukaszcz
  0

• Identifiers are sometimes incorrectly labelled

  #124 opened a year ago by lukaszcz
  0

• Check and install VampIR binaries

  #113 opened a year ago by jonaprieto
  2

• Code disappears after formatting an already formatted file

  #114 opened a year ago by lukaszcz
  3

• The choice of color for constructors is poor in the dark mode

  #106 opened a year ago by lukaszcz
  2

• Shell environment is not refreshed after Juvix is installed (so the juvix binary is not found)

  #109 opened a year ago by paulcadman
  0

• The highlighting colors in the source and the REPL don't match

  #107 opened a year ago by lukaszcz
  2

• Suddenly things started getting italic for no reason

  #103 opened a year ago by lukaszcz
  1

• Textmate scope highlight args as comments

  #102 opened a year ago by vrom911
  0

• "Insert module" inserts module name with a dot at the front

  #99 opened a year ago by lukaszcz
  1

• Add registerSignatureHelpProvider to prompt function signature

  #97 opened a year ago by jonaprieto
  0

• Local let-bound variables are coloured as if they were global identifiers

  #94 opened a year ago by lukaszcz
  0

• Documentation button is now broken

  #73 opened a year ago by jonaprieto
  1

• Highlighting is extremely slow

  #79 opened a year ago by lukaszcz
  4

• VSCode extension constantly displays the terminal window with errors in it while typing

  #77 opened a year ago by lukaszcz
  2

• Geb files cannot be saved

  #51 opened a year ago by lukaszcz
  4

• Error underlines do not disappear unless one manually typechecks the code

  #65 opened a year ago by jonaprieto
  0

• Syntax highlighting leaves out the last 2 characters in some comment lines

  #72 opened a year ago by bazzilic
  0

• The extension doesn't correctly handle location intervals spanning several lines

  #60 opened a year ago by lukaszcz
  3

• Pre-commit in the CI is not working properly

  #68 opened 2 years ago by jonaprieto
  0

• Don't format the JuvixCore files

  #45 opened 2 years ago by lukaszcz
  1