Hi,
I'm trying to create a Typed Racket function that compares to 2-vectors of
integers with an optional error term that defaults to 1:
#lang typed/racket
(define-type Reading (Vector Integer Integer))
(: close? (->* (Reading Reading) (Integer) Boolean))
(define/match (close? r1 r2 [err 1])
[((vector a b) (vector c d) e)
(and (= a (+ c e)) (= b (+ d e)))])
In untyped Racket the function compiles and runs as I expected. In Typed
Racket the pattern-matched values all seem to have type "Any".
I think there's some interaction between Typed Racket's typing rules and
the define/match macro that I haven't understood properly? As a complete
Racket newb I may also be going about this the wrong way. Any advice much
appreciated.
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.
For more options, visit https://groups.google.com/d/optout.
