On 1 April 2013 11:54, Mark H Weaver <[email protected]> wrote: > Daniel Hartwig <[email protected]> writes: >> these two points are enough information to obtain the unmodified >> source from the file. > > This is enough to get the original characters, but then there's the > other problem I mentioned: reader directives such as #!curly-infix > earlier in the file. > > For this reason, I think we need to use 'read' from the beginning of the > file, and look at the source properties of the returned datums to find > the right top-level datum. In most cases, a top-level datum is what is > desired, but in some cases not. In general, you will need to traverse > the sublists of a top-level datum to find the right one.
Ah yes, right. Not such a trivial task after all. I had neglected that such reader directives will sufficiently alter the meaning of the file. I think I will stick to ‘geiser-edit-symbol-at-point’ :-)
