• Edward Z. Yang's avatar
    Fix #12076 by inlining trivial expressions in CorePrep. · 11ff1df8
    Edward Z. Yang authored
    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
BasicTypes.hs 41.5 KB