module-public-interface is a field in the module record
authorAndy Wingo <wingo@pobox.com>
Fri, 23 Apr 2010 15:16:56 +0000 (17:16 +0200)
committerAndy Wingo <wingo@pobox.com>
Sat, 24 Apr 2010 15:43:59 +0000 (17:43 +0200)
commit4e48b4950ecaa10265de6709bf87597a818cf44d
treee668f71c4aab4d2345ab206771652b94f221d37c
parent69928c8a3240d8d2417434c18839e098de9f93d8
module-public-interface is a field in the module record

* module/ice-9/boot-9.scm (module-public-interface)
  (set-module-public-interface!): Instead of using
  '%module-public-interface, use a field in the module instead.
  (make-module, make-autoload-interface): Adapt.

* module/ice-9/deprecated.scm (module-public-interface):
  (set-module-public-interface!): Add shims so that manually munging
  %module-public-interface should continue to work.
module/ice-9/boot-9.scm
module/ice-9/deprecated.scm