Re: [racket-dev] case- and for/sum:

Ignore the previous example. Here is the example again, now with correct usage of case-lambda. The for/sum problem remains. /Jens Axel #lang typed/racket (require math) (: matrix-solve-upper (All (A) (case- ((Matrix Real) (Matrix Real) - (Matrix Real))

Re: [racket-dev] Five feature/limitation interactions conspire to drive mad

At Wed, 02 Jan 2013 16:57:39 -0700, Neil Toronto wrote: On 01/02/2013 02:51 PM, Vincent St-Amour wrote: In your experience, have these types caused you trouble other than when you went looking for them specifically? Not that I recall. If I stick to union types like Integer,