| 2009-05-20 15:39:27 |
leppie |
bug |
|
|
added bug |
| 2009-05-24 09:37:04 |
Abdulaziz Ghuloum |
ikarus: importance |
Undecided |
Medium |
|
| 2009-05-24 09:37:04 |
Abdulaziz Ghuloum |
ikarus: status |
New |
Fix Committed |
|
| 2009-05-24 09:37:04 |
Abdulaziz Ghuloum |
ikarus: assignee |
|
Abdulaziz Ghuloum (aghuloum) |
|
| 2009-05-24 14:09:07 |
Launchpad Janitor |
branch linked |
|
lp:ikarus |
|
| 2009-05-27 14:39:28 |
leppie |
description |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
I will add more as I find them, or can reproduce them.
Cheers
leppie |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax av
(syntax-rules ()
[(_ who msg irr ...)
(assertion-violation 'who msg irr ...)]))
(av help "me" 1 2 3) ; <-- annotated call 'loses' info
I will add more as I find them, or can reproduce them.
Cheers
leppie |
|
| 2009-05-28 15:13:11 |
leppie |
description |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax av
(syntax-rules ()
[(_ who msg irr ...)
(assertion-violation 'who msg irr ...)]))
(av help "me" 1 2 3) ; <-- annotated call 'loses' info
I will add more as I find them, or can reproduce them.
Cheers
leppie |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax add
(syntax-rules ()
[(_ n ...) (+ n ...)]))
(add 1 2 3) ; <-- annotated call 'loses' info
I will add more as I find them, or can reproduce them.
Cheers
leppie |
|
| 2009-06-02 17:36:02 |
leppie |
description |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax add
(syntax-rules ()
[(_ n ...) (+ n ...)]))
(add 1 2 3) ; <-- annotated call 'loses' info
I will add more as I find them, or can reproduce them.
Cheers
leppie |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax add
(syntax-rules ()
[(_ n ...) (+ n ...)]))
(add 1 2 3) ; <-- annotated call 'loses' info
Case 3:
(define-syntax define*
(syntax-rules ()
[(_ n e ...)
(define n (lambda () e ...))]))
Case 4:
Seems all expressions in case clauses are un-annotated.
I will add more as I find them, or can reproduce them.
Cheers
leppie |
|
| 2009-06-02 18:14:38 |
leppie |
description |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax add
(syntax-rules ()
[(_ n ...) (+ n ...)]))
(add 1 2 3) ; <-- annotated call 'loses' info
Case 3:
(define-syntax define*
(syntax-rules ()
[(_ n e ...)
(define n (lambda () e ...))]))
Case 4:
Seems all expressions in case clauses are un-annotated.
I will add more as I find them, or can reproduce them.
Cheers
leppie |
Hi
Currently, annotated-case-lambda and annotated-call gives me a good amount of detail. But it seems to get nuked/removed on some macro expansions.
Here is the most obvious one:
Case 1:
(define-syntax define-fx
(lambda (x)
(syntax-case x ()
[(_ (name formals ...) body body* ...)
(with-syntax (((checks ...)
(map (lambda (f)
(with-syntax ((f f))
#'(unless (fixnum? f)
(assertion-violation 'name "not a fixnum" f))))
#'(formals ...))))
#'(define (name formals ...)
checks ...
(let ()
body body* ...)))])))
(define-fx (fx+ x1 x2)
(+ x1 x2))
Case 2 (simplest macro):
(define-syntax add
(syntax-rules ()
[(_ n ...) (+ n ...)]))
(add 1 2 3) ; <-- annotated call 'loses' info
Case 3:
(define-syntax define*
(syntax-rules ()
[(_ n e ...)
(define n (lambda () e ...))]))
I will add more as I find them, or can reproduce them.
Cheers
leppie |
|
