View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0000372 | mercury | Bug | public | 2015-01-05 13:16 | 2015-01-05 13:16 | ||||||||
Reporter | pbone | ||||||||||||
Assigned To | |||||||||||||
Priority | normal | Severity | minor | Reproducibility | have not tried | ||||||||
Status | new | Resolution | open | ||||||||||
Platform | x86_64 | OS | Debian Linux | OS Version | |||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0000372: Finalisers run after main/2 throws an exception. | ||||||||||||
Description | We have decided that module finalisers should not run if main/2 throws an exception. The C# backend always runs finalisers. It does not implement the correct behaviour. | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
Issue History | |||
Date Modified | Username | Field | Change |
---|---|---|---|
2015-01-05 13:16 | pbone | New Issue |