Mercury Bugs - mercury
View Issue Details
0000355mercuryFeature Requestpublic2014-08-29 03:202014-08-29 03:20
Reporterzs 
Assigned To 
PrioritynoneSeverityminorReproducibilityhave not tried
StatusnewResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000355: it would be nice to be able to defer type errors till runtime
DescriptionThis 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.
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2014-08-29 03:20zsNew Issue