libera/#climacs - IRC Chatlog
Search
9:59:44
beach
Currently, in the indentation code, we must do some syntax checking, not for correctness, but in order to determine the nature of some sub-wad of a wad that represents a form with a standard operator. I am wondering whether we should start thinking about having the s-expression library do this work first, and only attempt to compute indentation of forms that are at least partially correct. Like for instance if a prefix is OK, then
10:01:03
beach
Take things like DEFUN or DEFMETHOD. Whether a body element is a declaration, a documentation string, or a form, is something the s-expression-syntax library could indicate, thereby making indentation easier.
10:51:46
splittist
I was wondering about the pretty printer, which is, in part, intended to handle indentation of lisp forms. It would be sad (but possibly inevitable) to have two systems doing the 'same' thing. Of course, the pretty printer is built on something less powerful than eclector etc.
10:54:12
beach
I suspect it is going to be one of those cases where we discover after the fact what could be factored.
10:54:42
beach
There is nothing wrong with that, of course, as long as we act upon the opportunities for code factoring.
10:55:37
beach
Time for a lunch break for me. I'll read up when I get back in case there are more remarks.
15:19:09
scymtym
i still think that using the s-expression-syntax library is a good idea in the long run. however, it may make sense to hack an intermediate solution for the meantime. not sure about LOOP in particular
15:21:05
beach
I agree. And I think the services we might need for things like indentation may suggest additions to or modifications of some aspects of the s-expression-syntax library. But I can't predict what those additions or modifications might be.
15:21:59
beach
But my gut feeling tells me that the s-expression-syntax library is going to be an essential part of any code-processing program.
15:27:27
beach
I am sure you (or some collaborator) can. It seems like one of those things that is useful from the start, but that can be improved over time.