[m-dev.] [reuse] diff: transitive reading in of .opt files.

[Simon Taylor]

> Estimated hours taken: 3
> 
> intermod.m:
>     Possible alias analysis requires that every type that could be used
>     in a module needs to have it's concrete definition known.  This
>     requires that we transitively read in the opt files.  This is only
>     done if possible alias analysis is turned on.


Could you please commit this change to the main branch.
At the moment Aditi also requires that there are no
abstract types used.
 
> Index: intermod.m
> ===================================================================
> @@ -2036,27 +2060,33 @@
>  	{ NewDeps0 = list__condense([NewImportDeps0, NewUseDeps0,
>  		NewImplicitImportDeps0, NewImplicitUseDeps0]) },
>  	{ set__list_to_set(NewDeps0, NewDepsSet0) },
> -	{ set__delete_list(NewDepsSet0, [ModuleName | OptFiles], NewDepsSet) },
> +	{ set__delete_list(NewDepsSet0,
> +		OptFilesToRead ++ AlreadyReadOptFiles, NewDepsSet) },
>  	{ set__to_sorted_list(NewDepsSet, NewDeps) },
>  
> -		%
> -		% Read in the .int, and .int2 files needed by the .opt files.
> -		% (XXX do we also need to read in .int0 files here?)
> -		%

Please don't delete that comment. This bug has been worked around, not fixed.

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