FilesExpand file tree

 encoding

/

viper_error.py

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

81 lines (64 loc) · 1.94 KB

 encoding

/

viper_error.py

Copy path

Top

File metadata and controls

• Code
• Blame

81 lines (64 loc) · 1.94 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

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

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

# test syntax and type errors specific to viper code generation

def test(code):

try:

exec(code)

except (SyntaxError, ViperTypeError, NotImplementedError) as e:

print(repr(e))

# viper: annotations must be identifiers

test("@micropython.viper\ndef f(a:1): pass")

test("@micropython.viper\ndef f() -> 1: pass")

# unknown type

test("@micropython.viper\ndef f(x:unknown_type): pass")

# too many arguments

test("@micropython.viper\ndef f(a, b, c, d, e): pass")

# local used before type known

test("""

@micropython.viper

def f():

print(x)

x = 1

""")

# type mismatch storing to local

test("""

@micropython.viper

def f():

x = 1

y = []

x = y

""")

# can't implicitly convert type to bool

test("""

@micropython.viper

def f():

x = ptr(0)

if x:

pass

""")

# incorrect return type

test("@micropython.viper\ndef f() -> int: return []")

# can't do binary op between incompatible types

test("@micropython.viper\ndef f(): 1 + []")

# can't load

test("@micropython.viper\ndef f(): 1[0]")

test("@micropython.viper\ndef f(): 1[x]")

# can't store

test("@micropython.viper\ndef f(): 1[0] = 1")

test("@micropython.viper\ndef f(): 1[x] = 1")

test("@micropython.viper\ndef f(x:int): x[0] = x")

test("@micropython.viper\ndef f(x:ptr32): x[0] = None")

test("@micropython.viper\ndef f(x:ptr32): x[x] = None")

# must raise an object

test("@micropython.viper\ndef f(): raise 1")

# unary ops not implemented

test("@micropython.viper\ndef f(x:int): +x")

test("@micropython.viper\ndef f(x:int): -x")

test("@micropython.viper\ndef f(x:int): ~x")

# binary op not implemented

test("@micropython.viper\ndef f(x:int): res = x in x")

# yield (from) not implemented

test("@micropython.viper\ndef f(): yield")

test("@micropython.viper\ndef f(): yield from f")

# passing a ptr to a Python function not implemented

test("@micropython.viper\ndef f(): print(ptr(1))")

# cast of a casting identifier not implemented

test("@micropython.viper\ndef f(): int(int)")