From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Dec 2009 09:02:36 +0000 (+0100)
Subject: Allow for ordering of symbols in the lambda prettyprinter.
X-Git-Tag: final-thesis~16
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=b11f541f7d0b67f2871f1c7fed731155b1808343;hp=b11f541f7d0b67f2871f1c7fed731155b1808343

Allow for ordering of symbols in the lambda prettyprinter.

By using an array instead of a table, the symbols can be ordered. This
allows using symbols where one is a prefix of the other, by placing the
longer one first.
---