define-syntax, let loop and typed arguments (using :: in type declaration)

[Vladimir Tsichevski]

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