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

his >> to (vector Integer). >> -Ian >> ----- Original Message - >> From: "Neil Toronto" >> To: "J. Ian Johnson" >> Cc: "dev" >> Sent: Monday, August 6, 2012 5:07:38 PM GMT -05:00 US/Canada Eastern >

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

uot;dev" > 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 > gave. The code I'm actually working on is

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

rom: "Neil Toronto" To: "J. Ian Johnson" Cc: "dev" 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

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

So are the type errors an error in TR, or a known limitation? Neil ⊥ On 08/06/2012 02:25 PM, J. Ian Johnson wrote: How do you determine the difference between the two vector types is the question... -Ian - Original Message - From: "Neil Toronto" To: "" Sent: Monday,

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

How do you determine the difference between the two vector types is the question... -Ian - Original Message - From: "Neil Toronto" To: "" Sent: Monday, August 6, 2012 4:12:53 PM GMT -05:00 US/Canada Eastern Subject: [racket-dev] Should I expect this program to typ

[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 enough to come up with one. Neil ⊥ _ Racket