projects / matthijs / master-project / report.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db2dce1) | patch
Use a non-breaking space instead of \obs in the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:04:31 +0000 (16:04 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:13:48 +0000 (16:13 +0100)
commitd26b51ab9dfb0a9778023bb6c53857e4eec055e9
tree0e5a3f9d08e900f30e13933b3d402c58d0d21c99tree | snapshot
parentdb2dce12a0b9b988be956104b908e28375bbfd1ccommit | diff
Use a non-breaking space instead of \obs in the lambda prettyprinter.

This makes sure that lambda expressions don't get breaks halfway, but
still preserves multiple spaces (apparently the unicode non-breaking space
is not collapsed like other whitespace).
pret-lam.lua diff | blob | history
Master's thesis on the cλash compiler