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

PVS Bug 749


Synopsis:        cursor does not point to the location the error (V)
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           analyzed
Class:           sw-bug
Arrival-Date:    Fri Mar 14 11:10:00 2003
Originator:      Hendrik Tews
Organization:    tcs.inf.tu-dresden.de
Release:         PVS 3.0
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  when you typecheck
  
      A : Theory
      Begin
        t : Type = bool
      End A
  
      B : Theory
      Begin
        C : Theory = A{{ t := bool}}
      End B
  
  the cursor stays where it was, instead of jumping to t in the
  mapping.
  
  This is the fifth cursor-at-wrong-location bug that I am
  reporting. It would be nice if this issue could be solved once
  and for all.
  
  Bye,
  
  Hendrik

How-To-Repeat: 

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