search

nwolverson / purescript-language-server

MIT License
184 stars 41 forks source link

Imports and Import Code Actions not working #97

Closed andys8 closed 3 years ago

andys8 commented 4 years ago

I encountered an issue where the newly introduced code actions to fix imports are not working

How to reproduce

Based on this file https://github.com/jonasbuntinx/purescript-react-realworld/blob/master/src/Main.purs

Delete line 7 import Conduit.Data.Route (Route(..), routeCodec) leads to this error:

image

Trigger code action:

image

Execute it, but nothing will happen

Logs

[Trace - 8:20:04 PM] Received notification 'window/logMessage'.
Params: {
    "type": 4,
    "message": "Built with 1 issues for file: \"/home/andreas/dev/repository/purescript-react-realworld/src/Main.purs\", all diagnostic files: [\"/home/andreas/dev/repository/purescript-react-realworld/src/Main.purs\"]"
}

Built with 1 issues for file: "/home/andreas/dev/repository/purescript-react-realworld/src/Main.purs", all diagnostic files: ["/home/andreas/dev/repository/purescript-react-realworld/src/Main.purs"]
[Trace - 8:20:04 PM] Received notification 'textDocument/publishDiagnostics'.
Params: {
    "uri": "file:///home/andreas/dev/repository/purescript-react-realworld/src/Main.purs",
    "diagnostics": [
        {
            "range": {
                "start": {
                    "line": 24,
                    "character": 60
                },
                "end": {
                    "line": 24,
                    "character": 70
                }
            },
            "severity": 1,
            "code": "UnknownName",
            "source": "PureScript",
            "message": "  Unknown value routeCodec\n"
        }
    ]
}

[Trace - 8:20:05 PM] Received notification 'window/logMessage'.
Params: {
    "type": 3,
    "message": "[Warn] Failed to resolve reexports for React.Basic.CompatReact.BasicTypeRef (SourceSpan {spanName = \".spago/react-basic/v14.0.0/src/React/Basic/Compat.purs\", spanStart = SourcePos {sourcePosLine = 3, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 45, sourcePosColumn = 6}}) (ProperName {runProperName = \"Self\"}) (Just [])\n[Warn] Failed to resolve reexports for Type.Data.BooleanPrim.BooleanTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = \"False\"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = \"True\"}) (Just [])Prim.BooleanKindRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = \"Boolean\"})\n[Warn] Failed to resolve reexports for Type.Data.OrderingPrim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = \"EQ\"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = \"GT\"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = \"LT\"}) (Just [])Prim.OrderingKindRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = \"Ordering\"})\n[Warn] Failed to resolve reexports for Type.Data.SymbolPrim.SymbolTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = \"Append\"})Prim.SymbolTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = \"Compare\"})Prim.SymbolTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = \"Cons\"})\n[Warn] Failed to resolve reexports for Type.PreludePrim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"EQ\"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"False\"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"GT\"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"LT\"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"True\"}) (Just [])Prim.SymbolTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Append\"})Prim.SymbolTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Compare\"})Prim.RowTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Lacks\"})Prim.RowListTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"RowToList\"})Prim.RowTypeClassRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Union\"})Prim.BooleanKindRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Boolean\"})Prim.OrderingKindRef (SourceSpan {spanName = \".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs\", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = \"Ordering\"})\n[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\"})\n"
}

[Info  - 8:20:05 PM] [Warn] Failed to resolve reexports for React.Basic.CompatReact.BasicTypeRef (SourceSpan {spanName = ".spago/react-basic/v14.0.0/src/React/Basic/Compat.purs", spanStart = SourcePos {sourcePosLine = 3, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 45, sourcePosColumn = 6}}) (ProperName {runProperName = "Self"}) (Just [])
[Warn] Failed to resolve reexports for Type.Data.BooleanPrim.BooleanTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = "False"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = "True"}) (Just [])Prim.BooleanKindRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Boolean.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 77, sourcePosColumn = 18}}) (ProperName {runProperName = "Boolean"})
[Warn] Failed to resolve reexports for Type.Data.OrderingPrim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = "EQ"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = "GT"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = "LT"}) (Just [])Prim.OrderingKindRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Ordering.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 76, sourcePosColumn = 20}}) (ProperName {runProperName = "Ordering"})
[Warn] Failed to resolve reexports for Type.Data.SymbolPrim.SymbolTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = "Append"})Prim.SymbolTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = "Compare"})Prim.SymbolTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Data/Symbol.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 37, sourcePosColumn = 20}}) (ProperName {runProperName = "Cons"})
[Warn] Failed to resolve reexports for Type.PreludePrim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "EQ"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "False"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "GT"}) (Just [])Prim.OrderingTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "LT"}) (Just [])Prim.BooleanTypeRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "True"}) (Just [])Prim.SymbolTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Append"})Prim.SymbolTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Compare"})Prim.RowTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Lacks"})Prim.RowListTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "RowToList"})Prim.RowTypeClassRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Union"})Prim.BooleanKindRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Boolean"})Prim.OrderingKindRef (SourceSpan {spanName = ".spago/typelevel-prelude/v5.0.2/src/Type/Prelude.purs", spanStart = SourcePos {sourcePosLine = 1, sourcePosColumn = 1}, spanEnd = SourcePos {sourcePosLine = 17, sourcePosColumn = 68}}) (ProperName {runProperName = "Ordering"})
[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"})

[Trace - 8:20:06 PM] Sending request 'textDocument/codeAction - (2)'.
Params: {
    "textDocument": {
        "uri": "file:///home/andreas/dev/repository/purescript-react-realworld/src/Main.purs"
    },
    "range": {
        "start": {
            "line": 24,
            "character": 0
        },
        "end": {
            "line": 24,
            "character": 76
        }
    },
    "context": {
        "diagnostics": [
            {
                "range": {
                    "start": {
                        "line": 24,
                        "character": 60
                    },
                    "end": {
                        "line": 24,
                        "character": 70
                    }
                },
                "severity": 1,
                "code": "UnknownName",
                "source": "PureScript",
                "message": "  Unknown value routeCodec\n"
            }
        ]
    }
}

[Trace - 8:20:06 PM] Received notification 'window/logMessage'.
Params: {
    "type": 3,
    "message": "[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\"})\n"
}

[Info  - 8:20:06 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"})

[Trace - 8:20:06 PM] Received response 'textDocument/codeAction - (2)' in 375ms.
Result: [
    {
        "title": "Import routeCodec (Conduit.Data.Route)",
        "command": "purescript.fixTypo",
        "arguments": [
            "file:///home/andreas/dev/repository/purescript-react-realworld/src/Main.purs",
            24,
            60,
            {
                "identifier": "routeCodec",
                "mod": "Conduit.Data.Route"
            }
        ]
    }
]

[Trace - 8:20:08 PM] Sending request 'workspace/executeCommand - (3)'.
Params: {
    "command": "purescript.fixTypo",
    "arguments": [
        "file:///home/andreas/dev/repository/purescript-react-realworld/src/Main.purs",
        24,
        60,
        {
            "identifier": "routeCodec",
            "mod": "Conduit.Data.Route"
        }
    ]
}

[Trace - 8:20:08 PM] Received request 'workspace/applyEdit - (1)'.
Params: {
    "edit": {
        "documentChanges": [
            {
                "textDocument": {
                    "uri": "file:///home/andreas/dev/repository/purescript-react-realworld/src/Main.purs",
                    "version": 2
                },
                "edits": [
                    {
                        "range": {
                            "start": {
                                "line": 24,
                                "character": 60
                            },
                            "end": {
                                "line": 24,
                                "character": 70
                            }
                        },
                        "newText": "routeCodec"
                    }
                ]
            }
        ],
        "changes": null
    }
}

[Trace - 8:20:08 PM] Sending response 'workspace/applyEdit - (1)'. Processing request took 73ms
Result: {
    "applied": true
}

[Trace - 8:20:08 PM] Received response 'workspace/executeCommand - (3)' in 83ms.
Result: {}
andys8 commented 4 years ago

Importing Effect 

obj :: Effect {}

will not work and the log says

from (Just "Effect") with type filter (Just DCtor)

I think the filter might be the cause, because this would be the correct import:

import Effect (Effect)
nwolverson commented 3 years ago

The filtering is currently disabled, so this should work now - could you retest.

andys8 commented 3 years ago

Jep. Filtering was the cause.