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

PVS Bug 798


Synopsis:        show-expanded-form fails
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Mon Aug  4 10:40:00 2003
Originator:      Hendrik Tews
Organization:    tcs.inf.tu-dresden.de
Release:         PVS 3.1
Environment: 
 System:          
 Architecture: 

Description: 
  
  --RUM2zyvDvM
  Content-Type: text/plain; charset=us-ascii
  Content-Description: message body text
  Content-Transfer-Encoding: 7bit
  
  Hi,
  
  nothing happens when I run M-x show-expanded in the attached file
  with the reagion around "f" after typechecking.
  
  Bye,
  
  Hendrik
  
  
  --RUM2zyvDvM
  Content-Type: application/octet-stream
  Content-Disposition: attachment;
  	filename="show-expanded-form.pvs"
  Content-Transfer-Encoding: base64
  
  ClN0YXRlIDogVGhlb3J5CkJlZ2luCiAgc3RhdGUgOiBUeXBlCkVuZCBTdGF0ZSAgCgpBW0EgOiBU
  eXBlXSA6IFRoZW9yeQpCZWdpbgogIElNUE9SVElORyBTdGF0ZQoKICBTVCA6IFR5cGUgPSBbc3Rh
  dGUgLT4gdW5pb25bc3RhdGUsIEFdXQoKRW5kIEEKCk9IYXNoW0EsIEIgOiBUeXBlXSA6IFRoZW9y
  eQpCZWdpbgogIElNUE9SVElORyBBCgogICMjIDogW1NUW0FdLCBTVFtCXSAtPiBTVFtCXV0KCkVu
  ZCBPSGFzaAoKQyA6IFRoZW9yeQpCZWdpbgogIElNUE9SVElORyBPSGFzaAoKICBhIDogU1RbbmF0
  XQogIGIgOiBTVFtib29sXQoKICBmIDogU1RbYm9vbF0gPSBhICMjIGIKCkVuZCBDIAo=
  --RUM2zyvDvM--

How-To-Repeat: 

Fix: 
Fixed show-expanded-form to complain if not typechecked, and fixed problem
with call to find-decl-before-pos
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools