Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utcs!mnetor!seismo!cmcl2!philabs!pwa-b!mmintl!franka
From: franka@mmintl.UUCP
Newsgroups: net.lang
Subject: Re: Proc types
Message-ID: <1656@mmintl.UUCP>
Date: Tue, 15-Jul-86 14:12:27 EDT
Article-I.D.: mmintl.1656
Posted: Tue Jul 15 14:12:27 1986
Date-Received: Thu, 17-Jul-86 06:49:53 EDT
References: <800016@ccvaxa>
Reply-To: franka@mmintl.UUCP (Frank Adams)
Organization: Multimate International, E. Hartford, CT
Lines: 17

In article <800016@ccvaxa> aglew@ccvaxa.UUCP writes:
>    PROCEDURE func1(int a) RETURNS int SATISFIES constraint;
>
>
>In many ways this is like the problem of specifying non-contiguous 
>subsets of the integers as types.

Ideally, this would be integrated with the optimization processing of the
compiler.  E.g., if I write:

PROCEDURE f(int a, int b) RETURNS int SATISFIES f(a,f(b,c))=f(f(a,b),c);

then the compiler would feel free to reorganize f(a,f(b,c)) encountered
in the program.

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108