anoma / vscode-juvix Goto Github PK
View Code? Open in Web Editor NEWVSCode extension for Juvix
Home Page: https://marketplace.visualstudio.com/items?itemName=heliax.juvix-mode
License: GNU General Public License v3.0
VSCode extension for Juvix
Home Page: https://marketplace.visualstudio.com/items?itemName=heliax.juvix-mode
License: GNU General Public License v3.0
This happens each time a Juvix file is opened in VSCode. The folders are not deleted. They should be created in the temporary directory.
Use the subcommand read
for each language, respectively.
That's a standard shortcut (see how it works in Haskell mode).
The new command was added by:
Atm, we can only open a REPL if the active editor is a Juvix program.
Info to display: location of definition (file, line), type, associated judoc comment. This is standard behavior (see the Haskell mode). Perhaps one needs a language server for this, but since we can do jumping to definition, then we should at least be able to display the location of definition?
Thanks to
one can run now juvix dev scope fileName.juvix --with-comments
to get as standard output a nice Juvix program formatted.
This issue occurs when working in VSCode without any workspace open.
For some reason, this extension is creating random .juvix-build folders in the user's system while running. This behaviour is unexpected and can lead to clutter in the user's file system
Describe the bug
In the VS code support, ctrl+c does not copy text due to a clash in key bindings. This is very unexpected for users.
Expected behavior
Ctrl+C copies text to clipboard
The result is that if you have both extensions enabled, then Shift+Alt+L is bound either to starting Juvix REPL or a Bookmarks command.
I suggest using Shift+Alt+R instead.
We want buttons same as we have for Juvix programs, namely:
Buttons for:
There exists a subcommand, juvix dev core read
that may be used for formatting the code.
When you start typing and you haven't yet finished writing correct code, all highlighting disappears, including of the already correct code typed earlier. This is very annoying.
If you type in
module Bug;
end;
save, then change it to
module Bug;
f : Nat -> Nat;
f x := x;
end;
and save, then the module body disappears with no error message and you get
module Bug;
end;
back again.
The MBE is the Fibonacci example.
When I click the "typecheck" button, the result of typechecking isn't displayed on success unless the result window is already open.
Add the option to turn on/off the flag: --only-source
for the HTML comand.
After clicking run
in a Juvix file I get:
The terminal process failed to launch: Starting directory (cwd) "/Users/heliax/Documents/juvix-2/.juvix-build" does not exist.
For instance, when putting the cursor inside to-str
only to
or str
are highlighted, but not the whole identifier. Or in Stdlib.System.IO
only Stdlib
, System
or IO
are highlighted, but not the whole thing.
In general, highlighting always highlights any alphanumeric chunk of text even if it's not an identifier (keywords, text inside string literals). It should highlight only identifiers. See how it works with the Haskell extension.
Trying to save a *.geb file reverts to the previous content.
More precisely, I have a file with "6" in it on a single line, try to change it to "32", save, and it reverts back to "6".
I think it should - it's a run
command, not a compile
command. Then I'm left with binary files in the source directory which I need to delete manually.
When I click the "typecheck" button I get:
Invalid argument `/home/heliax/Documents/juvix/examples/milestone/Collatz/Collatz.juvix'
Usage: juvix ((-v|--version) | (-h|--help) | COMPILER_CMD | UTILITY_CMD)
[--no-colors] [--show-name-ids] [--internal-build-dir BUILD_DIR]
[--no-format] [--stdin] [--only-errors] [--no-termination]
[--no-positivity] [--no-stdlib]
The Juvix compiler.
* The terminal process "/usr/bin/bash '-c', 'juvix --internal-build-dir .juvix-build /home/heliax/Documents/juvix/examples/milestone/Collatz/Collatz.juvix'" failed to launch (exit code: 1).
I constantly get a pop-up window saying "The task 'juvix: typecheck' is already active" and the error messages pop up constantly in the terminal window while typing. Maybe there should be some delay like a few seconds before you type check, or do type checking only after one stops typing, with a delay of a second or so?
(originally by @batconjurer)
Syntax highlighting for partial expressions would be very helpful. Currently, only get it after a line is well formed.
Currently, instead of heading to the resource file like /some/path/Module.juvix
it leads to /some/path/Module.juvix,11,3
.
This means that the result of the highlight command is not properly parsed on the extension side.
When editing code, error underlines persist even after the problematic code has been fixed. The error underlines only disappear after the code is typechecked again.
After fixing the error, the underline should disappear automatically without needing to trigger a type check manually.
The error underline persists until the code is type-checked again.
Implement an automatic type check or error check when the code is updated (in the background), so the underline gets removed once the error is fixed.
It's a no-op. It doesn't launch the REPL, even though there are no conflicting keybindings. I think there is some conflict with Alt+R which launches some VSCode popup about searching for regular expressions.
I propose we try changing this to Shift+Alt+E (for Evaluation).
TAB characters are not accepted by the Juvix compiler, so it should insert spaces instead.
That's a standard shortcut (see how it works in Haskell mode). Perhaps one needs a language server for this?
The JuvixCore pretty printer is not suitable for formatting. For now, the output cannot even be parsed.
Task provider with the following:
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.