systems
December 24, 2021, 6:03am
#1
Is this donation link official
2 Likes
I believe the money goes towards paying for infrastructure costs (e.g. Discourse instance, Try PureScript, Pursuit, etc.). It doesn’t go towards compiler development.
1 Like
Yes, it’s official, and as @JordanMartinez said it pays for the servers that run Try PureScript, the Discourse, Pursuit, and the upcoming registry.
EDIT: I should add that we don’t need any more donations at this time, our costs are covered
4 Likes
is there any way to help with compiler development?
There is no direct funding of compiler development, but we’ve started to spin up working groups for specific compiler features (like ES modules support) that you can follow along with and find ways to help. Some of that might be on the feature itself, or help testing it, or help upgrading libraries downstream, and that sort of thing.
3 Likes
thanks, I’m happy to help I was thinking about finding a solution for these issues
opened 09:34AM - 06 Nov 20 UTC
enhancement
external
I have a code that compiles and runs in a browser, but no autocompletion/suggest… ion features seem to work while editing.
Errors are shown on save:
In the output there is many warnings like that:
```
[Warn] Failed to resolve reexports for Type.RowPrim.RowTypeClassRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\Row.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 23, sourcePosColumn = 28}}) (ProperName {runProperName = "Cons"})Prim.RowTypeClassRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\Row.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 23, sourcePosColumn = 28}}) (ProperName {runProperName = "Lacks"})Prim.RowTypeClassRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\Row.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 23, sourcePosColumn = 28}}) (ProperName {runProperName = "Nub"})Prim.RowTypeClassRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\Row.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 23, sourcePosColumn = 28}}) (ProperName {runProperName = "Union"})
[Info - 2:33:09 PM] [Warn] Failed to resolve reexports for Type.RowListPrim.RowListTypeRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\RowList.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 94, sourcePosColumn = 50}}) (ProperName {runProperName = "Cons"}) (Just [])Prim.RowListTypeRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\RowList.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 94, sourcePosColumn = 50}}) (ProperName {runProperName = "Nil"}) (Just [])Prim.RowListTypeClassRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\RowList.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 94, sourcePosColumn = 50}}) (ProperName {runProperName = "RowToList"})Prim.RowListKindRef (SourceSpan {spanName = ".spago\\typelevel-prelude\\v5.0.2\\src\\Type\\RowList.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 94, sourcePosColumn = 50}}) (ProperName {runProperName = "RowList"})
```
opened 03:26PM - 10 Nov 20 UTC
enhancement
external
I'm not sure if this should be here or on the compiler repo.
opened 05:44AM - 06 Jun 19 UTC
from https://github.com/FrigoEU/psc-ide-vim/issues/147 and https://github.com/Fr… igoEU/psc-ide-vim/issues/112
# Having
```
module Main where
import Prelude
import Effect (Effect)
import Effect.Console (log)
main :: Effect Unit
main = do
let a = 1 -- can't get type of a
log "hi" -- but can get type of log
```
# Expected:
when my cursor at `a` variable and I do `:Ptype` - it should show type inferred of `a`
# Actual:
I have **NO** way to see the inferred type of `a`
it shows `purs ide: no type information found for a`
logs show that it tries to find type definition of `a` in *imported modules*
```
purescript#ide#call: command: {"params": {"currentModule": "Main", "search": "a", "filters": [{"filter": "modules", "params": {"modules"
: ["Prelude", "Main"]}}]}, "command": "type"}
```
# Proposal:
- extend `purs ide server` so it derive type of range? something like language-server does (https://microsoft.github.io/language-server-protocol/specification)
```
{
start: { line: 5, character: 23 },
end : { line 6, character : 0 }
}
```
# N.B.
maybe someone knows other way to see the derived type of `a`?
I think if we fix these issues, the newcomers will have a better experience using Purescript.purs ide source code but if anyone has a solution in mind, please share.
6 Likes
