Mark Thom
|
83def95383
|
fix char comparison misordering (#1371)
|
2022-03-26 21:44:37 -06:00 |
|
Mark Thom
|
94d7c6dc5f
|
fix functor/3 arity check (#1366)
|
2022-03-25 18:07:22 -06:00 |
|
Mark Thom
|
067e2633af
|
compare TypedArenaPtr<T> by value not pointer (#1362)
|
2022-03-22 00:55:44 -06:00 |
|
Mark Thom
|
c2fc33afec
|
correct float version of sign/1 (#1360)
|
2022-03-19 15:55:23 -06:00 |
|
Mark Thom
|
895b02b641
|
improve length/2 (#1325)
|
2022-03-15 18:43:57 -06:00 |
|
Mark Thom
|
e88ec6736c
|
add (:) meta-predicate argument indicator (#1302)
|
2022-03-13 13:54:58 -06:00 |
|
Mark Thom
|
922abf21e7
|
derefence target variable in check_sort_errors (#1350)
|
2022-03-13 13:54:58 -06:00 |
|
Mark Thom
|
c55bfa2c6e
|
throw errors on cycles in sort/2 and keysort/2 (#1350 and #1351)
|
2022-03-13 11:03:52 -06:00 |
|
Mark Thom
|
5463c1d47f
|
point code index to switch_on_term after appending indexed clause to single-clause predicate (#1346)
|
2022-03-12 20:44:09 -07:00 |
|
William Kral
|
5f1f07e5a1
|
Add --no-add-history flag
Flag prevents the input stream from saving terms to ~/.scryer_history
when set. Use the flag when running tests to increase test isolation.
|
2022-03-10 21:48:41 -08:00 |
|
Mark Thom
|
9cefb33388
|
correct loading of variable name strings in write_term/3
|
2022-03-08 22:00:12 -07:00 |
|
Mark Thom
|
bd5d6d0686
|
fix parser bounds check bug (#1333, #1301)
|
2022-03-08 21:25:19 -07:00 |
|
Mark Thom
|
ecebaf8216
|
unify empty list to '' in atom_chars/2 (#1334, #1336)
|
2022-03-08 18:25:40 -07:00 |
|
Mark Thom
|
8762647b55
|
wrap meta-predicate specifications in functors (#1330)
|
2022-03-07 22:36:52 -07:00 |
|
Mark Thom
|
664c0ee77c
|
fix float formatting (#1331)
|
2022-03-07 19:44:39 -07:00 |
|
Mark Thom
|
bd594e0c05
|
fix number/1 (#1329)
|
2022-03-06 19:17:52 -07:00 |
|
Mark Thom
|
1808597258
|
compare functor arity first (#1327)
|
2022-03-06 16:37:21 -07:00 |
|
Mark Thom
|
2744989cf1
|
fix compare/3 (#1327)
|
2022-03-06 15:49:01 -07:00 |
|
Mark Thom
|
66c209f9e4
|
reset ReadlineStream from read_query_line (#1317, #1285)
|
2022-03-05 17:39:13 -07:00 |
|
Mark Thom
|
0c25ffc26e
|
dereference list link in delete_attribute (#1148)
|
2022-03-05 17:39:03 -07:00 |
|
Mark Thom
|
a38f7c8524
|
save arguments to delayed goal before calling verify_attrs (#1304)
|
2022-03-01 23:59:41 -07:00 |
|
Markus Triska
|
1bec1b7002
|
FIXED: load_html/3: use str_loc_as_cell! to store attribute structures
|
2022-03-01 20:21:08 +01:00 |
|
Mark Thom
|
1b4b4807a5
|
refer to structures using str_loc_as_cell! (#1311)
|
2022-02-28 18:28:13 -07:00 |
|
Mark Thom
|
d55d5f15ae
|
compare '[]' in pstr_comparator of compare_term_test (#1299)
|
2022-02-25 23:57:27 -07:00 |
|
Mark Thom
|
775bd3a08b
|
unify '' to [] in unify_complete_string (#1292, #1288)
|
2022-02-25 23:01:08 -07:00 |
|
Mark Thom
|
d92d8bce89
|
recognize [] as equivalent to "" in unify_atom (#1288)
|
2022-02-22 23:45:58 -07:00 |
|
Markus Triska
|
d1372d9b3b
|
FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.
This addresses #1249.
|
2022-02-23 00:03:27 +01:00 |
|
Mark Thom
|
063f0da565
|
correct '$skip_max_list/4' for non-lists (#1276)
|
2022-02-20 23:44:18 -07:00 |
|
Mark Thom
|
a5adcfff4c
|
adjust dynamic external indices upon retraction, reset dynamic_mode to Next regardless of success or failure
|
2022-02-19 01:00:02 -07:00 |
|
Mark Thom
|
d3583276b3
|
throw instantiation_error on variables from (#1283)
|
2022-02-19 01:00:02 -07:00 |
|
Mark Thom
|
55d8de1b23
|
delay callable errors in control predicates (#1282)
|
2022-02-19 00:59:59 -07:00 |
|
Mark Thom
|
5b829636cb
|
build CStr's to vars in write_literal_to_var (#1284)
|
2022-02-15 22:33:29 -07:00 |
|
Mark Thom
|
9ba503cd6b
|
use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions
|
2022-02-06 21:36:49 -07:00 |
|
Mark Thom
|
f3f3dccf8e
|
reference partial strings properly in read_term (#1271)
|
2022-02-06 15:14:18 -07:00 |
|
Mark Thom
|
7b8001d060
|
fix '$skip_max_list'/4 (#1260)
|
2022-02-05 18:33:30 -07:00 |
|
Mark Thom
|
37e34c5209
|
reset instruction pointers with calls, make HCPrinter::range_from safe (#1233)
|
2022-01-31 21:24:19 -07:00 |
|
Mark Thom
|
4b71607215
|
count cycle lengths in skip_max_list_cycle (#1260)
|
2022-01-31 18:23:16 -07:00 |
|
Mark Thom
|
4ddacc707d
|
add range check to arg/3 (#1250)
|
2022-01-29 12:50:09 -07:00 |
|
Mark Thom
|
0d653a2ce6
|
improve '$skip_max_list'/4 and length/2 (#1023, #110)
|
2022-01-29 12:47:26 -07:00 |
|
Mark Thom
|
b3006f6fd8
|
inline store & deref calls in '' (#1176)
|
2022-01-26 23:03:19 -07:00 |
|
Mark Thom
|
a562793fce
|
don't read into the heap while incrementing self.s (#1233, #1245)
|
2022-01-25 20:37:29 -07:00 |
|
Mark Thom
|
5dddf0a460
|
dereference car of Lis in HeapPStRIter::step (#1238)
|
2022-01-19 20:51:23 -07:00 |
|
Mark Thom
|
5a132aaff4
|
throw error instead of overwriting builtin export (#1225)
|
2022-01-18 19:16:14 -07:00 |
|
Mark Thom
|
3ebf8d5db9
|
clear alias in close before resetting the stream to null (#1231)
|
2022-01-17 17:58:14 -07:00 |
|
Mark Thom
|
c6400550e1
|
dereference second argument of '/2
|
2022-01-17 00:00:23 -07:00 |
|
Markus Triska
|
11d504e8f4
|
retain the string "[]" as is, instead of converting it to '[]' (i.e., "")
This addresses #1215.
|
2022-01-16 17:50:20 +01:00 |
|
Mark Thom
|
83378e4373
|
deduplicate but do not sort anonymous variables in toplevel (#1196)
|
2022-01-15 19:24:22 -07:00 |
|
Mark Thom
|
06abe2302b
|
add missing cases to retract_clause (#1214)
|
2022-01-15 00:51:38 -07:00 |
|
Mark Thom
|
f3e5f7879d
|
allow late dynamic declaration for predicates (#1205)
|
2022-01-14 16:31:49 -07:00 |
|
Mark Thom
|
bc5125b719
|
put_complete_string should push the empty list to the heap for empty strings (#1209)
|
2022-01-14 16:31:49 -07:00 |
|