-
Simon Peyton Jones authored
As Trac #14605 showed, we can't defer a type error under a 'forall' (when unifying two forall types). The fix is simple.
298ec78c
As Trac #14605 showed, we can't defer a type error under a 'forall' (when unifying two forall types). The fix is simple.