Open tomsmeding opened 1 year ago
Since #35, one flag is passed to GHC when printing core/asm output: -dno-typeable-binds. Because {-# OPTIONS -dtypeable-binds #-} doesn't seem to be a thing, there needs to be some UI for disabling such pre-set flags.
-dno-typeable-binds
{-# OPTIONS -dtypeable-binds #-}
Since #35, one flag is passed to GHC when printing core/asm output:
-dno-typeable-binds. Because{-# OPTIONS -dtypeable-binds #-}doesn't seem to be a thing, there needs to be some UI for disabling such pre-set flags.