• Edward Z. Yang's avatar
    Drop NFData constraint from compact. · 58415741
    Edward Z. Yang authored
    Summary:
    It's both unsound (easy to write a bogus NFData instance) and
    incomplete (you might want to serialize data that doesn't have
    an NFData instance, and will be fine at runtime.)  So better
    just to drop it.  (By the way, we used to need the NFData
    instance to "pre-evaluate" the data before we copied it into
    the region, but since Simon Marlow rewrote the code to directly
    evaluate and copy, this is no longer necessary.)
    Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
    
    Test Plan: validate
    
    Reviewers: simonmar, austin, dfeuer, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D3168
    58415741
compact_huge_array.hs 1.52 KB