Haskell Optarse Общий пример сбоя на TypeOperators и DataKinds

Question

Я смотрю эту страницу на optparse-generic.

с этой версией optparse:

$ stack install optparse-generic-1.1.4 
optparse-generic-1.1.4: download 
optparse-generic-1.1.4: configure 
optparse-generic-1.1.4: build 
optparse-generic-1.1.4: copy/register 

Когда я пытаюсь запустить этот пример кода точно так, как Дано:

{-# LANGUAGE DataKinds   #-} 
{-# LANGUAGE DeriveGeneric  #-} 
{-# LANGUAGE OverloadedStrings #-} 
{-# LANGUAGE TypeOperators  #-} 

import Options.Generic 

data Example = Example 
    { foo :: Int <?> "Documentation for the foo flag" 
    , bar :: Double <?> "Documentation for the bar flag" 
    } deriving (Generic, Show) 

я получаю:

<interactive>:10:14-56: error: 
    Illegal operator ‘<?>’ in type ‘Int <?> "Documentation for the foo flag"’ 
     Use TypeOperators to allow operators in types 

<interactive>:10:25-56: error: 
    Illegal type: ‘"Documentation for the foo flag"’ 
     Perhaps you intended to use DataKinds 

<interactive>:11:14-56: error: 
    Illegal operator ‘<?>’ in type ‘Double <?> "Documentation for the bar flag"’ 
     Use TypeOperators to allow operators in types 

<interactive>:11:25-56: error: 
    Illegal type: ‘"Documentation for the bar flag"’ 
     Perhaps you intended to use DataKinds 
λ> 

Как вы можете видеть , У меня есть как DataKinds, так и TypeOperators. Как я могу отладить, что здесь происходит?

Answer 1

Проблема в том, что GHCi не наследует расширения из загруженного вами файла.

Чтобы узнать, какие расширения загружены в GHCi, используйте :show language и для включения расширения, например TypeOperators, используйте :set -XTypeOperators.

Существует запрос функции (билет GHC #11469), чтобы GHCi включал языковые расширения из загруженного файла, но, похоже, он малоактивен.