[plt-scheme] Issue with Output _cvector Types Held in Variables

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Jan 27 11:27:41 EST 2009

On Jan 26, Henk Boom wrote:
> 2009/1/26 Eli Barzilay <eli at barzilay.org>:
> > `_cvector' is a custom type, which means that it can do special things
> > when it's part of a `_fun' type.
> Ah, I just found that part of the documentation. So, in effect,
> _cvector becomes syntactically part of the _fun construct. Even
> implementing t as a syntax-id-rules macro doesn't help, as the outer
> macros are expanded first. Is there any way to abstract out the type
> then?

Defining something using syntax-id-rules is not going to work, you
probably need to use `define-fun-syntax'.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the users mailing list.