Fix #2044 (:printing impredicatively typed things)
authorpepe <mnislaih@gmail.com>
Mon, 21 Apr 2008 17:13:22 +0000 (17:13 +0000)
committerpepe <mnislaih@gmail.com>
Mon, 21 Apr 2008 17:13:22 +0000 (17:13 +0000)
commite314b86f6290e5440a46cd5cc29f7878cb78c6fb
tree714046fe7bdbae53ef4b9d302b83ceb9bea57c5e
parente4417dcd4679da9c6b18c02ff667199c572bed89
Fix #2044 (:printing impredicatively typed things)

Switching to boxyUnify should be enough to fix this.
compiler/ghci/Debugger.hs
compiler/ghci/RtClosureInspect.hs
compiler/main/InteractiveEval.hs
compiler/types/Type.lhs