PR# 15071 Catcalls detected at runtime where the type of the formal and that of the actual match.

Problem Report Summary
Submitter: maverick
Category: Runtime
Priority: High
Date: 2008/11/26
Class: Bug
Severity: Critical
Number: 15071
Release: 6.3.7.5863 GPL Edition - windows
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.0.4) Gecko/2008102920 Firefox/3.0.4
Synopsis: Catcalls detected at runtime where the type of the formal and that of the actual match.

Description
Running the provided system, I run into a catcall because I have turned "types_attached_by_default" on and I don't specify that the tuple type of the agent is detacheable (which I do not which it to be).
To Reproduce
Compile and run the provided system.  You should get the following warning printed on the console:
Catcall detected in {APPLICATION}.p for arg#1: expected FUNCTION [!ANY, !TUPLE [!STRING_8], BOOLEAN] but got PREDICATE [!APPLICATION, TUPLE [!STRING_8]]
Problem Report Interactions
From:maverick    Date:2008/11/26    Download   
Attachments for problem report #15071

Attachment: application.e     Size:440
Attachment: project.ecf     Size:1163