--* From BMT%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Thu May 12 08:23:07 1994
--* Received: from yktvmv.watson.ibm.com by asharp.watson.ibm.com (AIX 3.2/UCB 5.64/930311)
--*           id AA26823; Thu, 12 May 1994 08:23:07 -0400
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 5723; Thu, 12 May 94 08:23:08 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.3863.May.12.08:23:08.-0400>
--*           for asbugs@watson; Thu, 12 May 94 08:23:08 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 3859; Thu, 12 May 1994 08:23:08 EDT
--* Received: from spadserv.watson.ibm.com by yktvmv.watson.ibm.com
--*    (IBM VM SMTP V2R3) with TCP; Thu, 12 May 94 08:23:08 EDT
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA16350; Thu, 12 May 1994 08:25:20 -0400
--* Date: Thu, 12 May 1994 08:25:20 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9405121225.AA16350@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: [8] dos compiler blows up [dosbug.as][0.35.0 for dos]

--@ Fixed  by:  PI   Wed May 18 18:35:50 EDT 1994 
--@ Tested by:  none 
--@ Summary:    internal bug. I'll updates the server in the next days. 


#include "aslib.as"
#library libasdem "asdem"
import from libasdem

foo(R:Ring, Rep: PolynomialCategory(R,NonNegativeInteger)): with
   f: Integer -> Integer
 == add
   m:Rep := monomial(1,1)$Rep
   d:NonNegativeInteger := degree(m)$Rep
   f(m:Integer):Integer ==
      free d
      d:=m
      m