なぜ「サブコンビナの関数で非網羅的なパターン」を取得していますか？

Question

イムそれにハスケルと再帰を学び、私が持っているこの機能

type Coordenada = (Int,Int) 
type Skyline = [Coordenada] 

combina :: (Skyline, Skyline) -> Skyline 
combina ([], x) = x 
combina (x, []) = x 
combina ((ii, ia):ri,(di, da):rd) = subcombina((ii, ia):ri,0) ((di, da):rd,0) 
     where subcombina ((ii, ia):ri, ih) ((di, da):rd, dh) 
          | ii < di    = (ii, max ia dh) : subcombina(ri,ih) ((di, da):rd, dh) 
          | otherwise    = (di, max ih da) : subcombina((ii, ia):ri, ih) (rd, dh) 

そして、このエラーになっイム：

Exception: Skyline.hs:(26,11)-(28,92): Non-exhaustive patterns in function subcombina 

魔女パターンイムが不足しているの？

説明する機能：

COMBINA（マージ）は、それらのいずれかの空の場合、他の結果、タプルのリストのタプルを受け取ります。 次に、タプルの左リストの場合は、要素とテールで最初のタプルを取得し、右タプルについては、この値と0を使用してsubcombina（submerge）を呼び出します。

subcombinaはタプルあたりの整数値

左タプルの頭の左の値が右タプルの頭の左の値より大きい場合は、タプルを返します（左タプルの頭の最初の値、max（tuple1、int1）（tuple2、int2） ）親と同じ整数を持つ親右タプル側の親と右のリストを持たない左のリストを持つサブコンビナへの再帰呼び出しと連動します。 上記と似ていない場合。

私はその説明がうまくいきたいと思います。

Answer 1

あなたはリスト以外の空のタプルに

subcombina ((_:_), (_:_)) = .. 

一致にパターンマッチングされ、どのようにこのエラー/警告がわかりますと、あなたはところで

subcombina ([], something) = .. 
subcombina (something, []) = .. 
subcombina ([], []) = ..