Skip to content

Make Exception datatypes into newtypes

Certain instances of Exception in base are datatypes with only one argument:

data RecUpdError = RecUpdError String
data RecConError = RecConError String
data RecSelError = RecSelError String
data PatternMatchFail = PatternMatchFail String
data NoMethodError = NoMethodError String
data AssertionFailed = AssertionFailed String

Why not make these into newtypes?

Trac metadata
Trac field Value
Version 7.10.2
Type FeatureRequest
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component libraries/base
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information