projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Some fixes to the prototype chapter.
[matthijs/master-project/report.git]
/
pret-haskell.lua
diff --git
a/pret-haskell.lua
b/pret-haskell.lua
index 4ce8d3e524670d51077b56b4f3967553cb93e6c0..ca3a1651d520ae2c13f99426f45af90f2498c4cc 100644
(file)
--- a/
pret-haskell.lua
+++ b/
pret-haskell.lua
@@
-40,6
+40,13
@@
function visualizer.flush_line(str,nested)
ctxsprint('}')
-- Eat the processed characters
str = rest
ctxsprint('}')
-- Eat the processed characters
str = rest
+ elseif utf.match(str, "^%-%-") then
+ ctxsprint('{\\italic{--')
+ -- Recursively call ourselves to handle spaces gracefully.
+ visualizer.flush_line(utf.sub(str, 3))
+ ctxsprint('}}')
+ -- Done with this line
+ str = ''
else
-- Write the first character
texwrite(utf.sub(str, 1, 1))
else
-- Write the first character
texwrite(utf.sub(str, 1, 1))