Lines Matching refs:Type
497 eval_range(Xs, Range, From, To, Type, M),
498 check_range(Xs, From, To, Type).
503 eval_range(Xs, Range, From, To, Type, M),
504 ( Type == integer ->
505 check_range(Xs, From, To, Type)
536 eval_range(_X, From0..To0, From, To, Type, M) :- !,
540 Type = integer
542 Type = number
549 check_range(X, From, To, Type) :- number(X), !,
550 check_range_number(X, From, To, Type).
552 check_range(List, From, To, Type) :- List = [_|_], !,
553 check_range_list(List, From, To, Type).
554 check_range(subscript(Array,Index), From, To, Type) :- !,
556 check_range(Elems, From, To, Type).
561 check_range_list([X|Xs], From, To, Type) :- !,
562 check_range_number(X, From, To, Type),
563 check_range_list(Xs, From, To, Type).