Skip to content

Fix map/coerce rule for newtypes with wrappers

Krzysztof Gogolewski requested to merge wip/T16208 into master

This addresses Trac #16208 by marking newtype wrapper unfoldings as compulsory.

Furthermore, we can remove the special case for newtypes in exprIsConApp_maybe (introduced in 7833cf40).

Edited by Krzysztof Gogolewski

Merge request reports