You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GhcApi.Compare uses nonDetCmpType, which can given different results between runs. it would be nice to avoid this. Most of the time we don't actually encounter arbitrary Types in Atoms, though, unless the user is doing something very weird.
GhcApi.Compare
usesnonDetCmpType
, which can given different results between runs. it would be nice to avoid this. Most of the time we don't actually encounter arbitraryType
s inAtom
s, though, unless the user is doing something very weird.coxswain
has something in this direction that might be helpful: https://github.com/nfrisby/coxswain/blob/bfd5777964a5b4ba64e1bcc4cf18df1c9d8fc558/coxswain/src/LowLevel.hs#L115The text was updated successfully, but these errors were encountered: