[m-dev.] diff: bug fixes for the existential_types_2 branch

[Simon Taylor]

> 
> Various changes to fix test case failures in the existential_types_2
> branch.

> Index: compiler/mode_util.m
> ===================================================================

> @@ -1546,6 +1558,19 @@
> +
> +:- pred is_introduced_type_info_type(type).
> +:- mode is_introduced_type_info_type(in) is semidet.
> +
> +is_introduced_type_info_type(Type) :-

I'd suggest putting this code in type_util.m or polymorphism.m.

> Index: compiler/modes.m
> ===================================================================
> @@ -1038,7 +1050,10 @@
>  
>  modecheck_goal_expr(call(PredId, ProcId0, Args0, _, Context, PredName),
>  		GoalInfo0, Goal) -->
> -	mode_checkpoint(enter, "call"),
> +	/*** CallString = "call" ***/
> +	{ prog_out__sym_name_to_string(PredName, PredNameString) },
> +	{ string__append("call ", PredNameString, CallString) },
> +	mode_checkpoint(enter, CallString),

The comment here doesn't make much sense.

> Index: compiler/unique_modes.m
> ===================================================================
> @@ -415,7 +423,10 @@
>  
>  unique_modes__check_goal_2(call(PredId, ProcId0, Args, Builtin, CallContext,
>  		PredName), _GoalInfo0, Goal) -->
> -	mode_checkpoint(enter, "call"),
> +	/*** CallString = "call" ***/
> +	{ prog_out__sym_name_to_string(PredName, PredNameString) },
> +	{ string__append("call ", PredNameString, CallString) },
> +	mode_checkpoint(enter, CallString),

Ditto.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------