--* From IGLIO%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Tue Apr 26 16:21:25 1994
--* Received: from yktvmv-3172.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA11527; Tue, 26 Apr 1994 16:21:25 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 9229; Tue, 26 Apr 94 16:20:56 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.IGLIO.NOTE.VAGENT2.7567.Apr.26.16:20:56.-0400>
--*           for asbugs@watson; Tue, 26 Apr 94 16:20:56 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 7561; Tue, 26 Apr 1994 16:20:56 EDT
--* Received: from galois.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Tue, 26 Apr 94 16:20:55 EDT
--* Received: by galois.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA20740; Tue, 26 Apr 1994 16:20:49 -0400
--* Date: Tue, 26 Apr 1994 16:20:49 -0400
--* From: iglio@galois.watson.ibm.com
--* Message-Id: <9404262020.AA20740@galois.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [3] bad type checking in 'for' cause runtime crash [canc2.as][v34-7]

--@ Fixed  by:  SSD   Wed Jun 29 09:32:43 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Corrected type inference of 'for' statements 


-- asharp -r -Wcheck canc2.as
-- seg. fault on rs6000, no output on linux

#include "aslib"

I==>Integer
SI==>SingleInteger

import from SI
import from I

for i:I in 1..10 repeat print(i)