X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=pret-lam.lua;h=54acfd1fd2ef6a4e3a9ce4cc7b7c85ca026be3a4;hp=2e70001aa90ff6971f7ff89c946a2f390a22b0ba;hb=990efc0b29d23ad13b817fea96cf5fc6216ffc09;hpb=ffef13cb64e18f66825b861a0ee709637125d9c3

diff --git a/pret-lam.lua b/pret-lam.lua
index 2e70001..54acfd1 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -24,9 +24,9 @@ local symbols = {
     -- better.
     ['*'] = {repr = '\\ast'},
     ['~'] = {repr = '\\sim'},
+    ['|'] = {repr = '\\char' .. utf.byte('|')},
 }
 
-
 -- Keywords that should be bold
 local keywords = {
     ['case'] = {},
@@ -102,6 +102,8 @@ local function do_subscripts(word)
 end
 
 local in_block = 0
+local submatches = {}
+local bases = {}
 
 -- Mark the begin of a block of lambda formatted buffers or expressions. This
 -- means that, until you call end_of_block again, the subscript bases are