Changes between Initial Version and Version 3 of Ticket #10853


Ignore:
Timestamp:
Sep 21, 2015 2:06:00 AM (2 years ago)
Author:
goldfire
Comment:

The behavior in comment:2 is documented: See the last bullet point under section 7.17.1 here. Mind you, I didn't say this is documented well or in an obvious place (though I think we could do worse). If you have a concrete suggestion of how to make this better, I'm happy to take it.

Does this clarify?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10853

    • Property Milestone changed from 7.12.1 to 8.0.1
  • Ticket #10853 – Description

    initial v3  
    1414
    1515{{{
    16 -- region D, consisting of all declarations added with `addTopDecls`.
     16-- region D, consisting of all declarations added with `addTopDecls`,
     17-- as called from splices in region A
    1718}}}
    1819
     
    4041
    4142Regardless of which proposal we go with, some testing is in order, to make sure that this is all correct. I've done no testing in formulating this ticket, just reading code.
     43
     44EDIT: Clarify that region D is created from splices from region A