Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000355 | mercury | Feature Request | public | 2014-08-29 03:20 | 2014-08-29 03:20 |
Reporter | zs | ||||
---|---|---|---|---|---|
Assigned To | |||||
Priority | none | Severity | minor | Reproducibility | have not tried |
Status | new | Resolution | open | ||
Platform | OS | OS Version | |||
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0000355: it would be nice to be able to defer type errors till runtime | ||||
Description | This page shows how it can be done: https://www.haskell.org/ghc/docs/latest/html/users_guide/defer-type-errors.html The basic idea is: report a warning instead of an error, and replace the code that has the type error with code that throws an exception. | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files |
There are no notes attached to this issue. |
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2014-08-29 03:20 | zs | New Issue |