Skip to content
  • Ryan Scott's avatar
    Fix #15852 by eta expanding data family instance RHSes, too · 014d6c1f
    Ryan Scott authored
    When I defined `etaExpandFamInstLHS`, I blatantly forgot
    to eta expand the RHSes of data family instances. (Actually, I
    claimed that they didn't //need// to be eta expanded. I'm not sure
    what I was thinking.)
    
    This fixes the issue by changing `etaExpandFamInstLHS` to
    `etaExpandFamInst` and, well, making it actually eta expand the RHS.
    
    Test Plan: make test TEST=T15852
    
    Reviewers: goldfire, bgamari
    
    Reviewed By: goldfire
    
    Subscribers: rwbarton, carter
    
    GHC Trac Issues: #15852
    
    Differential Revision: https://phabricator.haskell.org/D5328
    014d6c1f