This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
define-syntax, let loop and typed arguments (using :: in type declaration)
- From: Vladimir Tsichevski <wowa at jet dot msk dot su>
- To: Kawa List <kawa at sources dot redhat dot com>
- Date: Fri, 11 Apr 2003 14:40:42 +0400
- Subject: define-syntax, let loop and typed arguments (using :: in type declaration)
Hi,
using typed argument with :: may cause trouble in define-syntax
declarations:
bash-2.05a$ cat bug.scm
(define-syntax test
(syntax-rules ()
((test)
(let loop ((size :: <int> 10))
#f))))
(test)
bash-2.05a$ kawa -C bug.scm
(compiling bug.scm)
bug.scm:6:2: no matching syntax-rule for %let-lambda1
bug.scm:6:2: let binding must have syntax: (var [type] init)
Note: if I do not use :: in type declaration, the syntax definition
compiles with no errors.
Regards,
Vladimir