Re: Programs wanted

[emery@dr-no.MITRE.ORG (David Emery)]

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