tree 6cd1a6d00eaf7156d1537d165de26abf82787782
parent 131e3fd814a6e818b412407a222186aab08f3525
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1606425820 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1606425820 -0300

Changed access to global table in the registry

The global table is always in the array part of the registry; we can
use this fact to make its access slightly more efficient.