sealed for record types is not being enforced

Bug #173165 reported by Derick Eddington on 2007-12-01
2
Affects Status Importance Assigned to Milestone
Ikarus Scheme
Medium
Abdulaziz Ghuloum

Bug Description

Ikarus Scheme version 0.0.2+ (revision 1152, build 2007-11-30)
Copyright (c) 2006-2007 Abdulaziz Ghuloum

> (define-record-type thing
    (fields (mutable x))
    (sealed #t))
> (define t (make-thing 123))
> (record-type-sealed? (record-rtd t))
#f
> (define-record-type something ;;; should raise &assertion
    (fields (mutable y))
    (parent thing))
> (define s (make-something 'a 'b))
> (thing? s)
#t

Abdulaziz Ghuloum (aghuloum) wrote :

Will fix soon. Thanks.

Changed in ikarus:
assignee: nobody → aghuloum
importance: Undecided → Medium
status: New → Confirmed
Abdulaziz Ghuloum (aghuloum) wrote :

Fixed in revision 1158. Thanks a bunch.

Changed in ikarus:
status: Confirmed → Fix Committed
Abdulaziz Ghuloum (aghuloum) wrote :

This bug report is about to be closed as the fix comitted
previously will be incorporated in the next 0.0.3 release of
Ikarus Scheme, scheduled for January 31, 2008. A release
candidate tarball is available for download from:
http://www.cs.indiana.edu/~aghuloum/ikarus/ikarus-0.0.3-rc1.tar.gz
Please do test it if you have the time and report any issues
you might encounter. Thank you very much for your support.
(Sorry for the duplicates; I'm updating every open bug.)

Changed in ikarus:
milestone: none → 0.0.3
Changed in ikarus:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers