I should have used 'ought' instead of 'should'.
On Aug 21, 2011, at 1:38 PM, Carl Eastlund wrote: > Plain require works fine in Typed Racket; there's only a problem if TR > cannot typecheck the resulting code. You normally only need to use > require/typed to assign types to otherwise-untyped imports. The error > Norman reported looks like an internal error in TR related to the > contract on date->seconds. Using require/typed is a workaround > because it avoids typechecking contract-wrapped references. > > Carl Eastlund > > On Sun, Aug 21, 2011 at 1:16 PM, Matthias Felleisen > <matth...@ccs.neu.edu> wrote: >> >> You shouldn't be able to use plain require in Typed Racket. >> >> Try this: >> >> #lang typed/racket >> (require/typed racket/date (date->seconds (date -> Natural))) >> (date->seconds (seconds->date (current-seconds))) >> >> >> On Aug 21, 2011, at 11:06 AM, Norman Gray wrote: >> >>> >>> Greetings. >>> >>> Another typed-racket problem, I'm afraid. >>> >>> With the following script, I get an error message from Typed Racket which >>> is not, I think, really addressed to me. >>> >>> (Is the list generally OK for straight bug reports? There isn't a bug >>> parade I should be posting this on, is there?) >>> >>> All the best, >>> >>> Norman >>> >>> >>> % cat dates.rkt >>> #lang typed/racket >>> (require (only-in racket/date date->seconds)) >>> (date->seconds (seconds->date (current-seconds))) >>> % "/Data/LocalApplications/Racket/5.1.3/bin/racket" dates.rkt >>> for: expected a sequence for i, got something else: (tc-results (list >>> (tc-result Variable-Reference (#0=Top | #0#) -)) #f) >>> >>> === context === >>> /Data/LocalApplications/Racket/5.1.3/collects/racket/private/for.rkt:445:2: >>> make-sequence >>> /Data/LocalApplications/Racket/5.1.3/collects/typed-scheme/types/utils.rkt:103:2: >>> ret >>> temp871 >>> /Data/LocalApplications/Racket/5.1.3/collects/typed-scheme/typecheck/tc-expr-unit.rkt:201:4: >>> loop >>> /Data/LocalApplications/Racket/5.1.3/collects/racket/private/map.rkt:18:11: >>> map >>> parse-loop1141 >>> /Data/LocalApplications/Racket/5.1.3/collects/typed-scheme/typecheck/tc-expr-unit.rkt:330:0: >>> tc-expr >>> /Data/LocalApplications/Racket/5.1.3/collects/racket/private/map.rkt:18:11: >>> map >>> temp971 >>> /Data/LocalApplications/Racket/5.1.3/collects/typed-scheme/typecheck/tc-expr-unit.rkt:330:0: >>> tc-expr >>> /Data/LocalApplications/Racket/5.1.3/collects/racket/private/map.rkt:18:11: >>> map >>> temp971 >>> /Data/LocalApplications/Racket/5.1.3/collects/typed-scheme/typecheck/tc-expr-unit.rkt:330:0: >>> tc-expr >>> parse-loop26 >>> dots-loop >>> /Data/LocalApplications/Racket/5.1.3/collects/racket/private/map.rkt:18:11: >>> map >>> ... >>> >>> % >>> >>> >>> -- >>> Norman Gray : http://nxg.me.uk >>> School of Physics and Astronomy, University of Glasgow, UK _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
