discuss.visual-prolog.com

Posted: **22 Sep 2014 12:51**

The different integer-like subtypes in calling and called procedure result error message.

domains
sci_style = unsigned8
predicates
deleteStyleByNum:(sci_style Number) determ.
%------------------------------------
predicates
    oneDeleteClick : button::clickResponder.
clauses
    oneDeleteClick(_Source) = button::defaultAction :-
        Num=number_int:getInteger(),
        def_style:deleteStyleByNum(Num).

The expression has type '::integer', which is incompatible with the type 'sciLexer_native::sci_style' Reporter.pro Enhanced_Report\

The simplest correction: Add zero to the integer variable in the calling statement.

Code: Select all

def_style:deleteStyleByNum(Num+0),

Posted: **22 Sep 2014 13:16**

I think this is a bad idea: The code lookes like a sum (even a silly sum), but it in fact a type conversion.

I think it is better to write code that reflects what it does (even if it is not written in the shortest possible way):

Code: Select all

clauses
    oneDeleteClick(_Source) = button::defaultAction :-
        Style = convert(sci_style, number_int:getInteger()),
        def_style:deleteStyleByNum(Style).

discuss.visual-prolog.com

Add '+0' is the shortest conversion among integer-like domains.

Add '+0' is the shortest conversion among integer-like domains.