[racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread Neil Toronto
#lang typed/racket (: vector-first (All (A B) ((U (Vectorof A) (Vectorof B)) - (U A B (define (vector-first vs) (vector-ref vs 0)) I can't think of a reason this shouldn't work, but I may not be taxing my imagination enough to come up with one. Neil ⊥ _ Racket

Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread J. Ian Johnson
] Should I expect this program to typecheck? #lang typed/racket (: vector-first (All (A B) ((U (Vectorof A) (Vectorof B)) - (U A B (define (vector-first vs) (vector-ref vs 0)) I can't think of a reason this shouldn't work, but I may not be taxing my imagination enough to come up with one

Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread Neil Toronto
Eastern Subject: [racket-dev] Should I expect this program to typecheck? #lang typed/racket (: vector-first (All (A B) ((U (Vectorof A) (Vectorof B)) - (U A B (define (vector-first vs) (vector-ref vs 0)) I can't think of a reason this shouldn't work, but I may not be taxing my imagination

Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread J. Ian Johnson
Toronto neil.toro...@gmail.com To: J. Ian Johnson i...@ccs.neu.edu Cc: dev dev@racket-lang.org Sent: Monday, August 6, 2012 5:07:38 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Should I expect this program to typecheck? I can't distinguish the elements' types in the simplified example I

Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread Ray Racine
PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Should I expect this program to typecheck? I can't distinguish the elements' types in the simplified example I gave. The code I'm actually working on is this: (: check-array-indexes (Symbol (Vectorof Index

Re: [racket-dev] Should I expect this program to typecheck?

2012-08-06 Thread Eric Dobson
, August 6, 2012 5:07:38 PM GMT -05:00 US/Canada Eastern Subject: Re: [racket-dev] Should I expect this program to typecheck? I can't distinguish the elements' types in the simplified example I gave. The code I'm actually working on is this: (: check-array-indexes (Symbol (Vectorof Index