• Simon Peyton Jones's avatar
    Fix a nasty bug in the pure unifier · e99fdf77
    Simon Peyton Jones authored
    The pure unifier was building an infinite type, through a defective
    occurs check.  So GHC went into an infinite loop.
    Reason: we were neglecting the 'kco' part of the type, which
    'unify_ty' maintains.  Yikes.
    The fix is easy.  I refactored a bit to make it harder to
    go wrong in future.
T14846.hs 1.13 KB