Hi,
this is hopefully easier, but I can't figure out how to `(require/typed
gregor)` inside a typed racket file. Here are my failed attempts (I want
time to work, hence I try to import gregor/time):
```
#lang typed/racket
; Try to get time struct from gregor/time
(require/typed gregor/time
[#:struct time ([hour : Integer]
[minute : Integer]
[second : Integer]
[nanosecond : Integer])])
; This just checks that the time structure isn't in gregor
(require/typed gregor
[#:struct time ([hour : Integer]
[minute : Integer]
[second : Integer]
[nanosecond : Integer])]
[current-time (->* () (#:tz String) time)])
```
These fail with errors of the kind
"
only-in: identifier `struct:time' not included in nested require spec
at: gregor
in: (only-in gregor struct:time (time time2))
"
So, maybe I am wrong to think that time is a struct. But when I print one
in the REPL, it says #<time ...>, which I thought would mean it's a struct.
My next step was to check the type of it in the REPL with typed racket...
but that doesn't work since requiring gregor in a REPL with typed/racket
leads to the same errors (obviously, since how would it know anything
more...).
Hence, I fire up DrRacket, following the trail to the definition of the
time structure and I find that the structure itself is never provided out,
but only used to define the function `time?` and others. But that makes me
wonder: how can I define the type for time so that I can use gregor inside
typed/racket if I can't import the structure (which in my understanding
defines the type of time)? I can't figure out what thing `(current-time)`
is, apparently `(struct Time (hms ns) ...)` but I don't see any contracts
on hms or ns to figure out what they are... but even if I did, would I
define my own structure `(struct my-time ([hms : HMS] [ns : NS])` and use
that?
Cheers,
Marc
PS: If any Vim users our there can tell me how to jump to definitions of
required libraries I'd be ever so happy.
--
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/fddb26f2-31d9-4228-b44f-73ea30d98220%40googlegroups.com.
