I've added some type checking support for sprintf() arguments:
New type checker:
sprintf("%s%i%f\n", 17, "", 14.0);
Compiler Error: 1:Error in format string, i is not a format. Compiler Error: 1:Bad argument 2 to sprintf. Compiler Error: 1:Expected: object | string Compiler Error: 1:Got : int(17..17) Compiler Error: 1:Bad argument 3 to sprintf. Compiler Error: 1:Expected: object | float Compiler Error: 1:Got : string(0) Compiler Error: 1:Too many arguments to sprintf (expected 3 arguments). Compiler Error: 1:Got : float
Old type checker:
sprintf("%s%i%f\n", 17, "", 14.0);
Compiler Error: 1:Error in format string, i is not a format. Compiler Error: 1:Too many arguments to sprintf. Compiler Error: 1:Expected: function(string(8), object | string, object | float : string) Compiler Error: 1:Got : function(string(8), int(17..17), string(0), float : void | mixed)
I've now also modified the soft cast operator to do more what people expect. It's almost working for map():
typeof(map);
(1) Result: function(array((1=mixed)), function(1, (0=zero) ... : (2=void | mixed)), 0 ... : array(2)) | !function(!array((1=mixed)), function, !zero ... : mixed) & (function(array((1=mixed)), program, mixed ... : array(object)) | function(array((1=mixed)), object, mixed ... : array)) | function(array((1=mixed)), multiset, mixed ... : array(int(0..1))) | function(array((1=mixed)), mapping(mixed:(2=mixed)), mixed ... : array(int(0..0) | 2)) | function(array((1=mixed)), array, mixed ... : array(array)) | function(array((1=mixed)), int(0..0), mixed ... : array) | function(array((1=mixed)) : array) | function(mapping((3=mixed):(1=mixed)), function(1, (0=zero) ... : (2=void | mixed)), 0 ... : mapping(3:2)) | !function(!mapping((3=mixed):(1=mixed)), function, !zero ... : mixed) & (function(mapping((3=mixed):(1=mixed)), program, mixed ... : mapping(3:object)) | function(mapping((3=mixed):(1=mixed)), object, mixed ... : mapping(3:mixed))) | function(mapping((3=mixed):(1=mixed)), mult iset, mixed ... : mapping(3:int(0..1))) | function(mapping((3=mixed):(1=mixed)), mapping(mixed:(2=mixed)), mixed ... : mapping(3:int(0..0) | 2)) | function(mapping((3=mixed):(1=mixed)), array, mixed ... : mapping(3:array)) | function(mapping((3=mixed):(1=mixed)), int(0..0), mixed ... : mapping(3:mixed)) | function(mapping((3=mixed):(1=mixed)) : mapping(3:mixed)) | function(multiset((1=mixed)), function(1, (0=zero) ... : (2=void | mixed)), 0 ... : multiset(2)) | !function(!multiset((1=mixed)), function, !zero ... : mixed) & (function(multiset((1=mixed)), program, mixed ... : multiset(object)) | function(multiset((1=mixed)), object, mixed ... : multiset)) | function(multiset((1=mixed)), multiset, mixed ... : multiset(int(0..1))) | function(multiset((1=mixed)), mapping(mixed:(2=mixed)), mixed ... : multiset(int(0..0) | 2)) | function(multiset((1=mixed)), array, mixed ... : multiset(array)) | function(multiset((1=mixed)), int(0..0), mixed ... : multiset) | function(multiset((1=m ixed)) : multiset) | function(program | function, function(mixed, (0=zero) ... : (2=void | mixed)), 0 ... : mapping(string:2)) | !function(!(program | function), function, !zero ... : mixed) & (function(program | function, program, mixed ... : mapping(string:object)) | function(program | function, object, mixed ... : mapping(string:mixed))) | function(program | function, multiset, mixed ... : mapping(string:int(0..1))) | function(program | function, mapping(mixed:(2=mixed)), mixed ... : mapping(string:int(0..0) | 2)) | function(program | function, array, mixed ... : mapping(string:array)) | function(program | function, int(0..0), mixed ... : mapping(string:mixed)) | function(program | function : mapping(string:mixed)) | function(string, function(int, mixed ... : int), mixed ... : string) | function(string, function(int, mixed ... : int), mixed ... : string) | function(string, multiset, mixed ... : string) | function(string, mapping(mixed:int), mixed ... : string) | function( array(mapping | object | function | program | multiset), string, mixed ... : array) | function(mapping((3=mixed):mapping | object | function | program | multiset), string, mixed ... : mapping(3:mixed)) | function(multiset(mapping | object | function | program | multiset), string, mixed ... : multiset) | function(program | function, string, mixed ... : mapping) | function(object, mixed ... : mixed)
constant zero = typeof(0); typeof([function(array,zero...:mixed)]map);
(2) Result: function(array, string, mixed ... : array) | void | function(array, multiset, mixed ... : array(int(0..1))) | function(array, array, mixed ... : array(array)) | function(array, zero ... : array) | function(array, int(0..0), mixed ... : array) | function(array, mapping(mixed:(2=mixed)), mixed ... : array(int(0..0) | 2)) | function(array, function(1, (0=zero) ... : (2=void | mixed)), 0 ... : array(2))
pike-devel@lists.lysator.liu.se
-
Henrik Grubbstr�m (Lysator) ＠ Pike (-) developers forum -
Johan Sundstr�m (Achtung Liebe!) ＠ Pike (-) developers forum