More than 5 years have passed since last update.

等式制約を含む型制約の型シノニムは、haskell-src-extsでパース出来ない

Haskell

Posted at 2014-06-20

{-# LANGUAGE ConstraintKinds, TypeFamilies #-}

-- GHCは問題なく処理するが、haskell-src-extsではパース出来ない
type Unavailable a b = (a ~ b)

hoge :: Unavailable a b => a -> b -> a
hoge = undefined

なので、haskell-src-extsを使ったツールなどでパースされる事を期待するソースコードでは関数等の型制約を記述する部分に書こう！

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up