Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 1069


Synopsis:        find-file completion misbehavior with PVS 4.2 + Emacs 23
Severity:        serious
Priority:        medium
Responsible:     owre
State:           open
Class:           sw-bug
Arrival-Date:    Sat Oct 02 17:00:01 -0700 2010
Originator:      Erik Martin-Dorel
Release:         PVS 4.2
Organization:    ens-lyon.fr
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  With PVS 4.2 and Emacs 23.2, `new-pvs-file' [M-x nf] works well
  whereas the function `find-file' [C-x C-f] fails to create new files.
  
  More precisely, the completer misbehaves when I enter a *new* filename
  (i.e., that admits no completion): it says "(No match)" and stops.
  
  But if the filename admits some completions, it runs smoothly, e.g.:
  if "foo.txt" already exists, [C-x C-f foo RET] will successfully
  create "foo".
  
  I actually found a workaround: use M-RET instead of RET if and only if
  the filename does not admit completions.
  
  Note that I have manually recompiled the Elisp sources from emacs-src/
  for Emacs 23, but the bug is still reproducible.
  
  However I don't know if one should patch emacs-src/ilisp/completer.el
  or change the completion handling to adapt to Emacs 23, which provides
  minibuffer facilities (such as "(Confirm)" messages) on its own.
  
  Kind regards,
  
  Erik.
  
  My system info :
  ================
  
  Linux localhost 2.6.32-5-amd64 #1 SMP Fri Sep 17 21:50:19 UTC 2010 x86_64 GNU
 /Linux
  
  GNU Emacs 23.2.1 (x86_64-pc-linux-gnu, GTK+ Version 2.20.1) of 2010-08-15 on 
 barber, modified by Debian
  
  PVS Version 4.2 - Allegro CL Enterprise Edition 8.1 [Linux (x86)] (Jul 22, 20
 08 3:35) - Allegro CL Enterprise Edition 8.1 [Linux (x86)] (Jul 22, 2008 3:35)
  
  -- 
  √Črik Martin-Dorel
  PhD student, ENS de Lyon, LIP
  http://perso.ens-lyon.fr/erik.martin-dorel/

How-To-Repeat: 

Fix: 

Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools