Comments only in Unify.hs

Authored by simonpj on Mar 30 2016, 11:43 AM.

Description

Comments only in Unify.hs

To clarify what the "pure unifier" does, compared to the
"impure unifiers" in the type checker.

Details

Committed
simonpjMar 30 2016, 11:44 AM
Parents
rGHC3d245bf5255e: Do not claim that -O2 does not do better than -O
Branches
Unknown
Tags
Unknown