GHCは、漏れのあるパターンや重複パターンについて警告することができる。(4.8. 警告と正気度チェックのためのオプションを見よ)。これは大抵の場合正しく動作するが、そうでないこともある。文字列パターンやガードがあると混乱し、不要な警告を出力することがある。本当は重複検査のコード全体を総点検する必要がある。

GHCは、データ型の文脈に、そのデータ型のパラメタ以外の型変数が出現することを許していない。例を挙げる。

  data C a b => T a = MkT a

MkTの型は以下のようになるはずである。

  MkT :: forall a b. C a b => a -> T a

原理的には、関数従属を使った適切なクラス宣言があれば、この型が曖昧でないこともあり得る。それでもGHCはこれを受け付けない。データ型宣言の文脈中に現れる型変数はそのデータ型の型パラメタのどれかでなければならない。

再帰をデータ型にエンコードする標準的な方法を使うと、GHCのインライン化器を停止しないようにすることができる。

  data U = MkU (U -> Bool)
       
  russel :: U -> Bool
  russel u@(MkU p) = not $ p u
  
  x :: Bool
  x = russel (MkU russel)

この不自然な例以外に、GHCを発散させるプログラムの形は見付かっていず、この問題を修正しようとするとあらゆるコンパイルにオーバーヘッドが掛かることになるので、このバグは修正されないままになっている。さらなる背景情報はSecrets of the GHC inlinerにある。

インスタンス宣言が他のパッケージから取り込まれた場合、どれが「スコープにあるか」についてGHCは細かく管理しない。GHCがそのパッケージで見かけたインスタンス宣言は、そのパッケージ由来のモジュールがコマンド行の式で使われているかどうかに依らず、あらゆる場所でスコープに入る。このバグが影響するのは--makeモードとGHCiだけである。

「存在型を持つレコード」の拡張(7.4.5.3. レコード構築子を参照)を使う場合、モジュールの分割コンパイルが壊れている。回避方法としては、毎回cleanして--make付きでビルドするか、6.7開発スナップショットを使うという方法しかない。詳細はtrac bug #933を見よ。

GHCiは、利用中のスコープのモジュールにあるdefault宣言を考慮せず、コマンド行に打ち込まれた式については、デフォルトのデフォルト化を行う。すなわち、default(Int,Double)である。

GHCiがそれぞれのモジュールのデフォルト設定を覚えておいて、「現在の」モジュール(どういう意味かは別にして)のものを使うようにした方が良いだろう。

Windowsでは、GNU ld/BFDにバグがあり、0xffff個よりも多くの再配置のある、正しくないPEオブジェクトファイルを出力することがある。このバグに影響されたパッケージをGHCiがロードしようとすると、次のような形式のメッセージが得られる。

Loading package javavm ... linking ... WARNING: Overflown relocation field (# relocs found: 30765)

我々が最後に確認したときはこのバグはまだBFDのコードベースにあり、2001年あたりにこのバグが報告されて以来、興味がもたれた様子もない。

回避するには、パッケージを構成する.oファイルを複数個の.oに分ければ良い。これは「base」パッケージが行っていることである。