Panic (initTc: unresolved constraints) on some bad code
I was just refactoring some code, and partway through, before it was all compiling, I hit the below error. The code's probably just terrible in an interestingly new way; I'm pretty inexperienced at Haskell. I'll attach the file.
Prelude> :r [1 of 1] Compiling Main ( /home/uranium/projects/server/src/Main.hs, interpreted ) ghc: panic! (the 'impossible' happened)
(GHC version 8.0.2 for x86_64-unknown-linux):
initTc: unsolved constraints
WC {wc_insol =
\[W\] get_aGsK | t_aGsJ\[tau:1\] (CHoleCan: get) |
---|---|
\[W\] execState_aGsX | t_aGsW\[tau:1\] (CHoleCan: execState) |
\[W\] get_aGvL | t_aGvK\[tau:1\] (CHoleCan: get) |
\[W\] lift_aGvU | t_aGvT\[tau:1\] (CHoleCan: lift) |
\[W\] put_aGw3 | t_aGw2\[tau:1\] (CHoleCan: put) |
\[W\] cellType_aGwy | t_aGwx\[tau:1\] (CHoleCan: cellType) |
\[W\] insts_aGwB | t_aGwA\[tau:1\] (CHoleCan: insts) |
\[W\] ports_aGwE | t_aGwD\[tau:1\] (CHoleCan: ports) |
\[W\] conns_aGwH | t_aGwG\[tau:1\] (CHoleCan: conns) |
\[W\] annos_aGwK | t_aGwJ\[tau:1\] (CHoleCan: annos) |
\[W\] comms_aGwN | t_aGwM\[tau:1\] (CHoleCan: comms)} |
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |