e504 The expression has type '::integer', which is incompatible with the type 'listViewControl::itemID'
How can I work around this error for 64bit compilation?
Code: Select all
class predicates
sssToItemList : (string_list_list, positive StartingIndex) -> listViewControl::item_list.
% Convert a string_list_list to an item_list incrementing from Starting Index.
clauses
sssToItemList(SSS, StartingIndex) = ItemList :-
CurrX = varM::new(StartingIndex),
ItemList =
[ Item ||
SS in SSS,
ItemID = uncheckedConvert(listViewControl::itemID, CurrX:value), % <== e504 error here on 64bit compilation
Item = ssToItem(SS, ItemID),
CurrX:value := CurrX:value + 1
].
class predicates
ssToItem : (string_list, itemId Index) -> listViewControl::item determ.
clauses
ssToItem([H | TT], Index) = Item :-
Item = listViewControl::item(Index, H, -1, [], TT).