Consider the following module: :- module(foo, []). a. We get: ?- module_property(foo, exports(L)). L = []. ?- module_property(foo, exported_operators(L)). false. The exported_operators/1 property failing instead or returning empty list makes handling it cumbersome. Any reason to not behave the…

[image] pmoura: I do think that SWI-Prolog exports/1 and exported_operators/1 should be consistent and return an empty list when there are no exports to report. Pushed. If you think you can push several developers to do the same (or at least for the core features), I’m happy to support such …

Module property exported_operators/1 fails instead of returning empty list

Help! Predicate

EricGT Split this topic March 19, 2020, 3:06pm 4

3 posts were split to a new topic: What is empty?

Topic		Replies	Views
Exporting predicate as an operator General	8	168	January 31, 2023
Is it possible to export an operator from a unit test? Help!	0	298	January 14, 2022
Build list of predicates that can be exported from a module Useful Code	0	403	August 2, 2020
Use_module not importing all predicates Help!	28	1385	March 22, 2020
Module_property/2 - include property for super Request For Comments discussion	7	642	August 21, 2020

Module property exported_operators/1 fails instead of returning empty list

Related Topics