• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:SMLのエラーについて)

SMLのエラーについて

このQ&Aのポイント
  • SMLのプログラムでリストから指定された名前と一致する要素だけを抜き出して新しいリストを作成する関数を作成しましたが、エラーが発生しました。
  • エラーメッセージは「Warning: match nonexhaustive」と表示されており、原因がわかりません。
  • お手数ですが、関数のソースを教えてください。

質問者が選んだベストアンサー

  • ベストアンサー
  • aid-u
  • ベストアンサー率75% (22/29)
回答No.1

このワーニングは、パターンが全てを網羅していないことを警告しています。 示されている関数の場合は以下のようになるため、長さ2以上のリストについて 定義されていないことになります。 andname S nil    ⇒ 空リストのパターン andname S [(x,a,k)] ⇒ 長さ1のリストのパターン

pwpr
質問者

お礼

こちらでもありがとうございます リストの表し方を勘違いしていました

すると、全ての回答が全文表示されます。

関連するQ&A