> Others: Does define/match do anything that would make Typed Racket see it
> differently from define + match*? It seems like define/match expands to
> define + match*/derived anyway. The only thing that's different is which
> define it's expanding to. So is expanding to Racket's define instead of
> On Nov 13, 2017, at 3:25 PM, Stuart Hungerford
> wrote:
>
> 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))
>
>
> (:
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])
3 matches
Mail list logo
