search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
14 stars 3 forks source link

Remove use of unsafeCoerce in ExprHelpers #291

Closed travitch closed 2 years ago

travitch commented 2 years ago

Now that https://github.com/GaloisInc/what4/commit/c648cd1d71a136be8e503aae04137721212568f6 has landed in what4, we can remove https://github.com/GaloisInc/pate/blob/de05573f216154bc53e69cfc45a109531a81816f/src/What4/ExprHelpers.hs#L113-L117