Lines Matching refs:Type
158 current_array_body(Atom, ListOfBounds, Type, Module) :-
159 current_array_body(Array, [Type|_], Module),
162 array_body(ArrSpec, ListOfBounds, Type, Module) :-
164 error(4, array(ArrSpec, ListOfBounds, Type), Module).
165 array_body(ArrSpec, ListOfBounds, Type, Module) :-
168 current_array_body(ArrSpec, [Type|_], Module).
169 array_body(N/A, ListOfBounds, Type, Module) :-
173 current_array_body(Array, [Type|_], Module).
174 array_body(ArrSpec, ListOfBounds, Type, Module) :-
175 error(5, array(ArrSpec, ListOfBounds, Type), Module).