2024-07-15 10:09 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000491mercuryFeature Requestpublic2020-01-12 22:32
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
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
Date Modified Username Field Change
2020-01-12 22:32 zs New Issue
2020-01-12 22:32 zs Assigned To => zs
2020-01-12 22:32 zs Status new => assigned
+Issue History