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)
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).


No differences found