don't try to constant-fold $record-ref

It's not safe, so atempting to fold is not safe.

original commit: 0178656e87155947426bca6edf4e26bab6626ae0
This commit is contained in:
Matthew Flatt 2019-10-13 18:07:27 -06:00
parent b34084640b
commit 4341bba898

View File

@ -2208,7 +2208,7 @@
($record-equal-procedure [flags discard])
($record-hash-procedure [flags discard])
($record-oops #;[sig [(maybe-who sub-ptr rtd) -> (bottom)]] [flags abort-op])
($record-ref [sig [(ptr sub-index) -> (ptr)]] [flags mifoldable discard cp03])
($record-ref [sig [(ptr sub-index) -> (ptr)]] [flags discard cp03])
($record-set! [sig [(ptr sub-index ptr) -> (void)]] [flags true])
($record-type-descriptor [flags pure mifoldable discard true])
($record-type-field-offsets [flags pure mifoldable discard true])