Re: [racket-users] Typed racket and generics?

2021-02-02 Thread Sam Tobin-Hochstadt
Unfortunately this isn't supported yet. Right now, you can use struct
type properties directly to build your own generics, but you can't use
the generics library.

Sam

On Sat, Jan 30, 2021 at 4:20 AM Stuart Hungerford
 wrote:
>
> Hi Racketeers,
>
> Is there any way to have Racket code using `define-generics` interact with 
> typed Racket code?  (I think the answer is "no", but I thought I'd check for 
> sure).
>
> Thanks,
>
> Stu
>
> --
> 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/333b7744-85e8-4745-aad2-77272d1e20c5n%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/CAK%3DHD%2BaCU71oM16-naviJ6NhF9J3dmhnOMMNwAT7%3DjvaaV8b2Q%40mail.gmail.com.


[racket-users] Typed racket and generics?

2021-01-30 Thread Stuart Hungerford
Hi Racketeers,

Is there any way to have Racket code using `define-generics` interact with 
typed Racket code?  (I think the answer is "no", but I thought I'd check 
for sure).

Thanks,

Stu

-- 
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/333b7744-85e8-4745-aad2-77272d1e20c5n%40googlegroups.com.