An error "Pat shouldnot happen"

[Yoichi Hirai]

Sometimes the error Pat shouldnothappen happens.

The luck file.

$ git clone [e-mail]:pirapira/minus-minus-solidity.git
$ mkdir minus-minus-solidity
$ git checkout shouldnot
$ stack build && stack exec mms-exe
mms-exe: Pat shouldnot happen
CallStack (from HasCallStack):
  error, called at src/Core/Semantics.hs:429:26 in luck-0.1.0.0-LJij1R78ObT1aQOfaHb3dW:Core.Semantics

This error happens with 70% probability.

[Leonidas Lampropoulos]

This was caused by an obscure optimization firing unexpectedly which invalidated some invariants. Fixed now (updated invariants).

[Yoichi Hirai]

Thanks!