Thanks for the report. I think the fix is correct, but this is a part of the code I don't use too much.
I made a pull request, https://github.com/racket/racket/pull/3785 so someone can confirm it's correct and the message is not lost. If you have an account in Github you can subscribe to this PR to get the updates automatically. If not, I can try to send any important update. Gustavo El lun, 12 de abr. de 2021 a la(s) 04:07, Dexter Lagan ( dexterla...@gmail.com) escribió: > https://docs.racket-lang.org/file/resource.html > > For the proc write-resource, > type : (or/c > <https://docs.racket-lang.org/reference/data-structure-contracts.html#%28def._%28%28lib._racket%2Fcontract%2Fbase..rkt%29._or%2Fc%29%29> > 'string 'bytes 'integer) = 'string > should read > type : (or/c > <https://docs.racket-lang.org/reference/data-structure-contracts.html#%28def._%28%28lib._racket%2Fcontract%2Fbase..rkt%29._or%2Fc%29%29> > 'string 'bytes 'dword) = 'string > > As the 'integer value is not supported. Attempting to use the 'integer > value returns the following error: > write-resource: expected argument of type <'string, 'bytes, or 'dword>; > given: 'integer > > Cheers, > > Dex > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/3a88a91a-864d-4b63-a7f1-db25798a708bn%40googlegroups.com > <https://groups.google.com/d/msgid/racket-users/3a88a91a-864d-4b63-a7f1-db25798a708bn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAPaha9P8iY%2BaE4jyKFPsgaN2a3MZX8Kazi21W-BPOfrEu_L9Wg%40mail.gmail.com.
