Mercury Bugs - mercury
View Issue Details
0000491mercuryFeature Requestpublic2020-01-12 22:322020-01-12 22:32
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000491: implicit imports in interface files
DescriptionWe currently scan items in interface files we have just read in
to find out what builtin modules they implicitly need (e.g. tabling_statistics.m
if a pragma memo specifies the gathering of tabling statistics).

Instead of requiring the N readers of the interface file to compute this set,
the one generator of the interface file should compute this and put the
result into the interface file as a new kind of declaration.
TagsNo tags attached.
Attached Files

There are no notes attached to this issue.

Issue History
2020-01-12 22:32zsNew Issue
2020-01-12 22:32zsAssigned To => zs
2020-01-12 22:32zsStatusnew => assigned