diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-07-23 23:35:21 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-30 13:44:14 -0400 |
| commit | 0079171bae7271dc44f81c3bf26505941ee92d7e (patch) | |
| tree | 1d177f118726e1b739d5859be8f4547d70126977 /compiler/Language/Haskell/Syntax.hs | |
| parent | 80ba50c7f589c3a1ee95619d24f350368c9b9759 (diff) | |
| download | haskell-0079171bae7271dc44f81c3bf26505941ee92d7e.tar.gz | |
Make PrimOpId record levity
This patch concerns #20155, part (1)
The general idea is that since primops have curried bindings
(currently in PrimOpWrappers.hs) we don't need to eta-expand
them. But we /do/ need to eta-expand the levity-polymorphic ones,
because they /don't/ have bindings.
This patch makes a start in that direction, by identifying the
levity-polymophic primops in the PrimOpId IdDetails constructor.
For the moment, I'm still eta-expanding all primops (by saying
that hasNoBinding returns True for all primops), because of the
bug reported in #20155. But I hope that before long we can
tidy that up too, and remove the TEMPORARILY stuff in hasNoBinding.
Diffstat (limited to 'compiler/Language/Haskell/Syntax.hs')
0 files changed, 0 insertions, 0 deletions