Skip to content

Using -fdicts-strict flag causes Core Lint error

It appears that passing in the -fdicts-strict flag results in a Core Lint error for any program:

$ ghc -fdicts-strict -dcore-lint hello.hs
*** Core Lint Errors: in result of Desugar ***
{-# LINE 3 "hello.hs #-}:
    [RHS of $dMonad_a6a :: GHC.Base.Monad GHC.IOBase.IO]
    Recursive or top-level binder has strict demand info: $dMonad_a6a
    Binder's demand info: T

The flag is documented only minimally, so I'm not sure whether it's something that still gets used a lot. Thus I'm not sure whether it would be worth it to fix it or just remove the flag. This is only in HEAD.

Edited by Simon Peyton Jones
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information