-
Simon Peyton Jones authored
The NOINLINEs were a work-around for a bug that was fixed by patch f7e7948b to ghc, which also fixed Trac #8449
db1a8c44
The NOINLINEs were a work-around for a bug that was fixed by patch f7e7948b to ghc, which also fixed Trac #8449