starlark 0.13.0

An implementation of the Starlark language in Rust.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

# @generated
# To regenerate, run:
# ```
# STARLARK_RUST_REGENERATE_GOLDEN_TESTS=1 cargo test -p starlark --lib
# ```

Code:
def good_function_pos_or_named(x: str, y: int) -> None:
    pass

def good_function_named_only(*, x: str, y: int) -> None:
    pass

def bad_function_wrong_types(x: bool, y: list) -> None:
    pass

def bad_function_missing_params(x: str) -> None:
    pass

def bad_function_extra_params(x: str, y: int, z: int) -> None:
    pass

def test():
    accepts_callable_named_xy(good_function_pos_or_named)
    accepts_callable_named_xy(good_function_named_only)
    accepts_callable_named_xy(bad_function_wrong_types)
    accepts_callable_named_xy(bad_function_missing_params)
    accepts_callable_named_xy(bad_function_extra_params)

Error:
error: Expected type `typing.Callable["*, x: str, y: int", None]` but got `def(x: bool, y: list) -> None`
  --> filename:20:31
   |
20 |     accepts_callable_named_xy(bad_function_wrong_types)
   |                               ^^^^^^^^^^^^^^^^^^^^^^^^
   |

Error:
error: Expected type `typing.Callable["*, x: str, y: int", None]` but got `def(x: str) -> None`
  --> filename:21:31
   |
21 |     accepts_callable_named_xy(bad_function_missing_params)
   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |

Error:
error: Expected type `typing.Callable["*, x: str, y: int", None]` but got `def(x: str, y: int, z: int) -> None`
  --> filename:22:31
   |
22 |     accepts_callable_named_xy(bad_function_extra_params)
   |                               ^^^^^^^^^^^^^^^^^^^^^^^^^
   |

Compiler typechecker (eval):
error: Expected type `typing.Callable["*, x: str, y: int", None]` but got `def(x: bool, y: list) -> None`
  --> filename:20:31
   |
20 |     accepts_callable_named_xy(bad_function_wrong_types)
   |                               ^^^^^^^^^^^^^^^^^^^^^^^^
   |