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

PVS Bug 949


Synopsis:        show-expanded-form + no region
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Tue Jan 31 16:30:00 2006
Originator:      Jerry James
Organization:    usu.edu
Release:         PVS 3.3 release candidate
Environment: 
 System:          
 Architecture: 

Description: 
  
  --=-Zp/x3FPBy7gxyVBHQV31
  Content-Type: text/plain
  Content-Transfer-Encoding: quoted-printable
  
  This is more of a feature request than a bug report.  With the PVS 3.3
  release candidate, when my fumble fingers managed to invoke
  show-expanded-form with no region selected, PVS said:
  
    Error: the assertion (vectorp place) failed.
  
  and when I said "Of course!" and selected 'I' to ignore, Emacs 21.4
  (Fedora Core 4 RPM is emacs-21.4-5) said:
  
    call-interactively: Wrong type argument: listp, Error:
  
  It would be nice if PVS would fail more gracefully in this case.
  
  Regards,
  --=20
  Jerry James, Assistant Professor    Email: Jerry.James@usu.edu
  Computer Science Dept.              Web: http://www.cs.usu.edu/~jerry/
  Utah State University
  
  --=-Zp/x3FPBy7gxyVBHQV31
  Content-Type: application/pgp-signature; name=signature.asc
  Content-Description: This is a digitally signed message part
  
  -----BEGIN PGP SIGNATURE-----
  Version: GnuPG v1.4.1 (GNU/Linux)
  
  iD8DBQBD4ABHdXqtoXjUyRoRAukvAJ9jWNMkM7hheCrsuC0hUQjwosq1bQCeILKG
  26rJYzf1YhWnbAV7Nm7RoeE=
  =A7U8
  -----END PGP SIGNATURE-----
  
  --=-Zp/x3FPBy7gxyVBHQV31--

How-To-Repeat: 

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