Skip to content
  • Simon Marlow's avatar
    mkDataConRep: fix bug in strictness signature (#14290) · 5935acdb
    Simon Marlow authored and Ben Gamari's avatar Ben Gamari committed
    The strictness signature for a data con wrapper wasn't including any
    dictionary arguments, which meant that bangs on the fields of a
    constructor with an existential context would be moved to the wrong
    fields.  See T14290 for an example.
    
    Test Plan:
    * New test T14290
    * validate
    
    Reviewers: simonpj, niteria, austin, bgamari, erikd
    
    Reviewed By: simonpj, bgamari
    
    Subscribers: rwbarton, thomie
    
    GHC Trac Issues: #14290
    
    Differential Revision: https://phabricator.haskell.org/D4040
    5935acdb