Re: [racket-users] New eyes needed for opengl problem

I'm also learning, but I think in this case the viewport is not sized correctly to draw to the texture. I think you need something like this: ; Draw a blue triangle ***this is the part that isn't working*** (glDrawBuffer GL_COLOR_ATTACHMENT0) ; draw to color attachment 0 (glDisableGL

Re: [racket-users] What are most type cases of `=` for?

Oh I see!! Propositions were just omitted when pretty printed on my side. Thanks Sam! -- 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...@g

Re: [racket-users] What are most type cases of `=` for?

Those cases all have non-trivial propositions. So this works, for example: (: f : Negative-Integer Integer -> Negative-Integer) (define (f x y) (if (= x y) y -5)) Sam On Sat, Apr 7, 2018 at 3:15 AM, Phil Nguyen wrote: > The full type of `=` in Typed Racket has lots of cases, whose ranges are

[racket-users] What are most type cases of `=` for?

The full type of `=` in Typed Racket has lots of cases, whose ranges are all `Boolean`. Are all cases before the default one `Number Number Number * -> Boolean` useful in any way, or they were just part of some automatic generation? It's not obvious to me that the preceding cases are useful, be