david135 / ypsilon

Automatically exported from code.google.com/p/ypsilon
Other
0 stars 0 forks source link

insufficient checks for nongenerative record type descriptors #140

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. Run the program:

(import (rnrs))

(define one
  (make-record-type-descriptor 'one #f 'the-one #f #t '#((mutable a))))

(make-record-type-descriptor 'one #f 'the-one #f #f '#((mutable a)))

What is the expected output? What do you see instead?
A failure stating that the two RTDs, despite having the same UID, have
different fields.

What version of the product are you using? On what operating system?
Ypsilon 0.9.6-trunk/r503.

Please provide any additional information below.
Petite Chez, Ikarus and Larceny signal the error.

Original issue reported on code.google.com by mrc....@gmail.com on 30 Apr 2010 at 6:34