Files
mercury/tests/debugger/implied_instance.exp
Fergus Henderson af9b463a58 Implement demangling for instance declarations (i.e. base_typeclass_infos).
Estimated hours taken: 4.5

Implement demangling for instance declarations (i.e. base_typeclass_infos).

compiler/base_typeclass_info.m:
compiler/llds_out.m:
	Change the way name mangling for base_typeclass_infos is done
	to ensure that they can be unambiguously demangled.

util/mdemangle.c:
profiler/demangle.m:
	Add code to demangle base_typeclass_infos.

util/mdemangle.c:
	Fix a bug: if it got part way through demangling a symbol
	before noticing that it had the wrong format, then it would
	sometimes print out a partially demangled version of the
	symbol rather than printing out the original symbol unchanged.

tests/debugger/*.exp*:
	Update the expected output to reflect the new mangling scheme.
	(Really the debugger ought to demangle the names, but
	currently it doesn't.)
1999-02-04 14:58:38 +00:00

44 lines
1.7 KiB
Plaintext

1: 1 1 CALL pred implied_instance:main/2-0 (det)
mdb> Command echo enabled.
mdb> register --quiet
mdb> alias P print *
P => print *
mdb> goto 2
2: 2 2 CALL pred implied_instance:p/2-0 (det)
mdb> P
HeadVar__1 2
mdb>
3: 3 3 CALL pred implied_instance:Introduced_pred_for_implied_instance__sumable__int__arity0______implied_instance__p_2/2-0 (det)
mdb> P
HeadVar__1 2
mdb> break -e p
0: + stop entry pred implied_instance:p/2-0 (det)
mdb> continue -a
4: 4 4 CALL pred implied_instance:copy_int/2-0 (det)
5: 4 4 EXIT pred implied_instance:copy_int/2-0 (det)
6: 3 3 EXIT pred implied_instance:Introduced_pred_for_implied_instance__sumable__int__arity0______implied_instance__p_2/2-0 (det)
7: 2 2 EXIT pred implied_instance:p/2-0 (det)
8: 5 2 CALL pred implied_instance:p/2-0 (det)
mdb> P
HeadVar__1 [42, 24, 1, 2, 3]
mdb>
9: 6 3 CALL pred implied_instance:Introduced_pred_for_implied_instance__sumable__list__list__arity1______implied_instance__p_2/2-0 (det)
mdb> P
HeadVar__1 [42, 24, 1, 2, 3]
mdb>
10: 7 4 CALL pred implied_instance:sum_int_list/2-0 (det)
mdb> P
HeadVar__1 [42, 24, 1, 2, 3]
mdb> continue -a
11: 7 4 SWTC pred implied_instance:sum_int_list/2-0 (det) s1;
12: 8 5 CALL pred implied_instance:p/2-0 (det)
mdb> P
HeadVar__1 42
mdb>
13: 9 6 CALL pred implied_instance:Introduced_pred_for_implied_instance__sumable__int__arity0______implied_instance__p_2/2-0 (det)
mdb> P
HeadVar__1 42
mdb> continue -S
2
72