<!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:CANkx08jjvL2DE0WX+rTt0khw4+DUByTW7+iqH6RX++9unMt8Mg@mail.gmail.com"
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:CANkx08jjvL2DE0WX+rTt0khw4+DUByTW7+iqH6RX++9unMt8Mg@mail.gmail.com"
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>