Skip to content
Snippets Groups Projects
Commit c4597cd8 authored by Sebastian Graf's avatar Sebastian Graf
Browse files

Preserve precise exceptions in strictness analysis

Fix #13380 and #17676 by

1. Changing `raiseIO#` to have `topDiv` instead of `botDiv`
2. Give it special treatment in `Simplifier.Util.mkArgInfo`, treating it
   as if it still had `botDiv`, to recover dead code elimination.

This is the first commit of the plan outlined in
!2525 (comment 260886).
parent 2643ba46
No related branches found
No related tags found
No related merge requests found
Pipeline #17158 passed with warnings
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment