Documentation doesn’t show how to connect the pieces

[leafac]

The documentation shows how to define languages and passes. But doesn’t show how put them together to form a compiler. In particular, it has no example of using the parser, nor does it explain with-output-language.

In my exploration of the source, I figure the following works:

(make-explicit (with-output-language (L0 Expr) `(if 0 1)))
;; => (language:L1 '(if '0 '1 (void)))

(define-parser parse-L0 L0)
(make-explicit (parse-L0 '(if 0 1)))
;; => (language:L1 '(if '0 '1 (void)))

But it’s not included in the documentation, and I’m not sure which option is right and what are the implications.

Also, it’d be nice to have documentation for the tracing feature shown in this talk: https://www.youtube.com/watch?v=Os7FE3J-U5Q

[dented42]

This almost kinda seems like a duplicate of issue #1?

[leafac]

I guess you’re right. By the way, the tutorial mentioned there is here. It isn’t finished yet, but it helped me anyway.