<HTML><BODY>Is there a way to get type information in macro? Either from cintracts or from Typed Raacket. Or only way is to make up own type declaration syntax : something like (define-syntax-rule declare (VAR TYPE) (begin-for-syntax (hash-set! types 'VAR TYPE))) ? -- Roman Klochkov</BODY></HTML>