[m-rev.] fix bug with --high-level-data & .NET back-end

[Simon Taylor]

On 08-Nov-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Index: compiler/type_util.m
> ===================================================================
> @@ -219,13 +223,27 @@
>  
>  	% Given a type and a cons_id, look up the definitions of that
>  	% type and constructor. Aborts if the cons_id is not user-defined.
> +	% Note that this will NOT bind type variables in the
> +	% functor's argument types; they will be left unbound,
> +	% so the caller find out the original types from the constructor
                      ^^^
> +	% definition.  The caller must do that sustitution itself if required.
>  :- pred type_util__get_type_and_cons_defn(module_info, (type), cons_id,
>  		hlds_type_defn, hlds_cons_defn).
>  :- mode type_util__get_type_and_cons_defn(in, in, in, out, out) is det.

Missing word.

> +	% Note that this will NOT bind type variables in the
> +	% functor's argument types; they will be left unbound,
> +	% so the caller find out the original types from the constructor
> +	% definition.  The caller must do that sustitution itself if required.
>  :- pred type_util__get_existq_cons_defn(module_info::in,
>  		(type)::in, cons_id::in, ctor_defn::out) is semidet.

And here.
  
Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------