--* From postmaster%watson.vnet.ibm.com@yktvmv.watson.ibm.com  Mon Feb 21 05:26:37 1994
--* Received: from yktvmv.watson.ibm.com by leonardo.watson.ibm.com (AIX 3.2/UCB 5.64/4.03)
--*           id AA11747; Mon, 21 Feb 1994 05:26:37 -0500
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 8095; Mon, 21 Feb 94 05:40:17 EST
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BRONSTEI.NOTE.YKTVMV.3863.Feb.21.05:40:16.-0500>
--*           for asbugs@watson; Mon, 21 Feb 94 05:40:17 -0500
--* Received: from neptune.ethz.ch by watson.ibm.com (IBM VM SMTP V2R3) with TCP;
--*    Mon, 21 Feb 94 05:40:16 EST
--* Received: from rutishauser.inf.ethz.ch (rutishauser-gw.inf.ethz.ch [129.132.101.41]) by neptune.ethz.ch (8.6.5/8.6.5) with SMTP id LAA26102 for <asbugs@watson.ibm.com>; Mon, 21 Feb 1994 11:40:14 +0100
--* From: Manuel Bronstein <bronstei@inf.ethz.ch>
--* Date: Mon, 21 Feb 94 11:40:12 +0100
--* Message-Id: <9402211040.AA18921@rutishauser.inf.ethz.ch>
--* Received: from vinci.inf.ethz.ch.rutishauser by rutishauser.inf.ethz.ch id AA18921; Mon, 21 Feb 94 11:40:12 +0100
--* To: asbugs@watson.ibm.com
--* Subject: [9] unclear error message from the compiler [bugconstr.as][33.2]

--@ Fixed  by:  SSD   Wed Jun 15 15:18:15 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Now inferring the type of constant definitions; error message no longer generated. 
-- PI: The reporter is trying to define a global without type declaration.
-- The error msg could be improved, but I'm not sure about the semantic of the
-- last line.

------------------------------ bugconstr.as ----------------------------
-- peano [/u/manuel/a#] 41> asharp bugconstr.as
-- Bug: 1 constraints not checked

#include "aslib.as"

import from String

foo(x:String):String == x

a == foo "\alpha"