Opened 3 years ago

Last modified 11 months ago

#13357 new task

Check demand signatures for catchRetry# and catchSTM#

Reported by: dfeuer Owned by:
Priority: normal Milestone: 8.10.1
Component: Compiler Version: 8.0.1
Keywords: Exceptions Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s): Phab:D3263
Wiki Page:

Description

#13330 was fixed by giving catch# a different (simpler and more honest) demand signature. Are the signatures for catchRetry# and catchSTM# similarly problematic? We need to check.

Change History (9)

comment:1 Changed 3 years ago by dfeuer

Differential Rev(s): Phab:D3263
Status: newpatch

comment:2 Changed 3 years ago by simonpj

Keywords: Exceptions added

comment:3 Changed 3 years ago by bgamari

Resolution: fixed
Status: patchclosed

This was resolved for catchSTM# in 6a94b8bba999ce111a8195ab398291dce5bcef2d. dfeuer, have you confirmed that catchRetry# is alright?

comment:4 Changed 3 years ago by dfeuer

Resolution: fixed
Status: closednew

No, I left catchRetry# alone, and can't vouch for it. Let me consider it a bit.

comment:5 Changed 3 years ago by bgamari

Milestone: 8.2.18.4.1

Bumping off to 8.4

comment:6 Changed 22 months ago by bgamari

Milestone: 8.4.18.6.1

This ticket won't be resolved in 8.4; remilestoning for 8.6. Do holler if you are affected by this or would otherwise like to work on it.

comment:7 Changed 17 months ago by bgamari

This will not be addressed in GHC 8.6.

comment:8 Changed 17 months ago by bgamari

Milestone: 8.6.18.8.1

These will not be addressed in GHC 8.6.

comment:9 Changed 11 months ago by osa1

Milestone: 8.8.18.10.1

Bumping milestones of low-priority tickets.

Note: See TracTickets for help on using tickets.