Thanks!

On Monday, 14 December 2020 at 00:56:15 UTC [email protected] wrote:

> Fixed by https://github.com/racket/typed-racket/pull/1009.
>
> On Sat, Dec 12, 2020 at 7:09 PM James Cook <[email protected]> wrote:
>
>> I'm new to racket, and I'm not sure if this is a bug or oversight or I'm 
>> just missing something.
>>
>> In typed racket, when I try to pass a custodian as an argument to the 
>> current-memory-use function, I get an error like so:
>>
>> falsifian angel ~ $ racket -I typed/racket 
>> Welcome to Racket v7.9 [cs].
>> > (define c (make-custodian))
>> > (current-memory-use c)
>> ; readline-input:2:0: Type Checker: could not apply function;
>> ;  wrong number of arguments provided
>> ;   expected: 0
>> ;   given: 1
>> ;   in: (current-memory-use c)
>> ; [,bt for context]
>>
>> If I don't pass "-I typed/racket" then there's no trouble. What's going 
>> on? Does the current-memory-use function need a better type annotation? 
>>
>> James
>>
>> -- 
>> 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 [email protected].
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/164bb6df-9dd6-4aa5-91a5-8ea3d70ad2a4n%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/racket-users/164bb6df-9dd6-4aa5-91a5-8ea3d70ad2a4n%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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/205fe188-6158-4e01-9435-5924f7be4d09n%40googlegroups.com.

Reply via email to