Skip to content

Instantly share code, notes, and snippets.

@jneira

jneira/failing.test.out

Created June 16, 2020 05:03
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jneira/51740f0b7510c3aa33f8889ba4aa9587 to your computer and use it in GitHub Desktop.
Save jneira/51740f0b7510c3aa33f8889ba4aa9587 to your computer and use it in GitHub Desktop.
Download ZIP
Failng tests of bump.ghcide
Raw
failing.test.out
Running 1 test suites...
Test suite ghcide-tests: RUNNING...
HIE
open close: OK (1.78s)
initialize response capabilities
text doc sync: OK
hover: OK
completion: OK
NO signature help: OK
goto definition: OK
goto type definition: OK
NO goto implementation: OK
NO find references: OK
doc highlight: OK
doc symbol: OK
NO workspace symbol: OK
code action: OK
code lens: OK
NO doc formatting: OK
NO doc range formatting: OK
NO doc formatting on typing: OK
NO renaming: OK
NO doc link: OK
NO color: OK
NO folding range: OK
execute command: OK
workspace: OK
NO experimental: OK
completion
variable: OK (1.44s)
constructor: OK (1.76s)
type: OK (1.44s)
qualified: OK (1.40s)
keyword: OK (1.29s)
type context: OK (1.32s)
cpp
cpp-error: FAIL (1.79s)
test/src\Development\IDE\Test.hs:38:
Could not find (DsError,(2,1),"error: unterminated") in List [Diagnostic {_range = Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 1, _character = 0}}, _severity = Just DsError, _code = Nothing, _source = Just "compiler", _message = "`gcc.exe' failed in phase `C pre-processor'. (Exit code: 1)", _tags = Nothing, _relatedInformation = Nothing}]
cpp-ghcide: OK (1.73s)
diagnostics
fix syntax error: OK (1.18s)
introduce syntax error: OK (0.99s)
variable not in scope: OK (1.02s)
type error: OK (1.02s)
typed hole: OK (1.46s)
deferral
type error: OK (1.19s)
typed hole: OK (1.75s)
out of scope var: OK (1.21s)
remove required module: OK (1.28s)
add missing module: OK (1.34s)
add missing module (non workspace): FAIL
Exception: Timed out waiting to receive a message from the server.
Last message received:
{
"tag": "RspInitialize",
"contents": {
"result": {
"capabilities": {
"typeDefinitionProvider": true,
"foldingRangeProvider": false,
"textDocumentSync": {
"openClose": true,
"change": 2,
"save": {}
},
"workspace": {
"workspaceFolders": {
"supported": true,
"changeNotifications": true
}
},
"implementationProvider": true,
"documentHighlightProvider": true,
"executeCommandProvider": {
"commands": [
"6324:ghcide:typesignature.add"
]
},
"renameProvider": false,
"colorProvider": false,
"definitionProvider": true,
"hoverProvider": true,
"codeActionProvider": true,
"completionProvider": {
"triggerCharacters": [
"."
],
"resolveProvider": false
},
"codeLensProvider": {},
"documentSymbolProvider": true
}
},
"jsonrpc": "2.0",
"id": 0
}
}
cyclic module dependency: OK (1.13s)
cyclic module dependency with hs-boot: OK (0.79s)
correct reference used with hs-boot: OK (0.68s)
redundant import: OK (1.17s)
package imports: OK (1.18s)
unqualified warnings: OK (1.09s)
lower-case drive: FAIL (0.69s)
test\\exe\\Main.hs:426:
expected: Uri {getUri = "file:///C:/TEMP/extra-dir-228195880457/A/B.hs"}
but got: Uri {getUri = "file:///C:/Users/atrey/AppData/Local/ghcide/main-da39a3ee5e6b4b0d3255bfef95601890afd80709/A/B.hi"}
haddock parse error: OK (0.96s)
strip file path: OK (1.03s)
code actions
rename actions
change to local variable name: OK (16.27s)
change to name of imported function: OK (5.60s)
suggest multiple local variable names: OK (5.81s)
change infix function: OK (6.71s)
type wildcard actions
global signature: OK (7.06s)
multi-line message: OK (5.59s)
local signature: OK (5.65s)
remove import actions
redundant: OK (5.79s)
qualified redundant: OK (5.89s)
redundant binding: OK (5.95s)
redundant operator: OK (5.67s)
redundant all import: OK (5.84s)
redundant constructor import: OK (6.17s)
extend import actions
extend single line import with value: OK (5.89s)
extend single line import with operator: OK (5.77s)
extend single line import with type: OK (5.76s)
extend single line import with constructor: FAIL (expected: known broken) (5.73s)
test\\exe\\Main.hs:956:
expected: "module ModuleB where\nimport ModuleA (A(Constructor))\nb :: A\nb = Constructor\n"
but got: "module ModuleB where\nimport ModuleA (Constructor, A)\nb :: A\nb = Constructor\n"(expected failure)
extend single line qualified import with value: OK (6.33s)
extend multi line import with value: OK (6.77s)
suggest import actions
Dont want suggestion
f = nonEmpty: OK (2.10s)
f = First: OK (2.28s)
f :: Typeable a => a: OK (2.21s)
f = quickCheck: OK (2.09s)
want suggestion
f = nonEmpty: OK (2.25s)
f = (:|): OK (2.26s)
f :: Natural: OK (2.42s)
f :: NonEmpty (): OK (2.15s)
f = First: OK (2.04s)
f = Endo: OK (2.08s)
f = Version: OK (1.96s)
f ExitSuccess = (): OK (1.91s)
f = AssertionFailed: OK (2.05s)
f = nonEmpty: OK (2.31s)
f :: Alternative f => f (): OK (2.12s)
f = empty: OK (1.99s)
f = (&): OK (1.97s)
f = NE.nonEmpty: OK (2.28s)
f :: Typeable a => a: OK (2.99s)
f = pack: OK (2.32s)
f :: Text: OK (2.63s)
f = [] & id: OK (3.12s)
f = (&) [] id: OK (3.16s)
add language extension actions
add NamedFieldPuns language extension: OK (8.69s)
add RecordWildCards language extension: OK (6.63s)
fix import actions
fix constructor import: OK (6.67s)
import rename actions
Data.Mape -> Data.Map: OK (7.07s)
Data.Mape -> Data.Maybe: OK (6.72s)
fill typed holes
replace hole `_` with show: OK (6.43s)
replace hole `_` with globalConvert: OK (6.44s)
replace hole `_convertme` with localConvert: OK (5.67s)
replace hole `_b` with globalInt: OK (6.87s)
replace hole `_c` with globalInt: OK (7.45s)
replace hole `_c` with parameterInt: OK (6.89s)
add signature
abc = True: OK (5.75s)
foo a b = a + b: OK (5.74s)
bar a b = show $ a + b: OK (6.38s)
(!!!) a b = a > b: OK (8.62s)
a >>>> b = a + b: OK (5.73s)
a `haha` b = a b: OK (5.63s)
pattern Some a = Just a: OK (5.53s)
insert new definition actions
insert new function definition: OK (5.71s)
define a hole: OK (5.66s)
code lenses
add signature
with warnings enabled
abc = True: OK (0.55s)
foo a b = a + b: OK (0.56s)
bar a b = show $ a + b: OK (0.58s)
(!!!) a b = a > b: OK (0.61s)
a >>>> b = a + b: OK (0.57s)
a `haha` b = a b: OK (0.57s)
pattern Some a = Just a: OK (0.65s)
with warnings disabled
abc = True: OK (0.56s)
foo a b = a + b: OK (0.53s)
bar a b = show $ a + b: OK (0.58s)
(!!!) a b = a > b: OK (0.58s)
a >>>> b = a + b: OK (0.53s)
a `haha` b = a b: OK (0.55s)
pattern Some a = Just a: OK (0.53s)
outline
type class: OK (0.95s)
type class instance : OK (0.95s)
type family: OK (1.00s)
type family instance : OK (1.05s)
data family: OK (1.00s)
data family instance : OK (0.96s)
constant: OK (0.93s)
pattern: OK (0.96s)
pattern with type signature: OK (0.95s)
function: OK (0.97s)
type synonym: OK (1.02s)
datatype: OK (0.95s)
record fields: OK (0.97s)
import: OK (0.95s)
multiple import: OK (1.67s)
foreign import: OK (1.42s)
foreign export: OK (1.17s)
get
definition
field in record definition: OK (1.29s)
field in record construction #71: FAIL (expected: known broken) (1.15s)
test\\exe\\Main.hs:1321:
number of definitions
expected: 1
but got: 0(expected failure)
field name used as accessor: FAIL (1.11s)
test\\exe\\Main.hs:1321:
number of definitions
expected: 1
but got: 0
top-level name: OK (1.12s)
data constructor record #247: OK (1.18s)
data constructor plain: OK (1.18s)
type constructor #248: OK (1.25s)
type constructor external #248,249: FAIL (expected: known broken) (1.25s)
test\\exe\\Main.hs:1317:
Expecting to fail to find in external file(expected failure)
value external package #249: FAIL (expected: known broken) (1.26s)
test\\exe\\Main.hs:1317:
Expecting to fail to find in external file(expected failure)
plain parameter: OK (1.24s)
pattern match name: OK (1.23s)
top-level operator: OK (1.26s)
parameter operator: OK (1.27s)
name in backticks: OK (1.28s)
class in instance declaration #250: OK (1.21s)
class in signature #250: OK (1.31s)
external class in signature #249,250: FAIL (expected: known broken) (1.28s)
test\\exe\\Main.hs:1317:
Expecting to fail to find in external file(expected failure)
do-notation bind: OK (1.08s)
do-notation lookup: OK (0.84s)
listcomp bind: OK (0.80s)
listcomp lookup: OK (0.78s)
top-level fn 1st clause: OK (0.79s)
top-level fn 2nd clause #246: OK (0.78s)
top-level fn on space #315: OK (0.79s)
top-level signature #310: FAIL (expected: known broken) (0.79s)
test\\exe\\Main.hs:1324:
expected: Range {_start = Position {_line = 46, _character = 0}, _end = Position {_line = 46, _character = 5}}
but got: Range {_start = Position {_line = 50, _character = 0}, _end = Position {_line = 50, _character = 5}}(expected failure)
inner signature #310: FAIL (expected: known broken) (0.77s)
test\\exe\\Main.hs:1324:
expected: Range {_start = Position {_line = 49, _character = 2}, _end = Position {_line = 49, _character = 7}}
but got: Range {_start = Position {_line = 53, _character = 2}, _end = Position {_line = 53, _character = 7}}(expected failure)
Imported symbol: OK (0.79s)
Imported symbol (reexported): OK (0.76s)
hover
field in record definition: OK (0.78s)
field in record construction #71: FAIL (expected: known broken) (0.78s)
test\\exe\\Main.hs:1371:
expected: ("[...]GotoHover.hs:<LINE>:<COL>**[...]",Just (Range {_start = Position {_line = 8, _character = 4}, _end = Position {_line = 8, _character = 7}}))
but got: ("\n```haskell\nfff :: Text\n```\n\n*Defined in \8216Testing\8217*\n",Just (Range {_start = Position {_line = 12, _character = 4}, _end = Position {_line = 12, _character = 7}}))(expected failure)
field name used as accessor: FAIL (0.78s)
test\\exe\\Main.hs:1371:
expected: ("[...]GotoHover.hs:<LINE>:<COL>**[...]",Just (Range {_start = Position {_line = 8, _character = 4}, _end = Position {_line = 8, _character = 7}}))
but got: ("\n```haskell\nfff :: TypeConstructor -> Text\n```\n\n*Defined in \8216Testing\8217*\n",Just (Range {_start = Position {_line = 18, _character = 7}, _end = Position {_line = 18, _character = 10}}))
top-level name: OK (0.78s)
data constructor record #247: OK (0.79s)
data constructor plain: OK (0.78s)
type constructor #248: OK (0.79s)
type constructor external #248,249: OK (0.78s)
value external package #249: FAIL (0.78s)
test\\exe\\Main.hs:1376:
failed to find: `Data.Text.pack` in hover message:
```haskell
pack :: String -> Text
```
*Defined in ‘Data.Text’*
*O(n)* Convert a `String` into a `Text` . Subject to
fusion. Performs replacement on invalid scalar values.
plain parameter: OK (0.78s)
pattern match name: OK (0.79s)
top-level operator: OK (0.80s)
parameter operator: OK (0.79s)
name in backticks: OK (0.78s)
class in instance declaration #250: OK (0.79s)
class in signature #250: OK (0.79s)
external class in signature #249,250: OK (0.80s)
do-notation bind: OK (0.78s)
do-notation lookup: OK (0.79s)
listcomp bind: OK (0.79s)
listcomp lookup: OK (0.77s)
top-level fn 1st clause: OK (0.78s)
top-level fn 2nd clause #246: OK (0.79s)
top-level fn on space #315: OK (0.78s)
documentation #7: PASS (unexpected: known broken) (0.80s)
(unexpected success: known broken)
kind of Either #273: FAIL (0.79s)
test\\exe\\Main.hs:1376:
failed to find: `:: * -> * -> *
` in hover message:
```haskell
Either
```
*Defined in ‘Data.Either’*
The `Either` type represents values with two possibilities: a value of
type `\`Either\` a b` is either `\`Left\` a` or `\`Right\` b` .
The `Either` type is sometimes used to represent a value which is
either correct or an error; by convention, the `Left` constructor is
used to hold an error value and the `Right` constructor is used to
hold a correct value (mnemonic: "right" also means "correct"). #### **Examples**
The type `\`Either\` \`String\` \`Int\`` is the type of values which can be either
a `String` or an `Int` . The `Left` constructor can be used only on
`String` s, and the `Right` constructor can be used only on `Int` s:
```haskell
>>> let s = Left "foo" :: Either String Int
>>> s
Left "foo"
>>> let n = Right 3 :: Either String Int
>>> n
Right 3
>>> :type s
s :: Either String Int
>>> :type n
n :: Either String Int
```
The `fmap` from our `Functor` instance will ignore `Left` values, but
will apply the supplied function to values contained in a `Right` :
```haskell
>>> let s = Left "foo" :: Either String Int
>>> let n = Right 3 :: Either String Int
>>> fmap (*2) s
Left "foo"
>>> fmap (*2) n
Right 6
```
The `Monad` instance for `Either` allows us to chain together multiple
actions which may fail, and fail overall if any of the individual
steps failed. First we'll write a function that can either parse an
`Int` from a `Char` , or fail.
```haskell
>>> import Data.Char ( digitToInt, isDigit )
>>> :{
let parseEither :: Char -> Either String Int
parseEither c
| isDigit c = Right (digitToInt c)
| otherwise = Left "parse error"
>>> :}
```
The following should work, since both `'1'` and `'2'` can be
parsed as `Int` s.
```haskell
>>> :{
let parseMultiple :: Either String Int
parseMultiple = do
x <- parseEither '1'
y <- parseEither '2'
return (x + y)
>>> :}
```
```haskell
>>> parseMultiple
Right 3
```
But the following should fail overall, since the first operation where
we attempt to parse `'m'` as an `Int` will fail:
```haskell
>>> :{
let parseMultiple :: Either String Int
parseMultiple = do
x <- parseEither 'm'
y <- parseEither '2'
return (x + y)
>>> :}
```
```haskell
>>> parseMultiple
Left "parse error"
```
kind of Int #273: FAIL (0.90s)
test\\exe\\Main.hs:1376:
failed to find: `:: *
` in hover message:
```haskell
Int
```
*Defined in ‘GHC.Types’*
A fixed-precision integer type with at least the range `[-2^29 .. 2^29-1]` .
The exact range for a given implementation can be determined by using
`Prelude.minBound` and `Prelude.maxBound` from the `Prelude.Bounded` class.
kind of (* -> *) type variable #273: FAIL (expected: known broken) (0.83s)
test\\exe\\Main.hs:1376:
failed to find: `:: * -> *
` in hover message:
```haskell
m
```
*Defined at C:\TEMP\extra-dir-228195880608\GotoHover.hs:45:1*
(expected failure)
literal Int in hover info #274: FAIL (0.92s)
test\\exe\\Main.hs:1376:
failed to find: `7518` in hover message:
```haskell
_ :: Int
```
literal Char in hover info #274: FAIL (0.78s)
test\\exe\\Main.hs:1376:
failed to find: `'f'` in hover message:
```haskell
_ :: Char
```
literal Text in hover info #274: FAIL (0.78s)
test\\exe\\Main.hs:1376:
failed to find: `"dfgy"` in hover message:
```haskell
_ :: Text
```
literal List in hover info #274: FAIL (0.85s)
test\\exe\\Main.hs:1376:
failed to find: `[8391 :: Int, 6268]` in hover message:
```haskell
_ :: [Int]
```
type constraint in hover info #283: FAIL (0.83s)
test\\exe\\Main.hs:1376:
failed to find: `Monad m` in hover message:
```haskell
documented :: Either Int (m a)
```
*Defined at C:\TEMP\extra-dir-228195880613\GotoHover.hs:46:1*
Recognizable docs: kpqz
top-level signature #310: FAIL (expected: known broken) (0.80s)
test\\exe\\Main.hs:1376:
failed to find: `Bool` in hover message:
```haskell
outer
```
*Defined at C:\TEMP\extra-dir-228195880614\GotoHover.hs:51:1*
(expected failure)
inner signature #310: FAIL (expected: known broken) (0.79s)
test\\exe\\Main.hs:1376:
failed to find: `Char` in hover message:
```haskell
inner
```
*Defined at C:\TEMP\extra-dir-228195880615\GotoHover.hs:54:3*
(expected failure)
Imported symbol: OK (0.82s)
Imported symbol (reexported): OK (0.81s)
Does GotoHover.hs compile: OK (0.83s)
type-definition
Saturated data con: OK (0.79s)
Polymorphic variable: OK (0.79s)
plugins: FAIL (expected: known broken (#556)) (0.48s)
test/src\Development\IDE\Test.hs:38:
Could not find (DsError,(8,14),"Variable not in scope: c") in List [Diagnostic {_range = Range {_start = Position {_line = 0, _character = 0}, _end = Position {_line = 1, _character = 0}}, _severity = Just DsError, _code = Nothing, _source = Just "typecheck", _message = "Unexpected usage error\nCould not find module \8216GHC.TypeLits.KnownNat.Solver\8217\nUse -v (or `:set -v` in ghci) to see a list of the files searched for.\n", _tags = Nothing, _relatedInformation = Nothing}](expected failure)
preprocessor: OK (1.93s)
TemplateHaskell
load: OK (1.79s)
newtype-closure: OK (0.67s)
SafeHaskell
load: OK (1.68s)
Unit
empty file path does NOT work with the empty String literal: OK
empty file path works using toNormalizedFilePath': OK
empty path URI: OK
from empty path URI: OK
haddock
Num: OK
unsafePerformIO: OK
position mapping
toCurrent
before: OK
after, same line, same length: OK
after, same line, increased length: OK
after, same line, decreased length: OK
after, next line, no newline: OK
after, next line, newline: OK
after, same line, newline: OK
after, same line, newline + newline at end: OK
after, same line, newline + newline at end: OK
fromCurrent
before: OK
after, same line, same length: OK
after, same line, increased length: OK
after, same line, decreased length: OK
after, next line, no newline: OK
after, next line, newline: OK
after, same line, newline: OK
after, same line, newline + newline at end: OK
after, same line, newline + newline at end: OK
properties
fromCurrent r t <=< toCurrent r t: OK (0.08s)
+++ OK, passed 1000 tests.
toCurrent r t <=< fromCurrent r t: OK (0.13s)
+++ OK, passed 1000 tests.
watched files
workspace files: OK (0.42s)
non workspace file: FAIL (0.41s)
test\\exe\\Main.hs:507:
expected: 2
but got: 4
cradle
dependencies
session-deps-are-picked-up: OK (0.76s)
loading
load cradle only once
implicit: OK (0.84s)
direct: OK (0.72s)
multi
simple-multi-test: FAIL (31.15s)
test\\exe\\Main.hs:1321:
number of definitions
expected: 1
but got: 0
simple-multi-test2: FAIL (19.77s)
test\\exe\\Main.hs:1321:
number of definitions
expected: 1
but got: 0
addDependentFile
file-changed
test: OK (5.23s)
ghcide command line
works: FAIL (12.54s)
test\\exe\\Main.hs:2218:
expected: ExitFailure 1
but got: ExitSuccess
18 out of 253 tests failed (569.52s)
Test suite ghcide-tests: FAIL
Test suite logged to:
D:\dev\ws\haskell\hls\dist-newstyle\build\x86_64-windows\ghc-8.10.1\ghcide-0.2.0\t\ghcide-tests\test\ghcide-0.2.0-ghcide-tests.log
0 of 1 test suites (0 of 1 test cases) passed.
cabal.exe: Tests failed for test:ghcide-tests from ghcide-0.2.0.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment