Comments (4)
texastoland
commented on July 29, 2024
Never mind it'd be much preferable if Go to definition
opened the file.
from vscode-ide-purescript.
i-am-the-slime
commented on July 29, 2024
I think it would still be useful to be able to open the FFI file (and create one if there isn't yet). It must be named the same as the .purs file and a machine should be able to do this task. Also, how do you get back to the "non-FFI" file?
from vscode-ide-purescript.
nwolverson
commented on July 29, 2024
Is toggle between the two more useful or 2 separate commands?
Imagining this is something not keybound by default but you'd want to do so if you were using it
from vscode-ide-purescript.
i-am-the-slime
commented on July 29, 2024
Toggling is nice. I guess in a perfect world it would be also possible to switch to actual exports and their foreign import counterparts.
from vscode-ide-purescript.
Related Issues (20)
- GoTODefination having issue HOT 2
- 'PureScript: Clean' resulted in an error (command 'purescript.clean' not found) HOT 3
- Web extension support HOT 2
- Enable for vscode.dev? HOT 1
- Wrong purs path taken when using nvm HOT 3
- How to disable overlay of export options HOT 1
- Pursuit search doesn't work HOT 2
- formatters fails on windows HOT 5
- New option for syntax highlighting of MissingTypeDeclaration HOT 1
- Is there a way to remove "export (export only this) | export everything else" HOT 3
- Go to symbol in workspace does nothing in 0.26 HOT 3
- Is there any way to see var types? HOT 1
- Warnings can stick around even when no longer relevant.
- Keep formatting/indentation in problems pane error messages HOT 1
- Ctrl + click on a type named Field always opens Data.Field
- Reloading VSCode window sometimes results in exceptions
- Autocomplete for qualified values not optimal HOT 4
- Question:Can it support data constructor autocomplete? HOT 2
- Outline shows only exported values/types HOT 1
- Formatter local installation HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from vscode-ide-purescript.