Pourquoi -XImplicitParams fonctionne-t-il uniquement à partir de la ligne de commande et non d'un pragma?

Question

Pourquoi -XImplicitParams fonctionne à partir de la ligne de commande mais pas du pragma OPTIONS_GHC?

J'ai trouvé que ghc t.hs jette un parse error on input 'a' si t.hs contient le code suivant, tandis que ghc -XImplicitParams t.hs fonctionne très bien. Idem ghci.

{- OPTIONS_GHC -XImplicitParams -} 
f :: (?a :: Int) => Int -> Int 
f b = ?a + b 
g c = f $ c+1 

Answer 1

qui aurait besoin d'être un pragma, avec {-# ... #-} délimiteurs. Mieux qu'un OPTIONS_GHC pragma est un

{-# LANGUAGE ImplicitParams #-} 

pragma.