Remove now-unnecessary NOINLINE pragmas

Authored by simonpj on Oct 18 2013, 6:32 AM.

Description

Remove now-unnecessary NOINLINE pragmas

The NOINLINEs were a work-around for a bug that was fixed
by patch f7e7948 to ghc, which also fixed Trac Trac #8449

Details

Committed
simonpjOct 18 2013, 6:32 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFc503eff92a5d: Spelling in commments
Branches
Unknown
Tags
Unknown