steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

FUEL: fix markup of stack effects of quotations nested in stack effects

db4
Björn Lindqvist 2014-11-01 22:08:04 +01:00 committed by John Benediktsson
parent e5ee876dc5
commit 28b2942167
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
misc/fuel/fuel-markup.el
View File

@ -579,11 +579,17 @@
(fuel-markup--print (cdr elem)) (fuel-markup--print (cdr elem))
(fuel-markup--insert-newline)) (fuel-markup--insert-newline))
(defun fuel-markup--stack-effect (e)
(let* ((in (mapconcat 'identity (nth 1 e) " "))
(out (mapconcat 'identity (nth 2 e) " "))
(str (format "( %s -- %s )" in out)))
(fuel-markup--snippet (list '$snippet str))))
(defun fuel-markup--quotation (e) (defun fuel-markup--quotation (e)
(insert "a ") (insert "a ")
(fuel-markup--link (list '$link 'quotation 'quotation 'word)) (fuel-markup--link (list '$link 'quotation 'quotation 'word))
(insert " with stack effect ") (insert " with stack effect ")
(fuel-markup--snippet (list '$snippet (nth 1 e)))) (fuel-markup--stack-effect (nth 1 e)))
(defun fuel-markup--warning (e) (defun fuel-markup--warning (e)
(fuel-markup--elem-with-heading e "Warning")) (fuel-markup--elem-with-heading e "Warning"))