Vitor Santos Costa
|
3c57286531
|
make sure we disable disabling interrupts on error handler.
|
2009-05-25 09:58:27 -05:00 |
|
Vitor Santos Costa
|
4f71103b88
|
idon't disable interrupts for creeping.
|
2009-05-25 09:57:59 -05:00 |
|
Vitor Santos Costa
|
9a0393e2ce
|
predicate_property would only return first prop for system pred (obs from Paulo Moura).
|
2009-05-25 09:57:27 -05:00 |
|
Vitor Santos Costa
|
a6f0b8cc9f
|
ignore specific limit for max write depth on lists. Use same limit everywhere.
|
2009-05-24 19:37:07 -05:00 |
|
Vitor Santos Costa
|
a0750ff5b7
|
handle heap overflows when constructing new predicates.
|
2009-05-24 19:25:26 -05:00 |
|
Vitor Santos Costa
|
9a9767d73c
|
cannot just do error when user does crazy things.
|
2009-05-24 19:20:00 -05:00 |
|
Vitor Santos Costa
|
46dc2b1a49
|
should exit if interrupts *are* disabled.
|
2009-05-24 19:19:22 -05:00 |
|
Vitor Santos Costa
|
99ac4f4d4a
|
handle SWI style goal expansion natively, instead of trying to be smart.
|
2009-05-24 19:18:52 -05:00 |
|
Vitor Santos Costa
|
de3c042143
|
just update, no interesting change.
|
2009-05-24 15:17:23 -05:00 |
|
Vitor Santos Costa
|
f5bff2a21d
|
just indenting
|
2009-05-24 15:16:40 -05:00 |
|
Vitor Santos Costa
|
09216a70b8
|
fix unprotected calls to plwrite.
|
2009-05-24 15:15:36 -05:00 |
|
Vitor Santos Costa
|
488a230169
|
fix unification core dump.
|
2009-05-24 15:15:05 -05:00 |
|
Vitor Santos Costa
|
81970013ed
|
allow storing a pointer.
|
2009-05-24 15:14:44 -05:00 |
|
Vitor Santos Costa
|
b94baf1e5f
|
try not to loop in infinite terms.
|
2009-05-24 15:14:23 -05:00 |
|
Vitor Santos Costa
|
b5e5a671a8
|
restore stack on JumpExec
|
2009-05-23 15:51:50 -05:00 |
|
Vitor Santos Costa
|
b9a7d24e8b
|
avoid too long messages
back to top level if Yap_Error is called in a critical region.
|
2009-05-23 15:51:00 -05:00 |
|
Vitor Santos Costa
|
4d497193b6
|
fix garbage collection on attributed variables with lots of choice points.
|
2009-05-23 12:41:37 -05:00 |
|
Vitor Santos Costa
|
04c419b3b0
|
not always throw an error when it is not a variable.
|
2009-05-22 22:35:40 -05:00 |
|
Vitor Santos Costa
|
9a2dbdcb24
|
one extra warning goes away.
|
2009-05-22 21:53:24 -05:00 |
|
Vitor Santos Costa
|
f79d79e926
|
replace TYPE_ERROR_VARIABLE for attributes #57
|
2009-05-22 21:51:48 -05:00 |
|
Vitor Santos Costa
|
264d9322b9
|
fix compiler warning messages.
|
2009-05-22 21:33:09 -05:00 |
|
Costa Vitor
|
7304fbda13
|
fix lack of streams message (Ulrich Neumerkel #60)
|
2009-05-22 19:55:18 -05:00 |
|
Costa Vitor
|
c00facdd17
|
exception at fail could loop with bad env. #59
|
2009-05-22 19:43:17 -05:00 |
|
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 |
|