• Edward Z. Yang's avatar
    Fix #12076 by inlining trivial expressions in CorePrep. · 11ff1df8
    Edward Z. Yang authored
    Summary:
    This mostly follows the plan detailed by the discussion
    Simon and I had, with one difference: instead of grabbing
    the free variables of the trivial expressions to get the
    embedded Ids, we just use getIdFromTrivialExpr_maybe to extract
    out the Id.  If there is no Id, the expression cannot
    refer to a function (as there are no literal functions)
    and thus we do not need to saturate.
    Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
    
    Test Plan: validate
    
    Reviewers: simonpj, austin, bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D2309
    
    GHC Trac Issues: #12076
    11ff1df8
CorePrep.hs 54.8 KB