Vitor Santos Costa
3fc4f71bee
prolog module is visible everywhere.
2009-05-28 21:51:34 -05:00
Ulrich Neumerkel
c1dcb1d75d
FIX #85 (defaultyness & meta_predicate), and thus #84 , #82 , #69
2009-05-28 12:35:41 -05:00
Ulrich Neumerkel
2b495cd095
Introduction of errors for signal. In a case of conflict, 13211-1:7.12.2a is given precedence over 13211-2:6.7.1.4
2009-05-28 12:34:13 -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
99ac4f4d4a
handle SWI style goal expansion natively, instead of trying to be smart.
2009-05-24 19:18:52 -05:00
Vitor Santos Costa
f5bff2a21d
just indenting
2009-05-24 15:16:40 -05:00
Vitor Santos Costa
f79d79e926
replace TYPE_ERROR_VARIABLE for attributes #57
2009-05-22 21:51:48 -05:00
Costa Vitor
7304fbda13
fix lack of streams message (Ulrich Neumerkel #60 )
2009-05-22 19:55:18 -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
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
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
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
26a20fa74a
fix showing clean_call ( #65 Ulrich Neumerkel).
2009-05-20 09:12:01 -07:00
Vitor Santos Costa
26057240a8
fix call_cleanup/2 and /3 (broken in previous patch).
2009-05-20 07:29:13 -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
cfec78de06
fix copy_term and frozen (obs from Ulrich).
2009-05-18 07:07:42 -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
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
8cfd6cf7fc
make length steadfast (from Ulrich Neumerkel).
2009-05-15 20:54:14 -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
e5a3150da0
** and exp should not be compiled as ^.
2009-05-09 23:40:37 -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
7d37428f36
fix reporting state of unknown flag (obs from Paulo Moura).
2009-05-06 09:33:13 -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
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
95ee0d9148
support calling attribute_goals.
2009-04-25 12:54:50 -05:00
Vitor Santos Costa
50fd7dca5a
support thread_initialization.
2009-04-25 12:54:21 -05:00
Vitor Santos Costa
c132e7e6ec
fix gmp support to give out of resource error if the bignum is too big.
2009-04-25 11:01:33 -05:00
Vitor Santos Costa
9ef589aef7
simplify output messages
2009-04-25 10:58:21 -05:00
Vitor Santos Costa
2503805aff
support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums.
2009-04-24 19:03:00 -05:00
Vitor Santos Costa
e3aeb48af6
call_cleanup/3 should allow exceptions to go through, even if cleaner
...
itself calls an exception (obs from Ulrich Neumerkel).
2009-04-24 18:06:33 -05:00
Vitor Santos Costa
13f66957b6
break should restore system_mode.
2009-04-23 11:48:06 -05:00
Vitor Santos Costa
c1aba9a840
fix the signal handling a bit better.
2009-04-22 16:13:08 -05:00
Vitor Santos Costa
2f8c9c6b6c
block users from catching user balls.
2009-04-22 11:32:07 -05:00
Vitor Santos Costa
cf2b399e9a
debugger events should be known to the debugger!
2009-04-22 11:31:31 -05:00
Vitor Santos Costa
9d07b51937
make sure we don't redo things.
2009-04-21 15:19:26 -05:00
Vitor Santos Costa
af69088bc3
debug mode should be recovered at debug exit.
2009-04-21 15:01:18 -05:00
Vitor Santos Costa
374051733b
objects may be more than .so: they may be .dylib or .dll.
2009-04-17 16:19:21 -05:00
