search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

inference for addition with 3 operands not working #32

Closed andreinaku closed 3 months ago

andreinaku commented 3 months ago

inference for

def test_add(a, b, c):
    return a + b + c

yields

---------------
MFP in
---------------
1: (a:T1 /\ b:T2 /\ c:T3)
---------------
MFP out
---------------
1: (a + b:T6 /\ a:T1 /\ b:T2 /\ c:T3 /\ a + b + c:list< T8 + T7 > /\ return:list< T8 + T7 >) ^ ((T1 <= list< T5 >) /\ (T2 <= list< T4 >) /\ (T6 <= list< bot >) /\ (T3 <= list< T7 >))
---------------

T6 <= list< bot > is not correct.