Mark Thom
|
9f861dfe89
|
reorder declaration matching in loader.pl
|
2021-03-22 18:13:01 -06:00 |
|
Mark Thom
|
fffb87d013
|
flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting
|
2021-03-22 16:53:23 -06:00 |
|
Mark Thom
|
51424aed32
|
clear user-level definitions when reloading a file (#455)
|
2021-03-16 02:30:09 -06:00 |
|
Markus Triska
|
761d707b69
|
use the new portray_clause/1 output for generated definitions
|
2021-03-03 22:34:09 +01:00 |
|
Markus Triska
|
d327a05e12
|
separate side-effects from declarative description to facilitate test cases etc.
|
2021-03-03 22:34:09 +01:00 |
|
Mark Thom
|
d3612e956e
|
catch exceptions thrown from initialization goals (#852)
|
2021-03-03 13:56:13 -07:00 |
|
Mark Thom
|
54c142fc0d
|
apply expand_module_names to call(A) goals
|
2021-02-28 19:01:36 -07:00 |
|
Mark Thom
|
6079402dc4
|
suppress tabled/2 existence errors in tabling library, do not print evaluation errors generated by term and goal expansion in loader.pl
|
2021-02-28 18:56:24 -07:00 |
|
Mark Thom
|
d6e04beb95
|
check that Module is an atom before calling Module:goal_expansion/2
|
2021-02-28 18:28:12 -07:00 |
|
Mark Thom
|
9a225e6244
|
wrap variable goals in module-expanded call/1
|
2021-02-28 18:15:33 -07:00 |
|
Mark Thom
|
360485d830
|
print errors arising from term and goal expansion calls from loader.pl
|
2021-02-28 16:19:37 -07:00 |
|
Mark Thom
|
1a9f6f06df
|
consume whitespace before reading a term in loader.pl, modify prolog_load_context at file key to better reflect loading context, use it when reporting singleton variables (#812)
|
2021-02-22 13:23:22 -07:00 |
|
Mark Thom
|
0ef5f7f9b1
|
issue singleton variable warnings from loader.pl (#812)
|
2021-02-21 19:20:42 -07:00 |
|
Mark Thom
|
5225587ff5
|
add set_prolog_flag to declarations recognized by loader.pl
|
2021-02-21 12:08:14 -07:00 |
|
Mark Thom
|
eff892ccb8
|
add qualified imports use_module library modules
|
2021-02-18 17:58:16 -07:00 |
|
Mark Thom
|
d69b7f41f2
|
add '$remove_module_exports' to loader.rs
|
2021-02-18 14:08:25 -07:00 |
|
Mark Thom
|
396c589743
|
add second term expansion to capture the addition of hook predicates to the expansion process in loader.pl, loader.rs
|
2021-02-17 15:39:52 -07:00 |
|
Mark Thom
|
7670b81633
|
remove VNs variable from loader.pl
|
2021-02-17 13:31:58 -07:00 |
|
Mark Thom
|
00bf39204d
|
add missing variable checks in various places
|
2021-02-17 11:12:19 -07:00 |
|
Mark Thom
|
e9ba3ad223
|
handle user:goal_expansion, but not Target:goal_expansion, explicitly in loader.pl
|
2021-02-17 01:19:51 -07:00 |
|
Mark Thom
|
6b6666be47
|
support discontiguous and multifile declarations
|
2021-02-16 22:08:32 -07:00 |
|
Mark Thom
|
e2a413df78
|
compile scoped clauses from loader.pl
|
2021-02-13 19:41:04 -07:00 |
|
Mark Thom
|
14efbb1356
|
roll back extent of heap when loads are complete in loader.pl
|
2021-02-11 15:37:43 -07:00 |
|
Mark Thom
|
4d29a3ae3c
|
check for control functors (,/;/->) before jumping to internal interpretation (#815)
|
2021-02-09 16:40:25 -07:00 |
|
Mark Thom
|
547c63b28e
|
qualify exception handling code in loader.pl (#809)
|
2021-02-09 15:47:14 -07:00 |
|
Mark Thom
|
4995c0ed94
|
append .pl to names of files that do not exist in loader.pl
|
2021-02-07 15:38:03 -07:00 |
|
Mark Thom
|
3f950490f9
|
set rustyline to check the cursor position (#802), don't add .pl extension to files in loader.pl (#800)
|
2021-02-06 13:47:26 -07:00 |
|
Mark Thom
|
bdb5df104a
|
shed module names from arguments of the (->)/2, (,)/2, (;)/2 predicates
|
2021-02-05 22:50:57 -07:00 |
|
Mark Thom
|
700778e574
|
collate paths as atoms in loader.pl (#778)
|
2021-02-05 20:18:56 -07:00 |
|
Mark Thom
|
a104b35cea
|
gather initialization goals and call them once load succeeds (#792)
|
2021-02-05 18:42:30 -07:00 |
|
Mark Thom
|
1bc8e9aebf
|
make load_context_path/2 handle .pl file extensions, remove commented out code
|
2021-02-05 13:13:54 -07:00 |
|
Mark Thom
|
2d7f31a60d
|
implement dynamic, multifile, and discontiguous properties and callable type checking for predicate_property/2
|
2021-02-05 02:16:14 -07:00 |
|
Mark Thom
|
75a52f032b
|
perform goal expansion in call/N (#788, #797)
|
2021-02-04 20:40:48 -07:00 |
|
Mark Thom
|
e17eb01f76
|
respect module context in expand_module_names (#788)
|
2021-02-03 16:47:22 -07:00 |
|
Mark Thom
|
e928a0aaea
|
expand attributed variable goals
|
2021-02-02 21:47:59 -07:00 |
|
Mark Thom
|
4e29099ed9
|
export loader's public predicates from builtins, handle module resolution from DCGs
|
2021-02-02 15:43:52 -07:00 |
|
Mark Thom
|
8900df6f13
|
add built_in to predicate_property
|
2021-02-02 15:03:14 -07:00 |
|
Mark Thom
|
e1ec4bee75
|
move term expansion logic entirely into loader.pl
|
2021-02-01 16:50:05 -07:00 |
|
Mark Thom
|
6ed7767512
|
add module scoping to predicate_property, expand subgoals in module resolved predicates
|
2021-02-01 16:09:19 -07:00 |
|
Mark Thom
|
08b18af8a0
|
call attribute variable goals with module resolution
|
2021-02-01 14:48:13 -07:00 |
|
Mark Thom
|
c2e3b47d29
|
properly thread functors whose first subterm is a variable in thread_goals/4
|
2021-01-30 23:37:23 -07:00 |
|
Mark Thom
|
a4d15bfb88
|
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
|
2021-01-30 21:07:51 -07:00 |
|