Commit Graph

  • 8df552e952 Merge pull request #1477 from triska/document_tab_completion Mark Thom 2022-05-15 09:44:26 -06:00
  • 18c52e076f indent enumerations Markus Triska 2022-05-15 10:55:56 +02:00
  • 1810dabc14 clarify the representation Markus Triska 2022-05-15 10:55:27 +02:00
  • 609a3a229f strengthen and improve type checks Markus Triska 2022-05-15 10:25:41 +02:00
  • dff56643f0 clarify comment Markus Triska 2022-05-15 10:23:00 +02:00
  • 77f8d52271 use phrase_from_file/2 directly on the file name Markus Triska 2022-05-15 10:19:00 +02:00
  • 1e9821ec0c document atom and predicate completion with TAB Markus Triska 2022-05-15 10:04:45 +02:00
  • 66e047083a Merge pull request #1474 from triska/correct_can_be_chars Mark Thom 2022-05-14 23:28:04 -06:00
  • e6438e79d8 consider deallocate a head instruction (#1473) Mark Thom 2022-05-14 11:01:26 -06:00
  • a5e72679bc prioritize type errors over instantiation errors Markus Triska 2022-05-14 09:52:34 +02:00
  • 15cc916333 FIXED: can_be(chars, [a,X]), i.e., if variables occur as elements Markus Triska 2022-05-14 08:09:01 +02:00
  • 2f3de51e55 remove non-determinism in number_chars/2 and numbercodes/2 (#1473) Mark Thom 2022-05-13 18:38:02 -06:00
  • cea1353fbb use must_be(chars) in number_chars/2 (#1470) Mark Thom 2022-05-12 00:00:37 -06:00
  • bfbafd4168 Merge pull request #1467 from euanlacy/master Mark Thom 2022-05-11 22:32:09 -06:00
  • 27a15a2464 wip: add more atoms to completion list Euan Lacy 2022-05-11 21:37:03 +01:00
  • c2a87f898e fix: remove unnecessary string & vec allocations Euan Lacy 2022-05-10 17:54:15 +01:00
  • aaa75c3ffc wip: basic completion of predicates Euan Lacy 2022-05-10 04:40:22 +01:00
  • 2dfa108034 unify partial string tail later in create_partial_string (#1462, #1465, #1427) Mark Thom 2022-05-08 14:52:22 -06:00
  • 4895cb7b22 fix culprit in stream_position permission_error (#1463) Mark Thom 2022-05-06 17:38:25 -06:00
  • 2d3eb8483f correct cycle detection in unify_* (#1455) Mark Thom 2022-05-05 18:58:22 -06:00
  • 36ef988514 Merge pull request #1461 from triska/clpz_sign Mark Thom 2022-05-05 17:24:54 -06:00
  • d58dd7cc91 ADDED: sign/1 Markus Triska 2022-05-05 22:49:48 +02:00
  • 7e06abebd5 remove comment that seems no longer valid Markus Triska 2022-05-05 22:51:21 +02:00
  • 8dd7f51ae3 fix rnd_i fixnum casting bug (#1456, #1458) Mark Thom 2022-05-04 22:44:12 -06:00
  • 6030fae685 track f64 offsets in Literal (#1190) Mark Thom 2022-05-04 21:54:46 -06:00
  • 0f502fff84 compact lists of characters to partial strings in read_term_from_heap (#1452, #1453) Mark Thom 2022-05-01 23:13:48 -06:00
  • 789f662ec8 fix match_partial_string, compare_pstr_to_string (#1451) Mark Thom 2022-04-30 19:51:19 -06:00
  • 72536037ca remove redundant register assignments in numeric comparisons (#1438, #1448) Mark Thom 2022-04-29 01:25:36 -06:00
  • e4eefc92f4 remove redundant skip_stub_try_me_else condition (#1444) Mark Thom 2022-04-28 19:25:09 -06:00
  • 23c4e935b4 Merge pull request #1436 from triska/must_be_term Mark Thom 2022-04-26 13:31:43 -06:00
  • 68b4951bc9 replace SliceDeque with VecDeque Mark Thom 2022-04-25 22:55:28 -06:00
  • ed89c43e48 catch existence_error exceptions from top-level calls to attribute_goals/3 (#1432) Mark Thom 2022-04-24 20:59:00 -06:00
  • 16137ace0e unify structures from left to right (#1396) Mark Thom 2022-04-22 19:00:42 -06:00
  • b4ef7556da update to crossterm 0.20.0 (#1439) Mark Thom 2022-04-21 18:41:07 -06:00
  • eea83d9474 ADDED: can_be(term, ...) and must_be(term, ...) Markus Triska 2022-04-20 20:41:11 +02:00
  • 9d5264c5a3 very minor optimizations Mark Thom 2022-04-17 20:10:13 -06:00
  • 66075bf45b mark unsafe variables and substitute temporary variables in is/2 when appropriate (#1430) Mark Thom 2022-04-17 17:33:09 -06:00
  • 35b8f69f92 fix panic caused by jmp offset off by one error (#1429) Mark Thom 2022-04-17 12:19:48 -06:00
  • 2d5fe21b05 avoid writing chars to the atom table in several places Mark Thom 2022-04-16 19:57:26 -06:00
  • b448681872 Merge pull request #1421 from gruhn/master Mark Thom 2022-04-16 11:11:33 -06:00
  • 05c14d5780 fix comparisons to partial string tails (#1420) Mark Thom 2022-04-14 22:14:23 -06:00
  • bb9de52a53 push Docker image on new release Niklas Gruhn 2022-04-14 16:33:57 +02:00
  • 7595ec16e5 instantiate Module in definition of retract/1 (#1392) Mark Thom 2022-04-13 20:31:16 -06:00
  • d8cf0f320d mark cells that are about to be iterated in the stackful iterator (#1418) Mark Thom 2022-04-12 22:51:20 -06:00
  • d644a3996e use '$call' all throughout setup_call_cleanup/3 Mark Thom 2022-04-11 17:24:00 -06:00
  • 525050c407 dereference head of list in is_continuable (#1417) Mark Thom 2022-04-11 17:01:47 -06:00
  • 468088fd6b stop detecting cycles in compare_pstr_to_string Mark Thom 2022-04-10 19:46:34 -06:00
  • 95c192a988 mark variable referents in stackful iterator, fix tests (#1408) Mark Thom 2022-04-10 14:17:33 -06:00
  • d6287fae06 Merge pull request #1415 from wkral/set_output-error Mark Thom 2022-04-10 14:11:43 -06:00
  • 9e98f75495 Fix reported source for set_output/1 error (#1407) William Kral 2022-04-10 12:00:59 -07:00
  • 56681af1b6 print dot after errors, fix tests (#1408) Mark Thom 2022-04-10 10:15:00 -06:00
  • 8bf3d4ea71 fix tests, use '$first_answer' to print indentation before errors (#1408) Mark Thom 2022-04-09 20:32:52 -06:00
  • 00eab4d415 print errors as goals (#1408) Mark Thom 2022-04-09 14:01:48 -06:00
  • 0876d46880 unmark dereferenced cells in term_variables/2 (#1412) Mark Thom 2022-04-09 12:15:46 -06:00
  • ed803d30cd dereference bindings returned by stackful iterator (#1410, #1411) Mark Thom 2022-04-09 11:47:54 -06:00
  • b6504bf377 deduplicate variable list in term_variables/2 (#1409) Mark Thom 2022-04-08 21:18:59 -06:00
  • 85b4f235ef throw errors on cyclic terms when evaluating is/2 expressions Mark Thom 2022-04-07 23:06:58 -06:00
  • 064bfa5e0d fix loop in stackful iterator (#1405, #1384) Mark Thom 2022-04-07 20:48:40 -06:00
  • 4a6ffb6b9e detect immediately cyclic lists (#1384) Mark Thom 2022-04-06 22:53:48 -06:00
  • d952b7ace8 restore correct order to term_variables/2 (#1400, #1401) Mark Thom 2022-04-06 08:39:16 -06:00
  • 3b6138eaaa limit use of stackless iterator to test suite Mark Thom 2022-04-05 21:02:39 -06:00
  • f3167f6b5f add forwarding bit to all heap cells (#1384) Mark Thom 2022-04-05 20:13:17 -06:00
  • 8c99d748e2 allocate floats in dedicated buffer Mark Thom 2022-04-04 23:56:30 -06:00
  • 0ab928063e make marker into an iterators, recover post_order_iterator Mark Thom 2022-04-02 22:45:10 -06:00
  • c9a34bde3f removal of old stackless iterator, implementation of new more faithful one Mark Thom 2022-04-02 17:30:04 -06:00
  • 7f85c682b8 Merge pull request #1395 from wkral/fix-test-indentation Mark Thom 2022-04-05 10:58:12 -06:00
  • 181185bad6 Fix indentation before false in tests (#676) William Kral 2022-04-04 23:58:20 -07:00
  • 01a9fd9e25 indent plain false (#676) Mark Thom 2022-04-03 20:22:44 -06:00
  • 3be00045cf Merge pull request #1386 from triska/better_call_nth Mark Thom 2022-04-03 01:38:37 -06:00
  • 86176dce8d compare complete strings to one another in write_literal_to_var (#1388) Mark Thom 2022-04-03 01:37:19 -06:00
  • 1fa8a0a969 ENHANCED: more memory efficient call_nth/2 (#1264) Markus Triska 2022-04-02 10:31:56 +02:00
  • d5fe2e88d1 don't mark forwarded refs in stackless iterator/marker (#1384) Mark Thom 2022-04-02 01:29:51 -06:00
  • 9177dbce7f be aware of temporary variables of stackless iterator in term_variables (#1383) Mark Thom 2022-03-31 18:18:04 -06:00
  • 55a896367d Merge pull request #1381 from wkral/build-fmt-error Mark Thom 2022-03-31 17:59:02 -06:00
  • f2e49c84cc Improve rustfmt missing error during build (#1379) William Kral 2022-03-30 14:26:35 -07:00
  • afa0bea1b1 Merge pull request #1380 from triska/as_is Mark Thom 2022-03-30 13:56:25 -06:00
  • f7e31fceac as --> is Markus Triska 2022-03-30 21:33:46 +02:00
  • c490d818fb fix dif/2 crash (#1378) Mark Thom 2022-03-29 18:39:45 -06:00
  • 32bdedde6d Merge pull request #1373 from aarroyoc/http-open Mark Thom 2022-03-28 23:10:08 -06:00
  • 48960f1beb print closed stream handle as '$dropped_value' (#1376) Mark Thom 2022-03-28 19:03:28 -06:00
  • cf65cbe2f1 dereference numbervars terms (#1377) Mark Thom 2022-03-28 18:58:38 -06:00
  • 45c35eca3e Add close handling of http stream Adrián Arroyo Calle 2022-03-28 21:04:46 +02:00
  • bb2a8c9090 http_open/3 try_or_throw Adrián Arroyo Calle 2022-03-27 14:23:14 +02:00
  • 6798b22b49 http_open/3 with headers and data Adrián Arroyo Calle 2022-03-27 14:18:38 +02:00
  • 3acbe2a418 http_open/3 with method option Adrián Arroyo Calle 2022-03-19 22:53:24 +01:00
  • c45cdd6ea0 extend small_letter_char! to include all non-uppercase letters (#1364) Mark Thom 2022-03-27 13:34:29 -06:00
  • f520c38b60 Stream::close() should close file handles (#1374) Mark Thom 2022-03-27 13:08:43 -06:00
  • 046a2175ab use ryu to print floats with a modification for compatible syntax (#1368, #1372) Mark Thom 2022-03-27 11:28:10 -06:00
  • 83def95383 fix char comparison misordering (#1371) Mark Thom 2022-03-26 21:44:37 -06:00
  • 012fefa37e retrieve F64 behind Cons tags properly (#1369) Mark Thom 2022-03-26 21:18:07 -06:00
  • 4878e42e07 Merge pull request #1370 from triska/files_must_be_chars Mark Thom 2022-03-26 12:30:58 -06:00
  • 1a7992e524 ENHANCED: use newly available must_be(chars, ...), which is very fast Markus Triska 2022-03-26 18:59:11 +01:00
  • 94d7c6dc5f fix functor/3 arity check (#1366) Mark Thom 2022-03-25 18:07:22 -06:00
  • 23bfb4da50 advance arg in arithmetic comparison code (#1367) Mark Thom 2022-03-25 17:30:47 -06:00
  • 1f21a5fe62 detect float rounding overflows (#1365) Mark Thom 2022-03-24 10:25:42 -06:00
  • 2173a8e3cb recognize missing syntax errors (#1354, #1361) Mark Thom 2022-03-22 22:48:51 -06:00
  • 067e2633af compare TypedArenaPtr<T> by value not pointer (#1362) Mark Thom 2022-03-22 00:55:44 -06:00
  • d916da9ba8 use Rust's native UTF-8 functions (#1355) Mark Thom 2022-03-19 16:52:27 -06:00
  • c2fc33afec correct float version of sign/1 (#1360) Mark Thom 2022-03-18 19:00:53 -06:00
  • 3d4e400ed2 accept remaining UTF-8 codepoints as alphabetic characters (#1355) Mark Thom 2022-03-18 17:49:54 -06:00