(core) minor fixes in assertions

Src-commit: 444ceb01f524a6175672688271e4094bfa4ab12b

core/engine/atomic_basic.test.pl

@@ -1,4 +1,4 @@
-:- module(_, [], [assertions]).
+:- module(_, [], [assertions, nativeprops]).
 
 :- doc(title, "Tests for atomic_basic.pl").
 

core/engine/packages.pl

@@ -56,6 +56,8 @@
       @pred{op/3} does.  Its scope is local to the current text.
       Usually included in @concept{package file}s.".
 
+:- impl_defined([op/3]). % TODO: comp above (iso/1) requires a pred, fixme
+
 % ---------------------------------------------------------------------------
 
 :- doc(doinclude,new_declaration/1).

core/lib/attr/attr_rt.pl

@@ -1,4 +1,4 @@
-:- module(attr_rt, [], [assertions, fsyntax, dcg, datafacts]).
+:- module(attr_rt, [], [assertions, modes, fsyntax, dcg, datafacts]).
 
 :- doc(title, "Attributed variables runtime").
 %:- doc(copyright,"@include{FreeDocLicense.lpdoc}").

core/lib/lists.test.pl

@@ -1,10 +1,12 @@
-:- module('lists.test', _, [assertions, regtypes]).
+:- module('lists.test', _, [assertions, nativeprops, regtypes]).
 
 % NOTE: non exhaustive tests and experimental (may change in the future)
 %  - use member/2 and backtracking (similar to test case generation)
 %  - shared variables between calls/success
 %  - compat fields
 
+% TODO: warnings due to missing qualification in comp expansion!
+
 :- use_module(library(lists), [nonsingle/1]).
 nonsingle(A) :- lists:nonsingle(A).
 

core/library/argnames/tests/argnames_test.pl

@@ -1,4 +1,4 @@
-:- module(argnames_test,[],[assertions,regtypes,argnames]).
+:- module(argnames_test,[],[assertions,nativeprops,regtypes,argnames]).
 
 :- doc(title, "Tests for dynamic argnames").
 :- doc(author, "Jose F. Morales").

core/library/clpfd/fd_range_bits_unsafe.pl

@@ -68,7 +68,7 @@
         in_range/2
     %        portray/3
     ],
-    [assertions, regtypes,  fsyntax, dcg]).
+    [assertions, modes, regtypes,  fsyntax, dcg]).
 
 :- doc(title, "Range handling").
 
@@ -78,6 +78,8 @@
 :- use_module(library(lists), [last/2, append/3]).
 :- use_module(library(between), [between/3]).
 
+:- regtype fd_range_t/1.
+
 fd_range_type(prolog_bits_unsafe).
 fd_range_t(_).
 fd_const_spec := ~int | inf | sup.
@@ -89,7 +91,7 @@
 mymax(_, sup) := sup:-!.
 mymax(X, Y) := ~(fd_utils:max(X,Y)).
 
-:- pred default(fd_range_t).
+:- pred default(?fd_range_t).
 default := -1.
 
 :- pred new(+int, +int, -fd_range_t). 

core/library/clpfd/fd_range_finite_intervals.pl

@@ -64,7 +64,7 @@
 
         in_range/2
     ],
-    [assertions, regtypes,  fsyntax, dcg]).
+    [assertions, modes, regtypes,  fsyntax, dcg]).
 
 :- doc(title, "Sparse integer ranges implemented as list of intervals").
 
@@ -94,6 +94,8 @@
 
 % Our range bounds are closed integers
 
+:- regtype fd_range_bound_t/1.
+
 fd_range_bound_t := ~int.
 
 :- regtype fd_interval_t/1 # "Integer Interval List".
@@ -104,8 +106,8 @@
     fd_range_bound_t(Y),
     fd_interval_t(L).
 
-% :- regtype fd_range_t/1 #
-%       "Data Structure for Sparse Ranges with Singleton".
+:- regtype fd_range_t/1 #
+      "Data Structure for Sparse Ranges with Singleton".
 
 % TODO: Specify well the type.
 fd_range_t(X) :-

core/library/clpfd/fd_range_intervals.pl

@@ -94,6 +94,8 @@
 
 % Our range bounds are closed integers
 
+:- regtype fd_range_bound_t/1.
+
 fd_range_bound_t := ~int | inf | sup.
 
 :- regtype fd_interval_t/1 # "Integer Interval List".
@@ -104,8 +106,8 @@
     fd_range_bound_t(Y),
     fd_interval_t(L).
 
-% :- regtype fd_range_t/1 #
-%       "Data Structure for Sparse Ranges with Singleton".
+:- regtype fd_range_t/1 #
+      "Data Structure for Sparse Ranges with Singleton".
 
 % TODO: Specify well the type.
 fd_range_t(X) :-

core/library/iso_incomplete.pl

@@ -189,6 +189,7 @@
 close_option(force(true)).
 close_option(force(false)).
 
+% TODO: warnings due to missing qualification in comp expansion!
 :- pred close(@stream). 
 close(S) :- close(S, []).
 

core/library/modblobs/modblobs.pl

@@ -1,4 +1,4 @@
-:- module(modblobs, [], [assertions, regtypes, nativeprops, datafacts]).
+:- module(modblobs, [], [assertions, modes, regtypes, nativeprops, datafacts]).
 
 :- doc(title, "Modules as blobs").
 :- doc(author, "Isabel Garcia-Contreras").