Haskell Optarse TypeOperatorsとDataKindsで失敗する一般的な例

Question

私はoptparse-genericでこのページを見ています。

$ 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 
λ> 

あなたが見ることができるようにoptparseはこのバージョンの

私はDataKindsとTypeOperatorsの両方を有効にしています。ここで起こっていることをどのようにデバッグできますか？

Answer 1

GHCiは、ロードしたファイルから拡張子を継承しないという問題があります。

GHCiに読み込まれる拡張子を確認するには、:show languageを使用し、拡張子を有効にするには、たとえばTypeOperatorsを使用します。:set -XTypeOperatorsを使用します。

GHCiにロードされたファイルの言語拡張を含めるための機能要求（GHCチケット#11469）がありますが、最近の活動はほとんどないようです。