Fixes bug 173165 and bug 173162: opaque and sealed for record types
are not being enforced.
This commit is contained in:
parent
9d6f8511c8
commit
bd06d39220
|
@ -1 +1 @@
|
||||||
1156
|
1157
|
||||||
|
|
|
@ -1582,11 +1582,11 @@
|
||||||
[(_ uid) `',uid]
|
[(_ uid) `',uid]
|
||||||
[_ #f])]
|
[_ #f])]
|
||||||
[sealed?
|
[sealed?
|
||||||
(syntax-match (get-clause 'sealed? clause*) ()
|
(syntax-match (get-clause 'sealed clause*) ()
|
||||||
[(_ #t) #t]
|
[(_ #t) #t]
|
||||||
[_ #f])]
|
[_ #f])]
|
||||||
[opaque?
|
[opaque?
|
||||||
(syntax-match (get-clause 'opaque? clause*) ()
|
(syntax-match (get-clause 'opaque clause*) ()
|
||||||
[(_ #t) #t]
|
[(_ #t) #t]
|
||||||
[_ #f])]
|
[_ #f])]
|
||||||
[fields
|
[fields
|
||||||
|
|
Loading…
Reference in New Issue