{-# 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を使ったツールなどでパースされる事を期待するソースコードでは関数等の型制約を記述する部分に書こう！
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme