Fwd: Re: [clean-list] Serious bug in the type system

[Cristian Baboi]

The Start does not compile

module t
import StdEnv

ohoh :: *{#Char} -> ( {#Char}, {#Char} )

ohoh arr 	
	#! arr1=arr
	#! arr2=(update arr 0 'a')
	=(arr1, arr2)

Start = (b,c)
		where
			x=ohoh "xyz"
			(a,b)=:x
			c=update a 0 'x'



________ Information from NOD32 ________
This message was checked by NOD32 Antivirus System for Linux Mail Servers.
  part000.txt - is OK
http://www.eset.com