Skip to content
Snippets Groups Projects
user avatar
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.
9cab9093
Name Last commit Last update
src
.gitignore
LICENSE
shadowing.cabal