diff options
| author | Hans Hagen <pragma@wxs.nl> | 2011-06-25 14:54:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2011-06-25 14:54:00 +0200 |
| commit | 113472b1fb39f29dd8f02f31b5be100eb3e71536 (patch) | |
| tree | d35fe2fe98db75b30bec41fa0ae939f5cbe0dd35 /tex/context/base/node-mig.lua | |
| parent | 2f44003aab284c595680e9a84b9891b2b9fabb66 (diff) | |
| download | context-113472b1fb39f29dd8f02f31b5be100eb3e71536.tar.gz | |
beta 2011.06.25 14:54
Diffstat (limited to 'tex/context/base/node-mig.lua')
| -rw-r--r-- | tex/context/base/node-mig.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tex/context/base/node-mig.lua b/tex/context/base/node-mig.lua index 620cb3c0e..8f1e3d71c 100644 --- a/tex/context/base/node-mig.lua +++ b/tex/context/base/node-mig.lua @@ -38,7 +38,7 @@ local function locate(head,first,last,ni,nm) local id = current.id if id == vlist_code or id == hlist_code then current.list, first, last, ni, nm = locate(current.list,first,last,ni,nm) - current= current.next + current = current.next elseif migrate_inserts and id == insert_code then local insert head, current, insert = remove_nodes(head,current) @@ -69,6 +69,7 @@ end function nodes.handlers.migrate(head,where) local done = false if head then +--~ report_nodes("migration sweep '%s'",where) local current = head while current do local id = current.id @@ -87,7 +88,7 @@ function nodes.handlers.migrate(head,where) if first then t_inserts, t_marks = t_inserts + ni, t_marks + nm if trace_migrations and (ni > 0 or nm > 0) then - report_nodes("sweep %s, %s inserts and %s marks migrated outwards",t_sweeps,ni,nm) + report_nodes("sweep %s, %s inserts and %s marks migrated outwards during '%s'",t_sweeps,ni,nm,where) end -- inserts after head local n = current.next |