[racket-users] About using RSound

2020-05-22 Thread Liwei Chou
Found RSound Sound Engine for Racket package, but not much tutorial. Does any one know more instructions or tutorial for this package? https://docs.racket-lang.org/rsound/index.html -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscrib

[racket-users] Re: Migrating from a "model-driven" language framework to Racket

2020-05-22 Thread Stephen De Gabrielle
Hi Guillaume I don't think I can answer your questions, as I'm not a language developer, but this topic interests me; What are the Racket Syntax Classes you have implemented? Can you provide an example? I'm aware of syntax objects, as a specialised data structure for syntax manipulation, but

[racket-users] Re: Migrating from a "model-driven" language framework to Racket

2020-05-22 Thread Guillaume Savaton
Hi Stephen. Thanks for your answer. Le vendredi 22 mai 2020 13:57:53 UTC+2, Stephen De Gabrielle a écrit : > > What are the Racket Syntax Classes you have implemented? Can you provide > an example? > The project consists in creating a simple hardware description language. I am preparing a simpl

[racket-users] inconvenience in typed Racket

2020-05-22 Thread Hendrik Boom
Here's the code it's complaining about. `(,@params -> ,rettype) And here's the message: Type Checker: Polymorphic function `qq-append' could not be applied to arguments: Types: (Listof a) (Listof b) -> (Listof (U a b)) Arguments: (Listof (List Any ': Any)) (List '-> Ffi-type) Expected result:

Re: [racket-users] inconvenience in typed Racket

2020-05-22 Thread Sam Tobin-Hochstadt
The problem is almost certainly that `Any` is not allowed in `Ffi-type`. What's the definition of `Ffi-type`, and why does `params` have a type that involves `Any`? Sam On Fri, May 22, 2020 at 5:21 PM Hendrik Boom wrote: > > Here's the code it's complaining about. > > `(,@params -> ,rettype) >

[racket-users] Structs that masquerade as channels

2020-05-22 Thread David Storrs
Is there a way to make a struct that can seamlessly pretend to be a channel the same way one can pretend to be an output-port? I'm pretty sure the answer is no but wanted to confirm. Example: (struct person (name to) #:property prop:output-port (struct-field-index to)) (displayln "yay" (person '

[racket-users] rackunit and logging

2020-05-22 Thread Shriram Krishnamurthi
I'm trying to understand the design of the logging portion of rackunit: https://docs.racket-lang.org/rackunit/Testing_Utilities.html#%28part._.Logging_.Test_.Results%29 1. The "log" seems to only be a *count*, not the actual rackunit output (as the term "log" would suggest). Since I want t

Re: [racket-users] inconvenience in typed Racket

2020-05-22 Thread Hendrik Boom
On Fri, May 22, 2020 at 05:35:04PM -0400, Sam Tobin-Hochstadt wrote: > The problem is almost certainly that `Any` is not allowed in > `Ffi-type`. What's the definition of `Ffi-type`, Casting rettype to Any did not help; adding Any in as one of the options in ffi-type did let it go through. It'

[racket-users] Re: rackunit and logging

2020-05-22 Thread Alex Harsanyi
You can use foldts-test-suite (part of the rackunit package) to write your own test runner which collects and reports on the tests according to your nee

[racket-users] Is it possible to make submodules with private names?

2020-05-22 Thread rocketnia
Hi all, I've been thinking about making libraries that would generate submodules when they're used. However, submodules exist in a flat namespace, I'm a bit afraid of conflicts if I choose the same name as some other library does, and I don't really want users to have to supply their own local

Re: [racket-users] rackunit and logging

2020-05-22 Thread David Storrs
Hi Shriram, I have a module, handy/test-more (https://pkgs.racket-lang.org/package/handy), that I think does everything you want; the downside is that the documentation is thorough but it's in the form of essay-style comment sections instead of Scribble. Breaking that out into actual Scribble is