Changeset 4303

Timestamp:

06/07/08 03:26:26 (3 months ago)

Author:

pmoura

Message:

Updated the Logtalk runtime error handler to test for non-instantiated exception terms. Thanks to Joerg Schuster for the bug report.

Location:

trunk

Files:

• compiler/logtalk.pl (modified) (3 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -294 +294 @@
 % top-level runtime error handler
 
+'$lgt_runtime_error_handler'(Variable) :-
+    var(Variable),
+    throw(error(instantiation_error, throw(_))).
+
+'$lgt_runtime_error_handler'(error(Variable)) :-
+    var(Variable),
+    throw(error(instantiation_error, throw(_))).
+
+'$lgt_runtime_error_handler'(error(Variable, Sender)) :-
+    var(Variable),
+    throw(error(instantiation_error, throw(_), Sender)).
+
 '$lgt_runtime_error_handler'(error(existence_error(goal_thread, '$lgt_send_to_object_ne_nv'(Self, Goal, Sender)), _)) :-
     (   Self == user ->
@@ -381 +393 @@
     !,
     fail.
+
+'$lgt_runtime_error_handler'(error(Variable, _, Sender)) :-
+    var(Variable),
+    throw(error(instantiation_error, throw(_), Sender)).
 
 '$lgt_runtime_error_handler'(error(Error, user::Goal, user)) :-
@@ -7492 +7508 @@
 
 
-'$lgt_tr_meta_arg'(*, Arg, _, Arg, Arg).
-
-'$lgt_tr_meta_arg'(::, Arg, Ctx, TArg, DArg) :-
+'$lgt_tr_meta_arg'((*), Arg, _, Arg, Arg).
+
+'$lgt_tr_meta_arg'((::), Arg, Ctx, TArg, DArg) :-
     '$lgt_tr_body'(Arg, TArg, DArg, Ctx).
 

trunk/RELEASE_NOTES.txt

@@ -19 +19 @@
     initialization/1 is still available (for now) for Prolog compilers that 
     fail to support the thirteen years old ISO Prolog standard.
+
+    Updated the Logtalk runtime error handler to test for non-instantiated 
+    exception terms. Thanks to Joerg Schuster for the bug report.
 
     Added a new default compiler option, multifile_directive, to all config