parentheses in comments should not affect indentation level of non-comment code

[coquser]

The second Require Import Eqdep. should not be indented so far. This is what happens when I highlight the four lines and press the TAB key.

(** printing ¬( %\ensuremath{\neg}(% #¬(# *)

Require Import Eqdep.
                                           Require Import Eqdep.

Here's a workaround:

(** printing ¬( %\ensuremath{\neg}(% #¬(# *)  (* ))) *)

Require Import Eqdep.
Require Import Eqdep.

[courtieu]

Fixed in cvs.

Nasty bug due to smie fallback to smie-backward-sexp when finding an unknown token, namely the token "", which happens when reaching the bof. smie-backward-sexp do behave badly in the case of ill-formed comments. I had to workaround this.

Should it be considered a bug of smie?

Cheers P.

[courtieu]

For the record: I fixed this bug in another better way by setting parse-sexp-ignore-commit to t. The previous workaround introduced another bug.