search

facebookincubator / cinder

Cinder is Meta's internal performance-oriented production version of CPython.
https://trycinder.com
Other
3.43k stars 122 forks source link

chkdict prints as "dict" #35

Closed bennn closed 3 years ago

bennn commented 3 years ago

What version of Static Python are you using?

99653029173bd443d4af80a02eef0e628f865b82 2021-06-24

What program did you run?

from __static__ import CheckedDict

def chk_ref(d: CheckedDict[int, int]) -> int:
  return d[0]

pydict: dict[int, int] = {1: 1}

chk_ref(pydict)

What happened?

TypeError: expected 'dict[int, int]', got 'dict'

What should have happened?

Error: expected Checked Dict got Python dict

bennn commented 3 years ago

fixed by 7cedc43