From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 26 Jan 93 01:57:37 GMT
From: emery@dr-no.MITRE.ORG (David Emery)
Subject: Re: Programs wanted
Message-ID: <EMERY.93Jan25205737@dr_no.mitre.org>
List-Id: <comp.lang.ada>

Consider 
  package P is
	type I1 is new integer;
	-- "+" now redefined for objects of type I1
	function "+" (l :I1; r : integer) return I1;
	function "+" (l: integer; r : I1)  return I1;
  end P;

  with P; use P;
  procedure Q is
    X, Y : I1 := 1;
    I, J : Integer := 2;
    MAGIC_NUMBER : constant := 42;
  begin
    X := X + I;
    X := X + 1;
    X := MAGIC_NUMBER + Y;
    Y := X + J;
    I := integer(X) + integer(Y);
  end Q;

How many unique operators are there in this code???  Almost any answer
to this question involves enough semantic analysis to resolve Ada
overloading.  That's a good-sized chunk of an Ada compiler.  

				dave