Re: [racket] providing cstructs

2013-03-09 Thread Pierpaolo Bernardi
On Sat, Mar 9, 2013 at 6:22 PM, Neil Toronto wrote: > I think you could also define the cstruct in a submodule, provide it using > `all-defined-out', and re-provide it from the enclosing module using > `all-from-out'. Ah, yes, that would have been another possibility. Thanks. __

Re: [racket] providing cstructs

2013-03-09 Thread Neil Toronto
On 03/09/2013 02:08 AM, Pierpaolo Bernardi wrote: On Sat, Mar 9, 2013 at 9:32 AM, Tobias Hammer wrote: (struct-out id), not _id still works. Only the 'special' names like _id, _id-pointer etc. are not included. Exactly what I needed, thanks! You have spared me a weekend of typing. 8^) I t

Re: [racket] Typed racket and sync/timeout

2013-03-09 Thread Norman Gray
Sam, hello. On 2013 Mar 9, at 14:53, Sam Tobin-Hochstadt wrote: > This is a bug which we should fix -- can you report it via the bug > reporting tool (preferably as a complete example, if this isn't one > already). Done; see Thanks for lo

Re: [racket] Typed racket: keywords and rest arguments

2013-03-09 Thread Sam Tobin-Hochstadt
This looks like a bug -- the code probably doesn't handle the way this combination is encoded. Sam On Sat, Mar 9, 2013 at 8:33 AM, Norman Gray wrote: > > Greetings. > > (this is a separate typed-racket question, and I think distinct from the > questions I was asking last month) > > I don't seem

Re: [racket] Typed racket and sync/timeout

2013-03-09 Thread Sam Tobin-Hochstadt
On Sat, Mar 9, 2013 at 8:07 AM, Norman Gray wrote: > > Greetings, all. > > I'm getting a Typed Racket error > > Type Checker: untyped identifier sync/timeout imported from module > in: sync/timeout > > (in DrRacket 5.3.3) > > Should I expect sync/timeout to be typed? Yes, we should add this

[racket] Typed racket: keywords and rest arguments

2013-03-09 Thread Norman Gray
Greetings. (this is a separate typed-racket question, and I think distinct from the questions I was asking last month) I don't seem to be able to specify a type for a function with rest arguments and optional keywords. The following fails to typecheck (Racket 5.3.3) (: appender (String Strin

[racket] Typed racket and sync/timeout

2013-03-09 Thread Norman Gray
Greetings, all. I'm getting a Typed Racket error Type Checker: untyped identifier sync/timeout imported from module in: sync/timeout (in DrRacket 5.3.3) Should I expect sync/timeout to be typed? I'm trying to supply the missing type with (require/typed racket/async-channel

Re: [racket] providing cstructs

2013-03-09 Thread Pierpaolo Bernardi
On Sat, Mar 9, 2013 at 9:32 AM, Tobias Hammer wrote: > (struct-out id), not _id still works. Only the 'special' names like _id, > _id-pointer etc. are not included. Exactly what I needed, thanks! You have spared me a weekend of typing. 8^) Racket Users list: http://list

Re: [racket] providing cstructs

2013-03-09 Thread Tobias Hammer
(struct-out id), not _id still works. Only the 'special' names like _id, _id-pointer etc. are not included. Tobias On Sat, 09 Mar 2013 09:24:02 +0100, Pierpaolo Bernardi wrote: Hello, I understand that there isn't an abbreviation equivalent to (provide (struct-out ...)), but for cstruc

[racket] providing cstructs

2013-03-09 Thread Pierpaolo Bernardi
Hello, I understand that there isn't an abbreviation equivalent to (provide (struct-out ...)), but for cstructs? Is this correct? (I have a cstrut with 62 fields to provide. Both readers and setters... 8^) P. Racket Users list: http://lists.racket-lang.org/users