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

2016-08-24 Thread 'John Clements' via Racket Users
> 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 file is known, doesnt need t

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

2016-08-24 Thread Matthew Eric Bassett
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 fr

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

2016-08-24 Thread Dupéron Georges
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 spe

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

2016-08-24 Thread George Neuner
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.

2016-08-24 Thread Stephen Chang
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

2016-08-24 Thread Alex Knauth
> On Aug 24, 2016, at 9:12 AM, Matthew Eric Bassett wrote: > > 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/

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

2016-08-24 Thread Matthew Eric Bassett
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 (make

Re: [racket-users] Racket Shell

2016-08-24 Thread Daniel Bastos
On Sat, Aug 20, 2016 at 4:17 PM, William G Hatch wrote: > I'm really interested in people's thoughts about both parts and ways people > think they could be improved. Hi, William. Have you looked at ESHELL to see if it has anything of interest? %(format-time-string "%D %H:%M:%S" (seconds-to-time

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

2016-08-24 Thread Alex Knauth
> 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 meta language is read ba

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

2016-08-24 Thread Normal Loone
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