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

PVS Bug 714


Synopsis:        Error: No methods applicable for generic function
Severity:        serious
Priority:        medium
Responsible:     owre
State:           analyzed
Class:           sw-bug
Arrival-Date:    Mon Sep  9 11:15:01 2002
Originator:      Hendrik Tews
Organization:    tcs.inf.tu-dresden.de
Release:         PVS 2.4
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  when I type check
  
      A : Theory
      Begin
        a : bool = cases up(4) of
  	bot : true,
  	up(x) : false
        endcases
      End A
  
  in 2.4.1 I get 
  
     Error: No methods applicable for generic function
  
  Bye,
  
  Hendrik

How-To-Repeat: 

Fix: 
Added a check to produce an error if the constructor is not found.
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools