Discussions related to Visual Prolog
Martin Meyer
VIP Member
Posts: 329
Joined: 14 Nov 2002 0:01

Incompatible types

Unread post by Martin Meyer »

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?
arrayP_Example (with error).zip
(18.34 KiB) Downloaded 625 times
Regards Martin
User avatar
Thomas Linder Puls
VIP Member
Posts: 1399
Joined: 28 Feb 2000 0:01

Re: Incompatible types

Unread post by Thomas Linder Puls »

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:

Code: Select all

domains     repDomain{T} = repDomain(arrayM{T} ArM, recoverableState State).
And change all other occurrences of repDomain to repDomain{@ItemType}.
Regards Thomas Linder Puls
Post Reply