search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

indentation anomaly #63

Open rexpage opened 11 years ago

rexpage commented 11 years ago

Proof Pad (Release 3, code 84881) has an unexpected indentation with the following entry: (defun g (m n) ..(declare (xargs :measure (+ m n))) ..(if (and (posp m)(posp n)) ......(if (> m n) .........(g (- m n) n) .........(if (< m n) ............(g m (- n m)) ............m)) ............X <-- cursor lines up with m

The dots stand for spaces. Couldn't get it indent.

calebegg commented 11 years ago

Here's a reduced test case:

(a (b
    c)
    d) ; Should be back one space

(a (b
    (c))
   d) ; Correct