Ben Price
authored
GHC's representation smuggles uniques in many unexpected places, notably in the IdInfo attached to occurences. We need to look inside these. A problematic bit is that unfoldings can be recursive in the sense that the unfolding for 'x' may mention 'x', so we need to be careful not to loop here.
Name | Last commit | Last update |
---|---|---|
src | ||
.gitignore | ||
LICENSE | ||
shadowing.cabal |