Re: [racket-users] Machine code executable

2021-01-07 Thread Stephen De Gabrielle
we also have a faq https://github.com/racket/racket/wiki/Frequently-Asked-Questions#is-racket-compiled On Thursday, January 7, 2021 at 3:23:31 PM UTC Paulo Matos wrote: > > Daniel Santos writes: > > > Has Racket to output to other language, such as C, in order to have > machine > > code execut

Re: [racket-users] side-conditions

2021-01-07 Thread Robby Findler
I'm not sure without seeing more of your code (one annoying thing about Redex is that it is not always clear when you "in redex" and when you are "in racket" and your code might be mixing those up) but here is an example along the lines I think you're working towards. Note that it might be better t

Re: [racket-users] side-conditions

2021-01-07 Thread Beatriz Moreira
I have tried to use a metafunction to represent s∉dom(env-ß) in a side condition,* (side-condition (notinenv ((ß_1 ...) env-ß ...) x))*, but the error message *notinenv: illegal use of syntax in: (notinenv ((ß_1 ...) env-ß ...) x) value at phase 1: #* appears and i don't understand why. I de

Re: [racket-users] Machine code executable

2021-01-07 Thread Paulo Matos
Daniel Santos writes: > Has Racket to output to other language, such as C, in order to have machine > code executables, or, does Racket produce machine code executables directly? Hi Daniel, It's certainly possible to generate executables. Take a look at `raco exe`. https://docs.racket-lang.org

Re: [racket-users] Re: Racket News - Happy New Year Issue 44

2021-01-07 Thread Paulo Matos
Stephen De Gabrielle writes: > Another awesome issue Paulo, RN has become indispensable! (I was just > thinking I needed base64!) > Thank you so much > Thank you for your kind words. Your work on Racket has been great as well - on to 2021 and to a great Racket year! -- Paulo Matos -- You re

Re: [racket-users] Re: Racket News - Happy New Year Issue 44

2021-01-07 Thread Stephen De Gabrielle
Another awesome issue Paulo, RN has become indispensable! (I was just thinking I needed base64!) Thank you so much Stephen On Wed, 6 Jan 2021 at 13:16, Paulo Matos wrote: > Hi again, > > A problem with the datasets meant that in the first few hours after > publishing, the plots reflected incorr

[racket-users] Machine code executable

2021-01-07 Thread Daniel Santos
Has Racket to output to other language, such as C, in order to have machine code executables, or, does Racket produce machine code executables directly? thank you -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group an