If pattern synonym is bidirectional and its type is some unboxed type T#, generate a worker function of type Void# -> T#, and redirect the wrapper (via a compulsory unfolding) to the worker. Fixes Trac #9732.
cactus Nov 13 2014, 9:38 AM
- rGHC745c4c0e0416: Binding things matched by an unboxed pattern synonym should require a bang
- Build Status
Buildable 1908 Build 1915: GHC Continuous Integration (amd64/Linux)