haskell - 如何专门化 hsc2hs 类型？

Question

我正在尝试将 SPECIALIZE pragma 用于我通过 hsc2hs 的 #type 获得的类型。

我试过这样的:

{-# SPECIALIZE someFn :: #{type DWORD} -> #{type DWORD} -> Bool #-}
someFn :: Eq a => a -> a -> Bool

该尝试因输入“#” 的解析错误而失败(在第一个 #{type DWORD} 上)。

我已经给出了一个我发现有效的答案，但我真的希望有更清晰的东西——或者更准确地说:不会影响整个模块代码的东西。

Answer 1

可以使用 type 声明来委托(delegate) #type:

type SDWORD = #{type DWORD}
{-# SPECIALIZE someFn :: SDWORD -> SDWORD -> Bool #-}
someFn :: Eq a => a -> a -> Bool