n.goaz...@gmail.com writes:

> Hello,
>
> Alan Schmitt <alan.schm...@polytechnique.org> writes:
>
>> I think I have found a bug with ":wrap" when exporting a block. Consider
>> the following org file:
>>
>> #+name: mywrap
>> #+BEGIN_SRC sh :exports none :results raw
>> echo "(+ 1 2)"
>> #+END_SRC
>>
>> Exporting with the result absent:
>>
>> #+name: testmywrap
>> #+call: mywrap() :wrap src emacs-lisp
>>
>> #+results: testmywrap
>>
>> Exporting with the result present:
>>
>> #+name: testmywrap2
>> #+call: mywrap() :wrap src emacs-lisp
>>
>> #+results: testmywrap2
>> #+BEGIN_src emacs-lisp
>> (+ 1 2)
>> #+END_src
>>
>> If you export it, you'll see that the results for the second call are
>> duplicated. Note that this only happens during export: evaluating the
>> second call to mywrap does not duplicate the results below.
>
> The following patch (from maint) fixed the problem shown in the ECM.
> Does it still work in the general case?

Yes, it works great on the following example (which includes "direct
printing", in the sense of echoing the #+BEGIN_SRC lines) as well as in
the ":wrap" case.

--8<---------------cut here---------------start------------->8---
#+name: fetchcoq
#+BEGIN_SRC sh :exports none :results raw :var f="foo.v"
echo "#+BEGIN_SRC coq"
head $f
echo
echo "#+END_SRC"
#+END_SRC

Test using direct printing

#+name: test1
#+call: fetchcoq(f="demo.v") :results raw

#+results: test1
#+BEGIN_SRC coq
Definition toto : forall x, exists y, x = y.

Lemma foo: forall x, x=x.
#+END_SRC

#+name: fetchcoq2
#+BEGIN_SRC sh :exports none :results raw :var f="foo.v"
head $f
echo
#+END_SRC

Test using wrap

#+name: test2
#+call: fetchcoq2(f="demo.v") :wrap src coq

#+results: test2
#+BEGIN_src coq test
Definition toto : forall x, exists y, x = y.

Lemma foo: forall x, x=x.
#+END_src
--8<---------------cut here---------------end--------------->8---

Thanks,

Alan

Reply via email to