Haskell,cmdargs和newtypes

时间:2011-04-01 07:47:51

标签: haskell

我有以下代码段,编译得很好,但是当我尝试运行它时,我从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

1 个答案:

答案 0 :(得分:9)

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

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

更新:我刚刚在Hackage上发布了cmdargs 0.6.9,它支持此问题中的新类型。