Constant assertions

[sorki]

I'm trying to figure out how to create always firing assertions as assert false seems to be disallowed by opts.

I sometimes tend to write code like this:

when cond $ do
  comment "this is pretty bad"
  assert $ not cond

See for example GaloisInc/ivory-tower-stm32@aafc0ca#diff-1651b43e296daea4ab0ba777cb26b769R90

I guess I would prefer to be able to express this as something like fail

when cond $ do
  fail "how did we get here"

assuming this is taking care of some rare condition like improper hardware configuration.

Looks like this would need another primitive along with assert.

Any thoughts?