From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,834610f4f567e94b
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.89.162 with SMTP id bp2mr3126715pab.4.1346727216017;
        Mon, 03 Sep 2012 19:53:36 -0700 (PDT)
Received: by 10.68.125.201 with SMTP id ms9mr535033pbb.20.1346727215963; Mon,
 03 Sep 2012 19:53:35 -0700 (PDT)
Path: 
 t10ni19137469pbh.0!nntp.google.com!4no5772635pbn.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 3 Sep 2012 19:53:35 -0700 (PDT)
In-Reply-To: <5045278b$0$6576$9b4e6d93@newsspool3.arcor-online.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=69.20.190.126;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 69.20.190.126
References: <5045278b$0$6576$9b4e6d93@newsspool3.arcor-online.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <269901b0-6570-4d7a-bcd4-19d590383515@googlegroups.com>
Subject: Re: Hi-Lite high integrity showcase and overflow errors
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 04 Sep 2012 02:53:35 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-09-03T19:53:35-07:00
List-Id: <comp.lang.ada>

	function Mult (X , Y : My_Int) return My_Int is
	begin
	    Return Result : My_Int:= X*Y;

	    -- When the constraint is exceeded we return the last value.
	    exception
		when Constraint_Error =>
		    Return My_Int'Last;
	end Mult;

There you are; that'll work as intended.