[clean-list] Derived type invalid?

[clean-list.mail.zooloo at xoxy.net]

Hi all,


when I give zeroes2 a type as follows:

zeroes1 :: .{#a} | zero a & Array {#} a
zeroes1 = {zero \\ i<-[0..w_1]}

zeroes2 :: u:{#v:(a b)} | zero b & Array {#} (a b) & Array a b, [u <= v]
zeroes2 = {zeroes1 \\ i<-[0..h_1]}


Clean 2.1.1 complains:
Type error [...,zeroes2]: derived type u:{#v:{#a}} | zero a & Array {#} {#a}
& Array {#} a, [u <= v] conflicts with specified type u:{#v:(a b)} | zero b
& Array {#} (a b) & Array a b, [u <= v]



However, using the derived type, i. e.
zeroes2 :: u:{#v:{#a}} | zero a & Array {#} {#a} & Array {#} a, [u <= v]


results in
Error [...,zeroes2]: ArrayM:16 type context should contain one or more type
variables



The same problem I have encountered when trying to specify class instances
on deeply unboxed arrays of depth bigger than one.

Am I missing something, or is this a bug?


Regards,

zooloo



-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.362 / Virus Database: 267.13.7/182 - Release Date: 24.11.2005

-------------- next part --------------
Spam detection software, running on the system "pandora.cs.kun.nl", has
identified this incoming email as possible spam.  The original message
has been attached to this so you can view it (if it isn't spam) or label
similar future email.  If you have any questions, see
postmaster at science.ru.nl for details.

Content preview:  Hi all, when I give zeroes2 a type as follows: zeroes1
  :: .{#a} | zero a & Array {#} a zeroes1 = {zero \\ i<-[0..w_1]} [...] 

Content analysis details:   (5.7 points, 5.0 required)

 pts rule name              description
---- ---------------------- --------------------------------------------------
 0.3 NO_REAL_NAME           From: does not include a real name
 1.6 BAYES_50               BODY: Bayesian spam probability is 40 to 60%
                            [score: 0.4991]
 3.8 FORGED_MUA_OUTLOOK     Forged mail pretending to be from MS Outlook