[m-dev.] diff: bug fixes for the existential_types_2 branch
Simon Taylor
stayl at cs.mu.OZ.AU
Mon Jun 14 16:57:02 AEST 1999
>
> 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
--------------------------------------------------------------------------
More information about the developers
mailing list