Skip to content
Snippets Groups Projects
Commit f34b6948 authored by Ryan Scott's avatar Ryan Scott
Browse files

Work around ghc#22519 in what4 patch 

We move around some uses of `coerce` to avoid coercing underneath `IO`, which
triggers ghc#22519 on HEAD.
parent 2a556f25
No related branches found
No related tags found
1 merge request!252Work around ghc/ghc#22519 in what4 patch
Pipeline #59580 failed
Stage: test