Module system curiosity

[Florian Weimer <fw@...>]

It seems to me that the 5.1 module system does not actually provide
the type of modulariziation with which I've grown to be familiar.

I would expect that this sequence:

  local require = require
  module(...)
  require "lpeg"

puts the lpeg module into the module table.  But in my testing, it
ends up in the global table of the main program.  I find this behavior
rather surprising.  (On the other hand, if "require" would modify the
module table, some way to suppress that leakage of an implementation
detail would be desirable.)