IRC channel logs
2024-08-11.log
back to list of logs
<dckc>sometimes it's ok to use (define ...) in the middle of stuff, but sometimes you have to use (let ...). I'm struggling to understand the rules. <dpk>dckc: can you give examples? <dpk>according to the RnRS specs, a ‘body’ (which is what comes in a lambda expression after the argument list, and thus also appears in constructs derived from lambda, like let etc.) consists of zero or more definitions followed by one or more expressions. Guile is one of the implementations which has relaxed this restriction somewhat, but personally i would advise sticking to it where possible <dpk>but note that even in Guile i think it’s not possible to put a definition where only an expression would make sense. a definition can’t be an argument to a procedure call <dckc>hi... will try to give an example next time I run into it <dckc>whew! finally got it working. property testing Amount with Brand, not just natural numbers. 2024-08-11 01:51 77aa5359d8 <dckc>meanwhile, "zero or more definitions followed by one or more expressions" is good to know. maybe I was running afoul of that.