Commit Graph

826 Commits (76c67952e6052cd5f0a846eec7d80f88fee71cc5)

Author SHA1 Message Date
yuyi 8136157f87
checker: fix error for 'or expr with nested match expr' (#13658) 2022-03-05 13:06:08 +02:00
yuyi f70e5bd69b
parser: check assign expr with undefined variable (#13653) 2022-03-04 10:33:14 +02:00
yuyi a98eebde7f
checker: add a notice for potentially incorrect smartcasts (#13644) 2022-03-03 16:36:40 +02:00
yuyi 013589e9fe
parser: minor cleanup in global_decl() (#13617) 2022-02-28 13:30:17 +02:00
yuyi d30ad344e8
checker: check error for array of sumtype appendding (#13593) 2022-02-24 11:07:03 +02:00
yuyi c3ec738126
checker: check struct field reference type mismatch (#13575) 2022-02-23 11:53:22 +03:00
Larpon 1032cf5c04
checker: only cast as ast.Var if not unresolved, fixes #13561 (#13562) 2022-02-22 15:23:15 +02:00
yuyi 0208e9672d
checker: check array sort_with_compare callback function parameters (#13511) 2022-02-19 10:06:36 +02:00
yuyi 842fd7a27e
parser: check assign expr with undefined variables of struct_init (#13495) 2022-02-17 10:21:03 +03:00
Delyan Angelov 89b99ad4c3
scanner: remove the restriction for \x00 in strings (#13493) 2022-02-16 23:41:05 +02:00
yuyi f8b8950b96
checker: check mut interface arguments (#13479) 2022-02-16 11:53:41 +02:00
yuyi b2f984280b
checker: strengthen the judgment of generic type parameters replacement, merge generic type init tests (#13460) 2022-02-14 02:38:47 +02:00
yuyi 7178367de0
all: fix error for comptime for in field with generic fn (fix #13409) (#13439) 2022-02-11 22:00:13 +02:00
yuyi a21f4563b3
checker: check the arity and the kinds of the type parameters in generic struct inits (#13429) 2022-02-11 11:21:07 +02:00
Delyan Angelov 9ed18efa53
checker: error on redefining any of the public builtin functions, not just ['print', 'println', 'eprint', 'eprintln', 'isnil', 'panic', 'exit'] (#13419) 2022-02-10 12:26:30 +02:00
yuyi 4be3c92640
checker: check generic struct init without type parameter (#13404) 2022-02-09 14:06:45 +02:00
Vincenzo Palazzo d46ac40758
checker: add error for assigning `none` values (#13383) 2022-02-06 16:08:23 +02:00
div72 cec7e91714
v.parser, v.checker, v.gen: add support for [translated] tag (#13373) 2022-02-06 00:16:02 +02:00
yuyi 173b4652fb
parser: check orm sql statements, using undefined variables in where expr (fix #13367) (#13368) 2022-02-05 11:32:41 +02:00
Vincenzo Palazzo b9fce4ef09
checker: make sure that the operator check is made on the concrete type (#13360) 2022-02-05 00:11:24 +02:00
Delyan Angelov 85d36ed231
checker: stricter type casting error messages 2022-02-03 14:18:30 +02:00
Delyan Angelov 71d98717dc
checker: small cleanup of commit edc6c9e 2022-01-28 11:03:15 +02:00
Yamada Hayao edc6c9e24f
checker: show error instead of panic, when using a `somemodule.NonExistingEnum.enum_value` (#13295) 2022-01-28 11:02:51 +02:00
Delyan Angelov f8f7bc8ead
ci: fix deprecated_module.out file too 2022-01-27 13:16:25 +02:00
Delyan Angelov ebad7301f9
ci: fix failing deprecated_module test on windows 2022-01-27 13:15:34 +02:00
Delyan Angelov e1a2ab345d
parser,ast,checker: add support for `[deprecated: "use another module"] module obsolete` 2022-01-27 12:34:14 +02:00
yuyi ca1f675dba
ast, checker, cgen: implement if guard with multi return optional (#13273) 2022-01-25 14:36:33 +02:00
skurgs 7fd08eca96
checker: fix c error on improper string to rune cast (#13197) (#13257) 2022-01-24 12:13:22 +02:00
yuyi edbb39b81d
checker: correct error message of struct_decl() (#13240) 2022-01-21 12:10:09 +02:00
yuyi 09797e493e
checker: check generics undefined operation of infix expression (#13223) 2022-01-20 08:57:25 +02:00
jeffmikels 7a2705d8ce
scanner: multibyte rune literals now support unicode, hex, and octal escape codes (#13140) 2022-01-19 03:23:25 +03:00
yuyi 39f80840d7
checker: check type mismatch in args of generics method calls (fix #13193) (#13196) 2022-01-17 16:48:59 +02:00
trueFireblade 9fd65b5b18
checker: fix unrecognised empty argument names in anon fn's (#13176) 2022-01-15 08:23:30 +02:00
jeffmikels 4189b7e280
builtin: add a `byterune` method on `[]byte` (#13145) 2022-01-13 22:26:17 +02:00
jeffmikels ab642cac43
scanner, cgen: improve support for escape codes in backticks/runes (#13127) 2022-01-11 22:36:18 +02:00
yuyi 791972ebc9
checker: check error for match conditions with parenthesis (#13130) 2022-01-11 09:50:20 +02:00
yuyi 4ce6e663bf
cgen: check error for comptime call method argument (#13115) 2022-01-10 12:03:50 +02:00
yuyi 0ac450927c
checker: check array init with a void type value (#13106) 2022-01-09 16:53:37 +02:00
yuyi 86ba4517b1
parser: check error of anon fn argument type (#13103) 2022-01-09 16:15:34 +02:00
Delyan Angelov 57fa9768d5
checker: update error message for `if 'a' in 'abcd' {` 2022-01-05 12:21:17 +02:00
Delyan Angelov 89ac2a37c5
checker: add error for `for x in t {`, where `t.next()` returns multiple values
(Fix #9459).
2022-01-05 00:46:44 +02:00
Delyan Angelov b3930c3d6a
checker: add error for .map() calling a fn with multiple return values (prevent inaccessible tuple leak) 2022-01-04 23:10:58 +02:00
Delyan Angelov 41e763f79c
checker: add error for `type StructAlias = Struct struct Struct { field StructAlias }` 2022-01-02 15:54:40 +02:00
yuyi 7622ff3f54
checker: check using const var as function (#13006) 2022-01-01 09:15:43 +02:00
yuyi 6438512529
checker: add error for `for mut var in string {` (fix #12998) (#13000) 2021-12-31 09:54:06 +02:00
Delyan Angelov b10ff1e41b
checker: infer generic interface type in `i := Interface(Struct<u32>{})` 2021-12-30 21:24:52 +02:00
Delyan Angelov ae036b6146
checker: fix infinite recursion on generic interface cast 2021-12-30 19:28:42 +02:00
yuyi cc577e1bfb
parser: check variable redefinition error (#12992) 2021-12-29 13:44:08 +02:00
yuyi c1711b8f05
checker: check string cast to number (fix #12982) (#12983) 2021-12-28 07:55:39 +02:00
pancake 04be2465dc
cgen: check call argument on methods (#12965) 2021-12-26 11:53:56 +02:00
yuyi 8764a3a973
checker: check errors of cast to byte (#12961) 2021-12-25 11:34:15 +02:00
yuyi a83786d867
checker: minor cleanup in cast_expr() (#12954) 2021-12-24 11:38:27 +02:00
Delyan Angelov db1175e455
parser: handle `[noreturn]` on methods too 2021-12-22 19:58:37 +02:00
yuyi cd0b581445
ast: rename 'table.get_type_symbol()' to 'table.sym()' and more related calls (#12898) 2021-12-19 18:25:18 +02:00
spaceface 65f12f3217
checker: fix invalid cast warning for flag enums (#12848) 2021-12-15 16:58:25 +02:00
yuyi 36fbd3c4fa
checker: check sumtype as mismatched type (#12743) 2021-12-07 01:31:47 +03:00
Leo Developer ace63594bf
all: support `$embed_file('embed.vv', .zlib)` (#12654) 2021-12-04 19:43:19 +02:00
Alexander Medvednikov be5446bfa4 checker: update enum test 2021-12-03 09:07:33 +03:00
Alexander Medvednikov 209747d03e checker: update enum test 2021-12-03 08:43:03 +03:00
Delyan Angelov f5d283721e
checker: add more `string(x)` checks, with more detailed replacement suggestions 2021-12-01 11:28:00 +02:00
Delyan Angelov 47aa2b1f93
all: fix casting of `string(MyString('abc'))` and `byte(MyByte(123))`; improve TypeSymbol handling (#12617) 2021-12-01 09:50:53 +02:00
pancake 8ac7739db8
parser: forbid empty match statements 'match cond.op {else {}}' (#12618) 2021-11-30 09:32:48 +02:00
Delyan Angelov 6d97b0a407
checker: improve checking of a << b, when a and b are numbers (#12589) 2021-11-29 03:48:49 +03:00
Leo Developer 9c88317ca6
checker: add a warning if start value is higher than end value (#12602) 2021-11-28 18:46:52 +02:00
Delyan Angelov deaeffc4db
checker: add a check for unused `x << y` expressions (where x != array) (#12586) 2021-11-27 07:38:35 +02:00
yuyi fbe2b5cb58
checker: check argument type error of the generics fn declaration (#12539) 2021-11-22 22:39:20 +02:00
yuyi f37eb6a932
checker: check invalid fn parameter name (#12540) 2021-11-22 16:51:58 +02:00
Delyan Angelov fa995ca537
checker: add an error for `x.method({})` calls, when method expects a struct 2021-11-19 13:30:45 +02:00
zakuro 26fbf1885d
checker: report error for test functions that have parameters (#12500) 2021-11-18 08:33:28 +03:00
yuyi 1370516f53
checker: check struct field using 'any' type (#12489) 2021-11-17 11:42:05 +02:00
yuyi 2984751a57
checker: fix the argument mismatch of fn call (#12479) 2021-11-16 17:19:02 +02:00
yuyi 9565adf597
checker: check invalid map variable name (#12474) 2021-11-16 08:42:49 +02:00
yuyi 460f4523aa
checker: check array pop immutable (#12458) 2021-11-14 21:00:22 +02:00
yuyi 73e25ccb3c
checker: check generic struct field fn args type mismatch (#12379) 2021-11-04 10:18:36 +02:00
yuyi 4bafc5042b
checker: check generic struct field fn args error (#12373) 2021-11-03 10:20:39 +02:00
Lucas Jenß 51f5841b6e
checker: do not deref non-pointer types in `fn_signature_using_aliases` (#12340) 2021-11-01 02:26:15 +03:00
Lucas Jenß f801ef5e17
checker: disallow `mut` keyword in right-hand side of assignment (#12318) 2021-10-29 12:03:05 +03:00
Delyan Angelov 0ff23eeb74
ci: fix failing assign_expr_channel_push.out 2021-10-27 22:54:41 +03:00
Lucas Jenß 43fbc68f1e
checker: disallow `<-` (channel push) on right-hand side of assignment (fix #12309) (#12321) 2021-10-27 17:53:50 +03:00
Delyan Angelov 45c1c1ab41
ci: fix import_symbol_private_err.vv and its .out file (time.since is no longer private) 2021-10-24 22:06:32 +03:00
yuyi 6aca360507
parser: fix checking unexpected name (#12233) 2021-10-19 12:27:59 +03:00
05st fd3a10ab43
checker: fix mut check bypass with for in loops (#12208) 2021-10-17 06:41:39 +03:00
yuyi c9b2f878b3
parser, checker: optimize checking generic struct type mismatch (#12179) 2021-10-15 00:11:31 +03:00
Delyan Angelov 9fabf9f20c
checker: check for `x := Abc { f: fn () ? {} }` mismatch, when `f` is `fn ()` 2021-10-11 19:20:41 +03:00
Alexander Ivanov 0386f2bbea
checker: add an interface check for mutability, fixes #1081, fixes #7038 (#11963) 2021-10-11 15:41:31 +03:00
yuyi 1831eccd5e
checker: check generic struct using in non-generic fn (#12136) 2021-10-11 02:46:44 +03:00
yuyi 83bc9b35b1
ast: fix checking generic fn call with fntype arg mismatch (#12132) 2021-10-10 11:14:19 +03:00
yuyi 093cab6f56
checker: check generics struct init that types mismatch (fix #12115) (#12120) 2021-10-09 15:03:37 +03:00
yuyi 0d53705776
v.checker: check fn returning void type (fix #12076) (#12078) 2021-10-06 21:04:33 +03:00
05st 86a5e72c74
v.checker: fix return type checking being skipped for mutable method receivers (#12043) 2021-10-02 23:26:46 +03:00
Alexander Ivanov cb149bfa00
checker: show errors for index calls to values which are not functions, fixes #11539 (#12024) 2021-10-01 15:17:02 +03:00
Louis Schmieder f9ceb12e22
checker: fix orm cast check (#12018) 2021-09-30 00:43:08 +03:00
Alexander Ivanov 4d0f835548
checker: fix detection of invalid insertions, fixes #3600 (#11945) 2021-09-23 11:59:43 +03:00
Rémi e76be4ba37
checker: temporary error for optional struct fields (#11293) (#11534) 2021-09-18 23:22:24 +03:00
Delyan Angelov 5bc6cc9512
v.checker: fix spurious warning for `if x := map_of_sumtypes[k] {}` 2021-09-15 15:42:28 +03:00
Daniel Däschle be0c54caf9
checker: require or block for sumtype map (#11089) 2021-09-10 16:07:39 +03:00
Delyan Angelov 4faa0f8487
v.checker: add checks for `.free()` methods 2021-09-09 09:54:06 +03:00
yuyi 3fd2dd45a4
checker: do now allow type name shadowing (#11401) 2021-09-05 18:34:21 +03:00
yuyi 48e65a7bb2
checker: check type in match range (fix #11337) (#11389) 2021-09-05 04:50:43 +03:00
yuyi 5181031480
builtin: check array.sort_with_compare() arg mismatch (#11385) 2021-09-04 15:02:05 +03:00