Simpilifier produces empty case in core, segfaults at runtime.
In attachment is a cabal project which builds program producing segfault. Bug is affected by inlining, so test had to be split into modules. Otherwise bug did not occur, and NOINLINE pragmas didn't seem to help.
Can probably be simplified much more, right now it requires some basic packages.
Inspecting the core I've found that code for r
in main
ends with empty case
, but should end with match on Either constructors with show
.
It fails on 7.10.1 and 7.10.2-rc1. Works on 7.8.3.
It seems to be affected by inlining. For example inlining validateJson from Validator/Aeson.hs helps.
Is also seems to be affected by specializing functions in Main.hs to Indentity monad.
For convenience I've also put test case to https://github.com/sopvop/failidator
failit.sh will init sandbox, install deps, build executable and run it.
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.2-rc1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |