Re: [racket-users] trying to install Rhombus
It worked with the latest version. Thanks so much, Alex! On Tuesday, January 31, 2023 at 5:52:14 PM UTC+2 alex...@knauth.org wrote: > > On Jan 31, 2023, at 10:27 AM, Dan Synek wrote: > > Hi, > > I used Racket a couple of years ago, but is now quiet rusty. So please > forgive m if my question is obvious. I wanted to experiment with a language > with algebraic style(infix etc), but with powerful macros, so I thought it > could be interesting to check out Rhombus. > Below are my attempts at installing Rhombus in version 8.7 and 8,6 of > Racket without any success. > I installed the latest racket (8.7) and tried: > raco pkg install --auto rhombus-prototype > > It looked hopeful, but after a while I got a lot of errors like this: > > --- summary of errors --- [17:12:53] > raco setup: error: during making for /rhombus-prototype/scribble > raco setup: phase+space+: contract violation > raco setup: expected: phase+space? > raco setup: given: '(0 . #f) > raco setup: compiling: > /rhombus-prototype/rhombus/private/ellipsis.rkt > raco setup: error: during making for /rhombus-prototype/rhombus > raco setup: phase+space+: contract violation > raco setup: expected: phase+space? > raco setup: given: '(0 . #f) > > > Parts of the Rhombus prototype like this can depend on *very* recent > Racket snapshot / nightly versions. > > The `phase+space+` behavior it's relying on here was last updated in the > snapshot version 8.2.0.3. > > You can get a snapshot build from one of the options at > https://snapshot.racket-lang.org/. The current most up-to-date snapshot > available from the University of Utah is version 8.8.0.5. > > Alex Knauth > he/him or they/them > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com. Beyond the Racket Users Google Group, Racket Discussions take place on Discourse ( https://racket.discourse.group/ ) and Discord ( https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on the Racket Slack https://racket.slack.com/ ( sign up at https://racket-slack.herokuapp.com/ ), and IRC #racket https://kiwiirc.com/nextclient/irc.libera.chat/#racket --- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/5ae93136-d563-4f3e-a70b-9d401f70815cn%40googlegroups.com.
[racket-users] trying to install Rhombus
Hi, I used Racket a couple of years ago, but is now quiet rusty. So please forgive m if my question is obvious. I wanted to experiment with a language with algebraic style(infix etc), but with powerful macros, so I thought it could be interesting to check out Rhombus. Below are my attempts at installing Rhombus in version 8.7 and 8,6 of Racket without any success. I installed the latest racket (8.7) and tried: raco pkg install --auto rhombus-prototype It looked hopeful, but after a while I got a lot of errors like this: --- summary of errors --- [17:12:53] raco setup: error: during making for /rhombus-prototype/scribble raco setup: phase+space+: contract violation raco setup: expected: phase+space? raco setup: given: '(0 . #f) raco setup: compiling: /rhombus-prototype/rhombus/private/ellipsis.rkt raco setup: error: during making for /rhombus-prototype/rhombus raco setup: phase+space+: contract violation raco setup: expected: phase+space? raco setup: given: '(0 . #f) Anything i can do to get around these errors? I tried the same command with Racket version 8.6, but then I got this error: The following out-of-date packages are listed as dependencies of rhombus-prototype and they will be automatically updated: base (have 8.6, need 8.6.0.10) raco pkg install: package installed in a different scope Inferred package scope: installation Resolving "base" via https://download.racket-lang.org/releases/8.6/catalog/ No updates available package: base current scope: user installed in scope: installation As a lest attempt I tried to update base with: bin/raco pkg update base but got Inferred package scope: installation Resolving "base" via https://download.racket-lang.org/releases/8.6/catalog/ No updates available Any idea what to do? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/beaa2ef6-afd2-4686-829a-390eb69f5620n%40googlegroups.com. Beyond the Racket Users Google Group, Racket Discussions take place on Discourse ( https://racket.discourse.group/ ) and Discord ( https://discord.gg/6Zq8sH5 ). Discussion (but less active) also takes place on the Racket Slack https://racket.slack.com/ ( sign up at https://racket-slack.herokuapp.com/ ), and IRC #racket https://kiwiirc.com/nextclient/irc.libera.chat/#racket --- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/2466f718-1e55-40cc-98d6-4ae11ad689f9n%40googlegroups.com.
Re: [racket-users] Understanding recursion in the function normalize-definition form the racket sources
(blush) No you are not misunderstanding my question. I was wrong about define-values and confused by an error message related to normalize-definition not being known in another part of the program due to phase problems. Thank you so much for taking the time to help me out! Dan On Sunday, April 18, 2021 at 12:25:38 AM UTC+3 johnbclements wrote: > I’m confused by your assertion that define-values can’t be used > recursively. Here’s a program that does this: > > #lang racket > > (define-values (fact) > (λ (x) (if (= x 0) 1 (* x (fact (sub1 x)) > > (fact 14) > > Am I misunderstanding your message? > > John Clements > > > On Apr 17, 2021, at 05:02, Dan Synek wrote: > > > > I am trying to implement a variation of define. In order to do that I am > trying to understand the source of the define macro in racket. > > It calls a function normalize-definition which looks like this: > > (define-values (normalize-definition) > > (case-lambda > > [(stx lambda-stx check-context? allow-key+opt?) > > (let-values ([(id mk-rhs body) > > (normalize-definition/mk-rhs stx lambda-stx check-context? > allow-key+opt? #t)]) > > (values id (mk-rhs body)))] > > [(stx lambda-stx check-context?) (normalize-definition stx lambda-stx > check-context? #f)] > > [(stx lambda-stx) (normalize-definition stx lambda-stx #t #f)]))) > > > > In the two last cases of the case-lambda there is a call to > normalize-definition. It is not a recursive call, since define-values > cannot be used recursively. I cannot find any other normalize-definition in > the modules required by the norm-define module. > > If I try to enter a copy of the definition (renamed to > normalize-definition1) I get (as expected) that normalize-definition1 is > undefined. > > What is going on? > > Thanks > > Dan > > > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/ce5ce36e-03ee-44b1-a5ae-4f5a6e7b9d1en%40googlegroups.com > . > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/16ec142a-af81-4fa4-8ce7-3fcf833c68f5n%40googlegroups.com.
[racket-users] Understanding recursion in the function normalize-definition form the racket sources
I am trying to implement a variation of define. In order to do that I am trying to understand the source of the define macro in racket. It calls a function normalize-definition which looks like this: (define-values (normalize-definition) (case-lambda [(stx lambda-stx check-context? allow-key+opt?) (let-values ([(id mk-rhs body) (normalize-definition/mk-rhs stx lambda-stx check-context? allow-key+opt? #t)]) (values id (mk-rhs body)))] [(stx lambda-stx check-context?) (normalize-definition stx lambda-stx check-context? #f)] [(stx lambda-stx) (normalize-definition stx lambda-stx #t #f)]))) In the two last cases of the case-lambda there is a call to normalize-definition. It is not a recursive call, since define-values cannot be used recursively. I cannot find any other normalize-definition in the modules required by the norm-define module. If I try to enter a copy of the definition (renamed to normalize-definition1) I get (as expected) that normalize-definition1 is undefined. What is going on? Thanks Dan -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/ce5ce36e-03ee-44b1-a5ae-4f5a6e7b9d1en%40googlegroups.com.
[racket-users] how to install Dracula?
Hi, I am trying to run Dracula. I try to follow the instructions, but they seem quiet old, so I was not sure what to follow. I did install acl2 using apt-get instead of downloading by hand. I use DrRacket 7.8 and I installed Dracula with raco pkg install dracula I installed acl2 version 8.3 using apt-get in ubuntu 20.10. When prompted I enter /usr/local/bin/acl2 as ACL2 executable. I start Dracula from the menu and I get the Dracula window to the right. However when trying to run Dracula on the factorial expression I get ACL2 Error in TOP-LEVEL: The symbol BEGIN (in package "ACL2") has neither a function nor macro definition in ACL2. Please define it. instead of the expected behavior. Would be thankful for some hints and sorry if I missed something obvious! Dan -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/c417e434-5763-4d72-b836-d015c14c4449n%40googlegroups.com.
