Support => in the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:44:16 +0000 (16:44 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 24 Nov 2009 15:44:16 +0000 (16:44 +0100)
pret-lam.lua

index dd3d5ca..1f073f8 100644 (file)
@@ -22,6 +22,7 @@ local symbols = {
     [' '] = {repr = ' '},
     ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
     [' '] = {repr = ' '},
     ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
+    ['=>'] = {repr = '⇒'},
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},