... | ... | @@ -2,9 +2,13 @@ |
|
|
|
|
|
I move stuff here from the different sections that is on our radar at the moment.
|
|
|
|
|
|
- !5814: Remove mkWWargs. Should be easy going now
|
|
|
- #19050, !5982 demand representation
|
|
|
- Discuss design
|
|
|
- #19871, !5790 boxity analysis. See also https://gitlab.haskell.org/ghc/ghc/-/issues/19824#note_353112
|
|
|
- Nice idea for a paper: DmdAnal, then CprAnal, both record boxity constraints
|
|
|
and possibly insert variables. Then Boxity Anal solves those equations,
|
|
|
globally. A bit like Unification
|
|
|
- !5667: Nested CPR light, part 2
|
|
|
- some nice ghc/alloc wins
|
|
|
- #5075, !4229: CPR for sum types
|
|
|
- Maybe we have a shot at fixing this after !5667 lands; I feel like most of
|
|
|
its woes were due to CPR'ing lists.
|
... | ... | @@ -12,7 +16,6 @@ I move stuff here from the different sections that is on our radar at the moment |
|
|
- Tests
|
|
|
- Paper comments
|
|
|
- Related Work
|
|
|
- #19871, !5790 boxity analysis. See also https://gitlab.haskell.org/ghc/ghc/-/issues/19824#note_353112
|
|
|
- Ultimately pick up the SAT work again #18962, but I feel like we need a better story for derived unfoldings here
|
|
|
- Maybe new unfolding source? Or attach unfolding deriving strategy to
|
|
|
InlineRHS. On the other hand, it would also be useful for stable unfoldings..
|
... | ... | @@ -179,4 +182,4 @@ I move stuff here from the different sections that is on our radar at the moment |
|
|
- Why? What's needed? A formal Specification? Which part? Static or dynamic semantics?
|
|
|
- Also how much? Whole pattern language or just enough of a fragment to explain or patterns?
|
|
|
- I see there is https://gitlab.haskell.org/rae/haskell as a starting point, but it seems to focus entirely on static semantics. But probably the document to complete?
|
|
|
- We talked about it; it's a matter of pushing the proposal forward rather than investing actual elbow grease into an impl. |
|
|
\ No newline at end of file |
|
|
- We talked about it; it's a matter of pushing the proposal forward rather than investing actual elbow grease into an impl. |