De-synonym the types of the abtracted term variables in SpecConstr
[ghc.git] / compiler / specialise /
drwxr-xr-x   ..
-rw-r--r-- 41886 Rules.lhs
-rw-r--r-- 65590 SpecConstr.lhs
-rw-r--r-- 71416 Specialise.lhs