The error is because gregor/time doesn't export a struct. But
nevermind that, because you're probably best off with an opaque type:
```
#lang typed/racket
(require/typed gregor/time
[#:opaque Time time?]
[time (->* [Integer] [Integer Integer Integer] Time)]
[time->iso8601 (-> Time String)])
> On Dec 3, 2019, at 2:29 PM, James Platt wrote:
>
>
> On Nov 27, 2019, at 12:42 PM, Darth Vadør wrote:
>
>> I am having the same problem, and I am pretty sure that this is because the
>> new DMG uses the novel APFS format, which is not readable by our old HFS
>> computers.
>> As far as I
On Nov 27, 2019, at 12:42 PM, Darth Vadør wrote:
> I am having the same problem, and I am pretty sure that this is because the
> new DMG uses the novel APFS format, which is not readable by our old HFS
> computers.
> As far as I know, HFS DMGs can be opened on new APFS Macs; would it be
> po
On Nov 25, 2019, at 1:29 PM, Stephen De Gabrielle wrote:
> Many packages contain an /examples folder, and adding examples is an easy way
> to contribute.
I did not know that. So, I guess the strategy is to find the git repository
for the package and look there? In any case, I haven't been f
On Nov 21, 2019, at 6:27 PM, Alexis King wrote:
>> On Nov 21, 2019, at 11:21, James Platt wrote:
>>
>> If we can direct more of the energy of this community into, not just
>> improving the documentation, but the way we do documentation, it would be a
>> major improvement. Requiring lots of pa
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
6 matches
Mail list logo