Vitor Santos Costa
e1421f207e
use DebugPlWrite for debugging writes
2009-05-22 13:23:51 -05:00
Vitor Santos Costa
328e2f5c22
don't loop on cyclic terms.
2009-05-22 12:24:30 -05:00
Vitor Santos Costa
8e1c8d723e
never do P=FAILCODE directly in the code.
2009-05-22 11:24:44 -05:00
Vitor Santos Costa
9852f7781d
- simplify error handling in arithmetic and handle infinite terms ( #46 )
2009-05-22 11:21:39 -05:00
Vitor Santos Costa
e466bf2c5b
fix $notrace (Ulrich Neumerkel #26 )
2009-05-21 23:51:34 -05:00
Vitor Santos Costa
3736ba5793
$notrace should call $execute and disable interrupts below.
2009-05-21 22:35:24 -05:00
Costa Vitor
d7135f06e9
fix charsio.
2009-05-21 19:15:12 -05:00
Vitor Santos Costa
f9533c8757
fix backtracking in timeout.
2009-05-21 01:30:24 -05:00
Vitor Santos Costa
56fa3499b1
oops
2009-05-21 01:08:34 -05:00
Vitor Santos Costa
3a3220d1a1
make sure we don't generate an heapexpansion in the middle of a write.
2009-05-21 01:04:13 -05:00
Vitor Santos Costa
a58e3d812d
fix interrupt enabling in call_setup and friends
...
remove between.
2009-05-21 00:41:35 -05:00
Vitor Santos Costa
46543ccb5c
remove redundant $between
2009-05-21 00:40:52 -05:00
Vitor Santos Costa
f3e4148511
fix bad behavior of time_out by making sure interrupts are disabled during critical operation, up
...
to setting a throw.
2009-05-21 00:39:57 -05:00
Vitor Santos Costa
c3974d49eb
allow users to disable interrupts, if so inclined.
2009-05-21 00:39:44 -05:00
Vitor Santos Costa
88b5f1a735
be careful to make sure we can hanle the interrupt.
2009-05-21 00:39:14 -05:00
Vitor Santos Costa
a59a434d66
use interrupts_disabled
...
make onerrupts disabled recursive (not quite needed, but maybe one day).
2009-05-21 00:38:35 -05:00
Vitor Santos Costa
efcf162aa6
use interrupts_disabled instead of enabled.
2009-05-21 00:38:04 -05:00
Vitor Santos Costa
fe01f71f3e
between/3 is now part of arith.yap:
...
- handle inf
- handle errors
- make top case deterministic (Ulrich #66 )
2009-05-21 00:36:09 -05:00
Vitor Santos Costa
2020a19e69
fix format_to_chars/4 (Ulrich Neumerkel #62 )
2009-05-20 09:14:48 -07:00
Vitor Santos Costa
26a20fa74a
fix showing clean_call ( #65 Ulrich Neumerkel).
2009-05-20 09:12:01 -07:00
Vitor Santos Costa
aaec9ddceb
fix overflow while dumping very large big ints (Ulrich #18 )
2009-05-20 08:12:18 -07:00
Vitor Santos Costa
26057240a8
fix call_cleanup/2 and /3 (broken in previous patch).
2009-05-20 07:29:13 -07:00
Ulrich Neumerkel
b38505cff2
FIXED: time_out output argument, exceptions (unhappy about once)
...
?- time_out(true,3600,time_out).
yes
?- catch(time_out(throw(x),3600,R),x,length(L,L)).
ERROR!!
UNHANDLED EXCEPTION - message time_out unknown
2009-05-19 23:58:35 -07:00
Vitor Santos Costa
c7066b43ec
first try of setup_call_cleanup/3 and setup_call_catcher_cleanup/4
2009-05-19 23:53:14 -07:00
Vitor Santos Costa
13b9098200
Ulrich: [PATCH-YAP] Permit | in DCGs.
2009-05-18 07:39:01 -07:00
Vitor Santos Costa
62118e3a0c
Ulrich: [PATCH-YAP] DOC: copy_term/3
2009-05-18 07:36:00 -07:00
Vitor Santos Costa
cfec78de06
fix copy_term and frozen (obs from Ulrich).
2009-05-18 07:07:42 -07:00
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
