Hello Thomas,
on attached example the compiler throws "The expression has type 'arrayP::repDomain', which is incompatible with the type 'arrayP::repDomain{@ItemType}'". Is it a bug?
-
Martin Meyer
- VIP Member
- Posts: 358
- Joined: 14 Nov 2002 0:01
Incompatible types
You do not have the required permissions to view the files attached to this post.
Regards Martin
-
Thomas Linder Puls
- VIP Member
- Posts: 1479
- Joined: 28 Feb 2000 0:01
Re: Incompatible types
It is a bug. Actually, this bug turns up over and over in different contexts, but I guess that it will eventually be solved for all contexts.
The usual work-around also helps in this case. Redefine your domains like this:
And change all other occurrences of repDomain to repDomain{@ItemType}.
The usual work-around also helps in this case. Redefine your domains like this:
Code: Select all
domains
repDomain{T} = repDomain(arrayM{T} ArM, recoverableState State).Regards Thomas Linder Puls
PDC
PDC