<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
Rodolfo Carvalho wrote at 06/07/2012 01:05 AM:<br>
<blockquote
 cite="mid:[email protected]m"
 type="cite">
  <div class="gmail_quote">
  <blockquote class="gmail_quote"
 style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> #:insert<br>
 `(<br>
  ;; Add a missing #lang line to the top of the file:<br>
  (0 "#lang setup/infotab\n")<br>
  </blockquote>
  </div>
</blockquote>
[...]<br>
<blockquote
 cite="mid:[email protected]m"
 type="cite">
  <div class="gmail_quote">
  <div>Sorry if I just didn't get it right, but wouldn't it be useful
to have a conditional insert?<br>
For instance, it would make sense to insert a #lang line only when
there isn't one already.<br>
  </div>
  </div>
</blockquote>
<br>
That was toy example of a call to "progedit", like a test case, and not
very clear.  In a real program, you'd programmatically build the list
you pass to the "#:insert" keyword argument of "progedit".  So, you
would only add the (0 "#lang setup/infotab\n") to that list if you
found through other means that you needed to add a #lang line. 
"progedit" itself only performs the inserts, deletes, and replaces.<br>
<br>
Neil V.<br>
<br>
</body>
</html>