You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
The norm defines functions that can be used with any parameter, or return any parameter type.
Describe the solution you'd like
The norm defines ANY, ANY_NUM, ANY_BIT, ANY... as types that the other types derive from,
I suggest we use these names as guidance but we introduce a generic representation for these functions
e.g. REF<T: ANY>(in: T)
Deriving from ANY_NUMBER will make sure the T is either integer or float and so on.
Function calls for generic functions will be converted to a typed call
For example : a function with the signature ADD<T: ANY_NUMBER>(in1: T, in2: T) : T will look for a function of signature ADD__INT(in1: INT, in2: INT) : INT if in1 and in2 are passed as INT
The double underscore in the name ensures that the function is not a normal user-defined function.
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
The norm defines functions that can be used with any parameter, or return any parameter type.
Describe the solution you'd like
The norm defines
ANY
,ANY_NUM
,ANY_BIT
,ANY...
as types that the other types derive from,I suggest we use these names as guidance but we introduce a generic representation for these functions
e.g.
REF<T: ANY>(in: T)
Deriving from
ANY_NUMBER
will make sure the T is either integer or float and so on.Function calls for generic functions will be converted to a typed call
For example : a function with the signature
ADD<T: ANY_NUMBER>(in1: T, in2: T) : T
will look for a function of signatureADD__INT(in1: INT, in2: INT) : INT
if in1 and in2 are passed asINT
The double underscore in the name ensures that the function is not a normal user-defined function.
The text was updated successfully, but these errors were encountered: