When using has_type/2 added more types via multifile which are working fine. Then wanted to use has_type(list(Type), X) :- is_list(X), element_types(X, Type). by calling has_type/2 from the module importing the library errors, and the code started failing. As near as I can figure, element_ty…

The issue seems to be :- begin_tests(example_bad). test(1) :- has_type(list(key_value),[kv(1,a),kv(2,b)]). :- end_tests(example_bad). error:has_type/2 is multifile, but not part of the interface of library(error). Type checking is done using must_be/2 (throws error) or is_of_type/2 (fails) …

Using has_type(list(Type), X) with user created type not working as expected

Help!

EricGT Split this topic October 2, 2019, 10:43am 6

3 posts were split to a new topic: Types with SWI-Prolog

Topic		Replies	Views
Must_be/2 and is_of_type/2 types Nice to know	0	742	November 26, 2019
Types with SWI-Prolog Split Topic discussion	32	4157	May 11, 2023
What's the rationale for `must_be/2` to throw on type mismatch? Help! discussion	10	1230	June 25, 2020
Error with discontinuous predicate Help!	11	627	September 26, 2020
Intersection/3 from library(lists) is incorrect Discussion	18	1378	November 20, 2020

Using has_type(list(Type), X) with user created type not working as expected

Related topics