Request: trace-let-syntax & trace-letrec-syntax

[leppie]

Hi

Would it be possible to have tracing for let-syntax and letrec-syntax?

Or maybe someone can suggest another way?

Cheers

leppie

[Abdulaziz Ghuloum (aghuloum)]

On Jul 11, 2008, at 4:18 AM, leppie wrote:

> Would it be possible to have tracing for let-syntax and letrec-syntax?

You mean the same as trace-define-syntax for let-syntax and letrec-
syntax?

[leppie (leppie)]

> You mean the same as trace-define-syntax for let-syntax and letrec-
> syntax?

Yes, that is correct.

[Abdulaziz Ghuloum (aghuloum)]

This should be easy to add.

[Abdulaziz Ghuloum (aghuloum)]

On Jul 11, 2008, at 4:18 AM, leppie wrote:

> Or maybe someone can suggest another way?

(define-syntax trace-let-syntax
   (syntax-rules ()
     [(_ ([lhs* rhs*] ...) b b* ...)
      (let-syntax ([lhs* (make-traced-procedure 'lhs* rhs* syntax-
 >datum)]
                   ...)
        b b* ...)]))

not tested.

[leppie (leppie)]

Cool, thanks, I'll give it a go :)

[leppie (leppie)]

I am getting the following:

> (load "c:/Program Files/xacc.ide/defmethod.ss")
|(a a)
Unhandled exception
 Condition components:
   1. &assertion
   2. &who: apply
   3. &message: "not a procedure"
   4. &irritants: ((macro! . #<procedure>))
>

File attached.

[Abdulaziz Ghuloum (aghuloum)]

On Jul 11, 2008, at 12:24 PM, leppie wrote:

> Unhandled exception
> Condition components:
> 1. &assertion
> 2. &who: apply
> 3. &message: "not a procedure"
> 4. &irritants: ((macro! . #<procedure>))

That's also a bug in ikarus.

Will fix both. In the meantime:

(define (make-traced-macro name x)
   ;;; nonportable
   (define (variable-transformer? x)
     (and (pair? x) (procedure? (cdr x))))
   (define variable-transformer-procedure cdr)
   (cond
     [(procedure? x) (make-traced-procedure name x syntax->datum)]
     [(variable-transformer? x)
      (make-variable-transformer
        (make-traced-procedure name
          (variable-transformer-procedure x)
          syntax->datum))]
     [else #|no trace|# x]))

(define-syntax trace-let-syntax
   (syntax-rules ()
     [(_ ([lhs* rhs*] ...) b b* ...)
      (let-syntax ([lhs* (make-traced-macro 'lhs* rhs*)] ...)
        b b* ...)]))

[leppie (leppie)]

> Will fix both. In the meantime:

Thanks, no rush :-)

[Abdulaziz Ghuloum (aghuloum)]

Fixed both in 1535.

[leppie (leppie)]

> Fixed both in 1535.

Not quite ;P

Doing 'trace-define-syntax method' now spews out a lot of syntax records. Missing a filter?

[leppie (leppie)]

Here the fix, missed the syntax->datum :)

  (define make-traced-macro
    (lambda (name x)
      (cond
        [(procedure? x)
         (make-traced-procedure name x syntax->datum)]
        [(variable-transformer? x)
         (make-variable-transformer
           (make-traced-procedure name
             (variable-transformer-procedure x)
             syntax->datum))]
        [else x]))))

[leppie (leppie)]

Hehe, and thats exactly how you had it originally.

[Tom Gordon (tom-gordon)]

Dear Aziz,

I'm becoming increasingly frustrated with PLT's support, or lack
thereof, for R6RS. The most recent version is broken. I suppose it
will be repaired soon, but this occassion makes once again think about
alternative editors or development environments. I'd like to switch
to using either Ikarus or Ypsilon for development. I see that you've
been developing some basic debugging tools, which is very encouraging.

But which editor? I use to be a vi user, for about 10 years, but that
was years ago. I understand you are a vim user. Could you give me
some hints about how you have customized vim for programming in
Scheme? I'd like to give it a try.

Many thanks,

Tom