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
Types with SWI-Prolog Split Topic discussion	32	4111	May 11, 2023
Is there a has_type/2 for difference list? Predicate difference-list , has_type2	9	1223	July 16, 2020
Must_be/2 and is_of_type/2 types Nice to know	0	735	November 26, 2019
Testing term structure in has_type/2 Help!	4	734	December 2, 2019
Notes on PLDoc, PLunit, modules... for anyone interested General	5	542	February 5, 2021

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

Related topics