make Data.DList trustworthy#31
Conversation
Safety of Data.DList is not inferred because of the use of GHC.Exts, but the IsList class is safe to use, so the module can be trusted.
|
I guess I have not explained why this is useful. Safe Haskell provides a mechanism for delivering on the promise that pure functions don't have side effects nor break the type system, by marking functions like Unfortunately, this is done on a module level, so the So this patch serves a niche purpose but it also should not incur any maintenance effort, whereas currently anyone running a lambdabot instance who wants to provide access to dlist has to patch the dlist package. |
|
Apologies for the delayed response. This will be released in v0.8.0.4. |
Safety of Data.DList is not inferred because of the use of GHC.Exts,
but the IsList class is safe to use, so the module can be trusted.