search

hhu-stups / pyB

pyB
6 stars 0 forks source link

Typechecking of EXTENDS/INCLUDES clause not implemented #32

Open JonnyWalker opened 10 years ago

JonnyWalker commented 10 years ago

Use PMachineReference and AMachineReference inside typing.py after child machine typing. Maybe add parameter type atrr to BMachine