Comments (2)
I think the issue is probably because the compiler now outputs relative file paths instead of absolute. Can you confirm you're using 0.11.x purs compiler?
(I think I'd make the fix elsewhere, similarly to what we're doing for error reporting).
from vscode-ide-purescript.
Published a fix for this (also goto symbol), lmk if any issues
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.