Skip to content

Some flags set using :seti seem to be ignored

Some flags, when set using :seti instead of :set, seem to be ignored:

ghci> :type id
id :: a -> a

ghci> :seti -fprint-explicit-foralls
ghci> :type id
id :: a -> a

ghci> :set -fprint-explicit-foralls
ghci> :type id
id :: forall {a}. a -> a

It seems that :seti -fprint-explicit-foralls does not do anything. The user's guide seems to indicate this should work:

GHCi actually maintains two sets of options:

  • The loading options apply when loading modules
  • The interactive options apply when evaluating expressions and commands typed at the GHCi prompt.

The :set command modifies both, but there is also a :seti command (for “set interactive”) that affects only the interactive options set.

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