Opened 13 years ago

Closed 13 years ago

#420 closed defect (fixed)

Another Emacs indentation freeze

Reported by: coquser Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.1
Component: 2:pg-emacs Keywords:
Cc:

Description

If you have the below code, then place the caret at the end of the "Case" line and press Ctrl+J (or Enter, TAB), Emacs will spin up and use 100% of the CPU. This is on 4.1-RC4. 

Theorem rev_snoc : forall X : Type, 
                     forall v : X,
                     forall s : list X,
  rev (snoc s v) = v :: (rev s).
Proof.
  simpl.
  intros X v s.
  induction s as [|s'].
  Case "s=nil".

  reflexivity.
  Qed.

Change History (1)

comment:1 Changed 13 years ago by courtieu

Resolution: → fixed
Status: new → closed

Thank you for posting this bug report. This is fixed in cvs.

Note: See TracTickets for help on using tickets.