No Such Blog or Diary
「A,B な C,D」の解釈
- 2015-11-17 (Tue)
- 一般
(A|B) * (C|D) なのか,A | (B*C) | D なのか.どっちでも型エラーにならないので曖昧で解釈できない.
誰だこんなクソな文書を書いた奴は.
- Comments: 0
- TrackBack (Close): -
Literate Haskell (.lhs) での GHC プラグマ
普通の Haskell ソース(.hs) だと下のような {-# LANGUAGE ... #-} をファイルの頭に書くのだけど,.lhs でそのまま同じに書いといたら ghc が認識してくれなくて困った.
{-# LANGUAGE FlexibleInstances,MultiParamTypeClasses,FunctionalDependencies #-}
で,{- -} がコメントだから,コメントがデフォルトになってる Literate Haskell では # LANGUAGE ... # と書くのか? とかアホなことをしつつ,最終的にプラグマはプログラムの一部なんだから頭に > つけなきゃ認識されないよなとかいうことを理解した.
ということで,こう書けばよかった:
> {-# LANGUAGE FlexibleInstances,MultiParamTypeClasses,FunctionalDependencies #-}
今まで Literate Haskell でプラグマが必要なプログラムなんか書いてなかったのでアホなことに躓いた.
- Comments: 0
- TrackBack (Close): -








