Haskell,cmdargs和newtypes

Question

我有以下代码片段,它编译得很好,但是当我尝试运行它时,我从cmdargs收到错误.*** Exception: System.Console.CmdArgs.Implicit, unexpected flag (edit): Main.Sel.如果我将Sel更改为Int,它可以工作,但在我的实际用例中,我希望使用类型强制来区分选项和Ints.

我可以通过使用带有cmdargs的Int并在检查将其转换为Sel的参数后修复它,但我认为这是次优的解决方案.

{-# LANGUAGE DeriveDataTypeable, GeneralizedNewtypeDeriving #-}
import System.Console.CmdArgs
import System.Console.CmdArgs.Default

newtype Sel = Sel Int deriving (Num, Real, Integral, Show, Read, Data, Typeable, Enum, Eq, Ord, Default)

data Foo = Foo {
    edit :: Sel
  } deriving (Show, Read, Data, Typeable)

foo = Foo {
  edit = def
  }
main = do
  a <- cmdArgs foo
  print a

Answer 1

它确实不是最理想的,我提出了一个错误来跟踪此功能的添加:http://code.google.com/p/ndmitchell/issues/detail？id = 422

本周末我可能有时间研究它,它应该不会太难(但取决于我想要的新类型还有多远).(对于上下文,我写了cmdargs)

更新:我刚刚在Hackage上发布了cmdargs 0.6.9,它支持此问题中所要求的newtypes.