[m-dev.] diff: distinguish preds and funcs in the declarative debugger

[Erwan Jahier]

This change looks fine.

| Estimated hours taken: 2.5
| 
| Distinguish between predicates and functions in the declarative debugger.
| browser/declarative_execution.m:
| 	Add a pred_or_func field to trace_atom.
| 
| trace/mercury_trace_declarative.c:
| 	Construct trace atoms with the extra field.
| 
| browser/declarative_user.m:
| 	Print function call results using function syntax.
| 
| browser/debugger_interface.m:
| browser/util.m:
| 	Move the definition of type pred_or_func to util.m, so it can
| 	be used by the declarative debugger as well as the external debugger.
| 
| runtime/mercury_stack_layout.h:
| 	Update a reference to the location of type pred_or_func.
| 
| tests/debugger/declarative/Mmakefile:
| tests/debugger/declarative/func_call.{m,inp,exp}:
| 	Test case for the new feature.
| 
| tests/debugger/declarative/*.exp:
| tests/debugger/declarative/*.exp2:
| 	Update expected output from tests.

-- 
R1.


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------