Changes between Version 5 and Version 6 of Commentary/Compiler/UnusedImports


Ignore:
Timestamp:
Jul 1, 2009 12:26:58 PM (6 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/UnusedImports

    v5 v6  
    189189{{{ 
    190190ImportInfo "Foo" [] 
     191    ImportInfo "a" ["a", "Foo.a"] 
    191192    ImportInfo "D" ["D", "Foo.D"] 
    192193        ImportInfo "c1" ["c1", "Foo.c1"] 
    193194        ImportInfo "c2" ["c2", "Foo.c2"] 
    194195}}} 
    195 a use of `"D"` marks both the first and second lines as used. 
     196a use of `"D"` marks both the first and third lines as used. 
    196197 
    197198When we come to giving warnings, if a node is unused then we warn about it, and do not descend into the rest of that subtree, as the node we warn about subsumes its children. If the node is marked as used then we descend, looking to see if any of its children are unused.