プログラミング言語SML#解説
Ch.8 SML#分割コンパイルシステム

§ 8.8. インタフェイス言語の文法

インタフェイス言語の文法の概要を以下に示します． 〈conbind〉などの定義が無い非終端記号は，The Definition of Standard MLの同名のものと同一です． 詳細な定義は（近々完成予定の）SML#言語レファレンスマニュ アルを参照ください．

〈interface〉::=〈requireDeclList〉  〈provideDeclList〉(interface)〈requireDeclList〉::=|_require  〈smiFilePath〉 | 〈requireDeclList〉|_require  〈sigFilePath〉 | 〈requireDeclList〉〈provideDeclList〉::=|〈provideDecl〉 | 〈requireDeclList〉〈provideDecl〉::=〈idecl〉 | 〈ifundecl〉〈idecl〉::=val  〈valdesc〉|type  〈itypbind〉|eqtype  〈tyvarSeq〉  〈id〉(= 〈ty〉)|datatype  〈idatbind〉|datatype  〈id〉 = datatype  〈longid〉|exception  〈exbind〉|structure  〈id〉 = 〈istrexp〉|infix  〈n〉  〈id〉|infixr  〈n〉  〈id〉|noninfix  〈n〉  〈id〉〈itypbind〉::=〈tyvarSeq〉  〈id〉 = 〈ty〉|〈tyvarSeq〉  〈id〉( = 〈ty〉)〈idatbind〉::=〈tyvarSeq〉  〈id〉 = 〈conbinds〉  [  and  〈idatbind〉]|〈tyvarSeq〉  〈id〉  ( =   〈conbinds〉  [  and  〈idatbind〉])〈istrexp〉::=struct  〈ideclSeq〉  end〈ifundec〉::=functor  〈id〉  (〈id〉 : 〈sigexp〉 ) = 〈istrexp〉
平成24年4月26日