From: Matthijs Kooijman Date: Tue, 24 Nov 2009 14:17:42 +0000 (+0100) Subject: Put DEFAULT in smallcaps in the lambda prettyprinter. X-Git-Tag: final-thesis~144 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=db2dce12a0b9b988be956104b908e28375bbfd1c;p=matthijs%2Fmaster-project%2Freport.git Put DEFAULT in smallcaps in the lambda prettyprinter. --- diff --git a/pret-lam.lua b/pret-lam.lua index be2c55b..86d7272 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -36,7 +36,7 @@ local keywords = { ['letrec'] = {}, ['letnonrec'] = {}, ['in'] = {}, - ['DEFAULT'] = {}, + ['DEFAULT'] = {small = true}, } local in_block = 0 @@ -222,6 +222,9 @@ function vis.flush_line(str,nested) if keywords[res] then -- Make all keywords bold word = "{\\bold " .. word .. "}" + if keywords[res].small then + word = "\\small" .. word -- Curlies were added above + end else -- Process any subscripts in the word word = do_subscripts(word)