Couldn't match type ‘a’ with ‘Int’ / ‘a’ is untouchable / inside the constraints ()
Sadly I'm a Haskell newbie, so this won't be a very good bug report, but I am working on a codebase and I triggered a GHC bug (at least according to GHC itself).
Building json-log-viewer-0.0.1...
Preprocessing executable 'json-log-viewer' for json-log-viewer-0.0.1...
[3 of 3] Compiling Main ( src/Main.hs, dist/build/json-log-viewer/json-log-viewer-tmp/Main.o )
src/Main.hs:316:41:
Couldn't match type ‘a’ with ‘Int’
‘a’ is untouchable
inside the constraints ()
bound by the inferred type of refreshMessages :: IO ()
at src/Main.hs:(300,7)-(324,48)ghc: panic! (the 'impossible' happened)
(GHC version 7.10.1 for x86_64-apple-darwin):
No skolem info: a_al2w[sk]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
I saved the state of the code in a git branch and put it here: https://github.com/radix/json-log-viewer/tree/ghc-bug
I'll also attach my list of cabal dependencies installed. The only tricky one is that I'm working off of an unreleased version of vty-ui
, at this revision: https://github.com/jtdaugherty/vty-ui/commit/c3a0c4b660119a4d5862a6f549a98739a3fc5fa7
I also don't know if the program is "valid" -- I'm in the middle of a refactor, and it's a big cluttered program that I know is very poorly written. Sorry about that. I would not usually report a bug in such a situation but the compiler implored me to, so I am.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |