Re: [racket-users] (current-memory-use cust) gives "wrong number of arguments" in typed racket

2020-12-13 Thread James Cook
Thanks!

On Monday, 14 December 2020 at 00:56:15 UTC sorawe...@gmail.com wrote:

> Fixed by https://github.com/racket/typed-racket/pull/1009.
>
> On Sat, Dec 12, 2020 at 7:09 PM James Cook  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 racket-users...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/164bb6df-9dd6-4aa5-91a5-8ea3d70ad2a4n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
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/205fe188-6158-4e01-9435-5924f7be4d09n%40googlegroups.com.


Re: [racket-users] (current-memory-use cust) gives "wrong number of arguments" in typed racket

2020-12-13 Thread Sorawee Porncharoenwase
Fixed by https://github.com/racket/typed-racket/pull/1009.

On Sat, Dec 12, 2020 at 7:09 PM James Cook  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 racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/164bb6df-9dd6-4aa5-91a5-8ea3d70ad2a4n%40googlegroups.com
> 
> .
>

-- 
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/CADcuegtM0caJq97o0mfPXVG5w81fb72OomqNFg69Oq4WALu_qQ%40mail.gmail.com.


Re: [racket-users] Racket / [B]SL / HTDP in a workshop context

2020-12-13 Thread Yury Bulka
John Clements  writes:
>> Do you mean as opposed to a more popular language like Python or
>> JavaScript? Or in some other regard (like building GUI apps)?
>
> The former, yes. Not saying you can’t handle this, but it’s something
> to be aware of. Especially because you’re using a language called
> “Beginning Student Language.” That name is clear and transparent and
> honest, and maybe the world has moved past this kind of ignorance, but
> I think a bit of planning might not go amiss.
>
Thanks for bringing this up. I was thinking about this before; all I can
think of at the momemnt is to do my best to communicate in advance the
intent of the workshop? To emphasize the fact that this is not going to
be about Python or JavaScript specifically (and not Scratch either).

--
Yury Bulka
https://mamot.fr/@setthemfree
#NotOnFacebook

-- 
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/87mtyhb9kp.fsf%40privacyrequired.com.


[racket-users] Executing (system ...) command requires another 'ENTER' from repl?

2020-12-13 Thread Yasuaki Kudo
Hi,

I wonder why I need to press ENTER *twice *in the racket REPL for this 
command:

racket
Welcome to Racket v7.9 [bc].
> (with-output-to-string (lambda () (system "ls")))
"a.rkt\nfuncs.rkt\nliteral.rkt\nparser.rkt\nparser-test.rkt\nt.rkt\ntuvalu.rkt\n"

>

It executes normally if I run this in a Racket  script as below:

#lang racket
(with-output-to-string (lambda () (system "ls")))


-- 
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/c708a62d-d950-4014-a840-18714b9d7fe7n%40googlegroups.com.