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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
