projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8515f49) | patch
Make pret-trans call pret-lam indirectly.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 09:58:19 +0000 (10:58 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 4 Nov 2009 10:09:16 +0000 (11:09 +0100)
commit360fa910df40934b12cd76a2f1b4627d73ac9e68
tree54cd1451976043fd5b5c22e951dd61bcccc60fd5tree | snapshot
parent8515f491f83e63caa71de03c6e71b25df12aedb2commit | diff
Make pret-trans call pret-lam indirectly.

Previously, the pret-lam functions were called directly from lua. Now, the
pret-trans prettyprinter generates \startlambda commands so the pretty
printer is called later. This means the start/end_of_block calls now also
include the right part.
Utils/Lambda.tex diff | blob | history
pret-trans.lua diff | blob | history
Master's thesis on the cλash compiler