The following program fails with an "Error in macro expansion --
insufficient type information to typecheck.", but it seems like there are
no other type annotations that could be added:
#lang typed/racket
(: any-<? (-> (Listof Float) (Listof Float) Boolean))
(define (any-<? l1 l2)
(for*/or : Boolean ([x : Float (in-list l1)]
[y : Float (in-list l2)])
(< x y)))
Is it actually possible to add other type annotations that would make this
work?
Note that this versions works fine:
#lang typed/racket
(: any-<? (-> (Listof Float) (Listof Float) Boolean))
(define (any-<? l1 l2)
(for/or : Boolean ([x : Float (in-list l1)])
(for/or : Boolean ([y : Float (in-list l2)])
(< x y))))
-Philip
--
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].
For more options, visit https://groups.google.com/d/optout.
