• 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.
    e99fdf77
Unify.hs 56.2 KB