[m-dev.] compare for existential types failing

[Fergus Henderson]

The following test cases are failing on hg, in debug grades:

tests/hard_coded/typeclasses/existential
tests/hard_coded/typeclasses/exist_disjunction
tests/hard_coded/typeclasses/existential_rtti
tests/hard_coded/typeclasses/existential_type_switch
tests/hard_coded/typeclasses/record_syntax
tests/hard_coded/existential_type_switch_opt

The symptom in the first few that I looked at is an internal error in
the code generator while generating code for the comparison predicate
for an existentially quantified data type.

	fjh$ mmc --debug exist_disjunction.m
	Uncaught exception:
	Software Error: map__lookup: key not found
		Key Type: term:var(prog_data:prog_var_type)
		Key Functor: var/1
		Value Type: var_locn:var_state
	Stack dump not available in this grade.

My guess is that the problem is probably due to Zoltan's recent
changes to comparison predicates, and that the compiler may be
emitting bad HLDS annotations which cause the code generator to abort.
Zoltan, could you please investigate this one?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------