Costa Vitor
b93e5fd300
fix warning
2009-05-22 19:20:53 -05:00
Costa Vitor
e611e1061a
fix annoying int cast problems (64 bit only)
2009-05-22 19:09:18 -05:00
Costa Vitor
8fcc534a19
fix bad error propagation in term comparison #53
2009-05-22 18:44:05 -05:00
Costa Vitor
ec595374a6
fix allocation of temporary stack so that unification can work even for
...
very deep terms.
fix occur_unification_bug X = a(f(Y)).
2009-05-22 18:35:24 -05:00
Costa Vitor
cfbd2f8886
use types in unification algorithm, makes the rest simpler.
2009-05-22 15:21:14 -05:00
Costa Vitor
75e08846fe
vargs needs include.
2009-05-22 14:44:32 -05:00
Vitor Santos Costa
23301fb19a
avoid warning on malloc
2009-05-22 14:01:22 -05:00
Vitor Santos Costa
8f019b22de
make sure to work even without system mode
2009-05-22 14:01:05 -05:00
Vitor Santos Costa
51e669dcfb
support for passing priority as argument to write. (Ulrich's #45 ).
...
fixes on making write handle infinite loops
2009-05-22 13:24:27 -05:00
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
