[Chicken-janitors] #500: record types of the same name are treated equal

[Chicken Trac]

#500: record types of the same name are treated equal
----------------------------+-----------------------------------------------
 Reporter:  syn             |       Owner:       
     Type:  defect          |      Status:  new  
 Priority:  major           |   Milestone:  4.7.0
Component:  core libraries  |     Version:  4.6.x
 Keywords:                  |  
----------------------------+-----------------------------------------------
 Defining record types of the same name in two different modules are
 treated by Chicken as if they were the same. Example:

 {{{
  (module a
    (make-foo foo?)
    (import chicken scheme)
    (define-record foo))

  (module b
    (make-foo foo?)
    (import chicken scheme)
    (define-record foo))

  (import (prefix a a:) (prefix b b:))

  (print (a:foo? (b:make-foo)))
 }}}

 Prints {{{#t}}} but I think these should be treated as two separate types.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/500>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.