Changeset 3899 for trunk/compiler
- Timestamp:
- 10/24/07 11:25:45 (15 months ago)
- Files:
-
- 1 modified
-
trunk/compiler/logtalk.pl (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/compiler/logtalk.pl
r3898 r3899 251 251 ; catch(TPred, Error, '$lgt_runtime_error_handler'(Error)) 252 252 ) 253 ; throw(error(resource_error(context_switching_calls), Obj<< Goal, user))253 ; throw(error(resource_error(context_switching_calls), Obj<<Pred, user)) 254 254 ). 255 255 … … 12993 12993 '$lgt_default_flag'(startup_message, Startup), write(', startup_message: '), write(Startup), nl, 12994 12994 '$lgt_default_flag'(altdirs, Altdirs), write(' altdirs: '), write(Altdirs), 12995 '$lgt_default_flag'(context_switching_calls, ContextCalls), write(' context_switching_calls: '), write(ContextCalls), 12995 12996 '$lgt_default_flag'(encoding_directive, Encodings), write(', encoding_directive: '), write(Encodings), 12996 12997 '$lgt_default_flag'(threads, Threads), write(', threads: '), write(Threads), nl, nl. … … 13049 13050 '$lgt_default_flag'(altdirs, Altdirs), 13050 13051 write(' Alternative compilation directories (altdirs): '), write(Altdirs), nl, 13052 '$lgt_default_flag'(context_switching_calls, ContextCalls), 13053 write(' Context-switching calls (context_switching_calls): '), write(ContextCalls), nl, 13051 13054 '$lgt_default_flag'(encoding_directive, Encodings), 13052 13055 write(' Support for encoding/1 directive (encoding_directive): '), write(Encodings), nl,
