Here's a simple test:

-----------------------------------mm.scm-----------------------------------

(define-module (mm)
  #:use-module ((rnrs) #:select (define-record-type)))

(define-record-type aaa)
(define-record-type bbb)

--------------------------------------end----------------------------------------

When I import (mm) module, there's a warning:

---------------------------------------------------------------------------------------------------

mm.scm:6:0: warning: shadows previous definition of `dummy-1a78708d3c9406a3' at mm.scm:4:0

---------------------------------------------------------------------------------------------------

It seems aaa was overwritten by bbb.

Comments?

Best regards.