next up previous contents
Next: 3.1.4 unor Up: 3.1 The extron transformers Previous: 3.1.2 untype

3.1.3 unmacro

unmacro is a transformation tool that handles various predefined as well as user-defined macros.

User-defined macros are declared with declare facts (see section 3.1.1). Since the syntactic transformation performed by these macros is defined via COMMON LISP functional objects, using them is not encouraged und thus not further described in this paper.

The following macros are predefined:

The following examples show how let and let* are transformed into lambda applications. Since we did not yet develop a PROLOG-like syntax for these constructs, only the LISP-like syntax is shown.


Harold Boley (