Re: [racket-users] Sending a file via HTML request.

> On Aug 24, 2016, at 4:36 AM, Normal Loone wrote: > > Sorry, I should have been clearer: > > I want to send a file directly from DrRacket to a server. I have submit > button as a plugin in DrRacket and it then should take the file and send it > to the server (the

Re: [racket-users] warnings for requiring opaque types in typed racket 6.6

On 08/24/2016 02:28 PM, Alex Knauth wrote: > That's the short-term solution. A better solution would be for typed racket > to implement a different version of #:opaque that would actually wrap the > values in opaque structs when they flow from untyped-to-typed and unwrap them > when they flow

[racket-users] [ANN] A type-expander library for Typed/Racket

Based on Asumu's work on type expanders (https://github.com/racket/racket/compare/master...takikawa:tr-type-expander), I have written a library which adds support for type expanders in typed/racket. Type expanders are to types what match expanders are to match patterns. A type expander is a

Re: [racket-users] Re: Sending a file via HTML request.

I posted to this thread yesterday through Gmane, but I see it hasn't yet appeared. Posting through Gmane has been flaky lately - I'm sending this updated version via email.Not sure what's happening with Gmane. Apologies if you see things multiple times. George

Re: [racket-users] Re: Sending a file via HTML request.

Vishesh Yadav wrote a DrRacket plugin that automatically compiles a program to JS via whalesong and uploads it to a server. It sounds related to what you are describing so you may want to take a look at his code. The plugin code is here: https://github.com/vishesh/drracket-whalesong in particular

Re: [racket-users] warnings for requiring opaque types in typed racket 6.6

thank you for your reply, Alex. That was informative and helpful. On 08/19/2016 02:56 PM, Alex Knauth wrote: > So to work around that, you can use `define-new-subtype` along with > `unsafe-require/typed`. > > #lang typed/racket > (require typed/racket/unsafe) > (define-new-subtype My-Type

Re: [racket-users] Using the base language’s get-info function with make-meta-reader

> On Aug 24, 2016, at 2:05 AM, Alexis King wrote: > > When using make-meta-reader from syntax/module-reader, is it possible > to access the “base” language’s get-info function from within the > read or read-syntax wrapping functions? I’d like to adjust how a > particular

[racket-users] Re: Sending a file via HTML request.

Sorry, I should have been clearer: I want to send a file directly from DrRacket to a server. I have submit button as a plugin in DrRacket and it then should take the file and send it to the server (the file is known, doesnt need to be selected from user). I tried the code from HTH Stephen, but

[racket-users] Using the base language’s get-info function with make-meta-reader

When using make-meta-reader from syntax/module-reader, is it possible to access the “base” language’s get-info function from within the read or read-syntax wrapping functions? I’d like to adjust how a particular meta language is read based on a property on the base language. Currently, my guess