Vitor Santos Costa
a1203e56dd
we don't always expand stack on attvar overflow.
2009-05-17 22:51:34 -07:00
Vitor Santos Costa
17e36dbda1
keep things right if there is a temporary overflow in loopy term checking.
2009-05-17 12:39:51 -07:00
Vitor Santos Costa
a52317b9c2
fix Yap_shift_visit for malloc: a few miscalculations...
2009-05-17 12:26:09 -07:00
Vitor Santos Costa
55036ad9bb
check if argument to when is bound (obs from Ulrich Neumerkel).
2009-05-17 10:58:21 -07:00
Vitor Santos Costa
f4e3869025
include messages for out of stack and friends.
2009-05-17 10:40:14 -07:00
Vitor Santos Costa
44f7e67394
make sure we reset global variables when exiting a thread
2009-05-17 10:38:39 -07:00
Vitor Santos Costa
ae5bf4d6e7
support resource errors for out of memory conditions.
...
improve stack dump message.
2009-05-17 09:42:56 -07:00
Vitor Santos Costa
d8590f2587
return error message if no room available.
2009-05-17 09:42:40 -07:00
Vitor Santos Costa
55e37020a4
return copy when copying term
2009-05-17 09:41:59 -07:00
Vitor Santos Costa
94e740ae31
reduce the initail amount of space for globals
2009-05-17 09:41:34 -07:00
Vitor Santos Costa
de1fb3e2c5
copy exception term early on to avoid dangling pointers.
2009-05-17 08:02:34 -07:00
Vitor Santos Costa
8e7695a42c
make Yap_Eval only on entry.
2009-05-16 22:41:44 -07:00
Vitor Santos Costa
1058a350c6
more cleanups: get rid of dead code.
2009-05-16 12:08:11 -07:00
Vitor Santos Costa
1fe1b19534
cleanup handling of attributed variables:
...
- try to make it clear when to call project
- try to make it clear when to generate goals for attributed variables (get_goalist_from_attvars).
- change call_residue to rely this infrastructure and then add extra variables.
- change frozen never to call project.
2009-05-16 12:00:56 -07:00
Vitor Santos Costa
d333de262e
fix typo (Ingo Molnar).
2009-05-15 20:55:24 -05:00
Vitor Santos Costa
8cfd6cf7fc
make length steadfast (from Ulrich Neumerkel).
2009-05-15 20:54:14 -05:00
Vitor Santos Costa
7953004610
fix unused variable warning.
2009-05-13 17:12:12 -05:00
Vitor Santos Costa
6d8649226c
fix tabling code.
2009-05-13 17:11:46 -05:00
Vitor Santos Costa
bdf8b890e3
copy_term/3
2009-05-13 17:11:21 -05:00
Vitor Santos Costa
04fa96e8a0
add call_residue_vars (SWI and SICStus 4 compatibility).
2009-05-13 16:43:24 -05:00
Vitor Santos Costa
bddc09b963
documentation patch (from Ulrich Neumerkel).
2009-05-12 17:06:33 -05:00
Vitor Santos Costa
13e2febd30
stack overflow instructions could be wiped out by Restore.
2009-05-12 17:01:53 -05:00
Vitor Santos Costa
39ccbd345d
make options -T -L -G work as SWI: they impose a maximum size limit
2009-05-10 13:36:55 -04:00
Vitor Santos Costa
b177a9e333
/ is legal in Prolog, why did I comment that out?
2009-05-09 23:49:10 -04:00
Vitor Santos Costa
e5a3150da0
** and exp should not be compiled as ^.
2009-05-09 23:40:37 -04:00
Vitor Santos Costa
61973a2be6
be careful: error handling may have changed PC in call_c_with_fail!
2009-05-09 23:40:17 -04:00
Vitor Santos Costa
5b527e7eeb
just make things prettier.
2009-05-09 23:39:57 -04:00
Vitor Santos Costa
f53c741d96
improve low-level tracer.
2009-05-09 23:30:20 -04:00
Vitor Santos Costa
5b537ef7e2
fix error handling.
2009-05-09 23:30:08 -04:00
Vitor Santos Costa
f065e9359b
hProlog semantics requires checking *every* existing attributed variable (broken
...
in recent patch).
2009-05-08 00:01:09 -04:00
Vitor Santos Costa
d3632dd48c
fix case where you may bind variable (eg, freeze(X,Y)), obs from Ulrich Neumerkel.
2009-05-07 23:51:18 -04:00
Vitor Santos Costa
e4fdf5a1ff
fix (??) X^N, N< 0. When does this make sense?
2009-05-07 23:42:16 -04:00
Vitor Santos Costa
21fa27526c
generate error if module is unspecified (obs from Ulrich Neumerkel).
2009-05-07 23:14:28 -04:00
Vitor Santos Costa
7d37428f36
fix reporting state of unknown flag (obs from Paulo Moura).
2009-05-06 09:33:13 -05:00
Vitor Santos Costa
0cd9009132
remove debugging message.
2009-05-05 10:15:34 -05:00
Vitor Santos Costa
32b08082f7
fix clean_trail: with threads, objects may be above stack, not just below.
2009-05-05 09:56:47 -05:00
Vitor Santos Costa
6a6b18b045
send the abort message at the right place.
2009-05-04 22:31:03 -05:00
Vitor Santos Costa
c2e6456c25
wait until sending out the abort message.
2009-05-04 22:30:47 -05:00
Vitor Santos Costa
c31737fe3d
make sure that a meta-call to functor/3 has an environment so that
...
it can do garbage collection.
2009-05-04 21:57:08 -05:00
Vitor Santos Costa
a077500795
should always be ENV
2009-05-04 21:56:49 -05:00
Vitor Santos Costa
780b629bff
fix bad handling of trail overflow.
2009-05-04 21:26:47 -05:00
Vitor Santos Costa
10c38f8164
1. catch should not catch outside of scope!
...
2. when we are catching check for the first cleanup we can find; and while
doing that going on rewinding variables, for SICStus compatibility.
2009-05-04 18:12:33 -05:00
Vitor Santos Costa
35c1cb6338
put future environment when waking up goals before failure.
2009-05-04 18:11:43 -05:00
Vitor Santos Costa
e3293851a7
change variable names so that they are standard everywhere.
2009-05-04 18:11:11 -05:00
Vitor Santos Costa
42442bd360
make sure throw goes away on deterministic computations.
2009-05-04 18:10:07 -05:00
Vitor Santos Costa
d7559c3f96
put a reminder that in the future YAP will give an exception on unknown.
2009-05-04 18:08:12 -05:00
Vitor Santos Costa
848e1209a2
make sure call_cleanup makes exception handler fail.
2009-05-04 14:02:17 -05:00
Vitor Santos Costa
9ce8df7bcd
fix $skip_list (patch from Ulrich Neumerkel). It should be moved to C-code.
2009-05-04 11:53:24 -05:00
Vitor Santos Costa
ced3448c9a
error.pl should not be here (obs from Ulrich Neumerkel).
2009-05-04 11:41:01 -05:00
Vitor Santos Costa
6fd5e592d3
support probabilistic grammars from CLPBN
2009-05-02 14:22:54 -05:00
