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

[Cristian Baboi]

module t
import StdEnv

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

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



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

But the above does compile and returns ("ayz","xyz")

		
------- Forwarded message -------
From: "Cristian Baboi" <cristi at ot.onrc.ro>
To: "clean-list at science.ru.nl" <clean-list at science.ru.nl>
Cc:
Subject: Fwd: Re: [clean-list] Serious bug in the type system
Date: Mon, 17 Dec 2007 09:24:16 +0200

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