Next: M2 Scope, Previous: Deviations, Up: Modula-2
注意: GDBは現在のところ、 型チェック、 範囲チェックをまだ実装していません。
GDBは、 以下のいずれかの条件が成立するとき、 2つのModula-2変数の型が等しいとみなします。
TYPE
t1 =
t2文によって等しいと宣言されている型である。
型チェックが有効である限り、 等しくない型の変数を組み合わせようとする試みはすべてエラーとなります。
範囲チェックは、 数学的操作、 代入、 配列のインデックス境界、 およびすべての組み込み関数、 組み込みプロシージャにおいて実行されます。