On Wed, Nov 18, 2015 at 04:25:01PM +0100, Oleg Ponomarev wrote: > LGTM, thanks
Unfortunately, this does not work on newer ghc versions, so I'd like to amend the patch by adding -O0 GHC options to two files. I'll resend the amended patch. -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Matthew Scott Sucherman, Paul Terence Manicle
