[Bug-kawa] [bugs #11822] Problem expanding define-syntax macro that uses defmacro macro

[Dean Ferreyra]

Follow-up Comment #6, bugs #11822 (project kawa):

Per, thanks for the quick responses.



I've pulled your latest CVS changes.  I'm still seeing warnings in our code
and concomitant run-time exceptions.



I've attached a slightly different example that still exhibits the problem.



Macro mB looks like this:



  (define-syntax mB

    (syntax-rules ()

      ((_ type name)

       (mA type 

         ((fn o) :: <void>

          (simpleAux:init o)

          (display (slot-ref o 'x))

          (newline)      ;; Comment these 2 lines

          (display name) ;; and get no warnings

          (newline))))))

  

When compiling, I get these warnings on the uses of "o":



  java kawa.repl --warn-undefined-variable --main -C macro.scm

  (compiling macro.scm)

  macroB.scm:12:25: warning - no declaration seen for o

  macroB.scm:13:28: warning - no declaration seen for o



An interesting thing, I think, is that if I comment out the (newline) and
(display ...) calls, then the warnings go away and the resulting code works.
    _______________________________________________________

Additional Item Attachment:

File name: macros3.diff                   Size:1 KB
And another example with warnings
<http://savannah.gnu.org/bugs/download.php?item_id=11822&item_file_id=2173>

    _______________________________________________________

This item URL is:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=11822>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/