Commit 08debf51 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Update sebastian and simon

parent f2fe00ef
# Agenda
- #18231: eta expansion. Mysteries remain. See also #18202
- #18086: precise exceptions
- #18238: state hack
- #18154: CPR for data con apps. More to do here.
- #18238: state hack
- !2938: Detecting redundant bangs: A new extension for LYGs! Inspires need for unlifted types.
- #18249: Support for unlifted types in PmCheck
- Solution: Add PmCtNotBot at *binding sites*
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment