A typing error in demo rpython.py
| BPO | 36690 |
|---|---|
| Nosy | @gvanrossum, @berkerpeksag, @BriFuture |
| PRs |
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = None closed_at = <Date 2019-04-22.13:54:38.495> created_at = <Date 2019-04-21.12:52:55.381> labels = ['easy', '3.8', 'type-bug', '3.7'] title = 'A typing error in demo rpython.py' updated_at = <Date 2019-04-22.13:54:38.494> user = 'https://github.com/brifuture'
bugs.python.org fields:
activity = <Date 2019-04-22.13:54:38.494> actor = 'berker.peksag' assignee = 'none' closed = True closed_date = <Date 2019-04-22.13:54:38.495> closer = 'berker.peksag' components = ['Demos and Tools'] creation = <Date 2019-04-21.12:52:55.381> creator = 'jiawei zhou' dependencies = [] files = [] hgrepos = [] issue_num = 36690 keywords = ['patch', 'easy'] message_count = 5.0 messages = ['340606', '340609', '340651', '340653', '340654'] nosy_count = 4.0 nosy_names = ['gvanrossum', 'SilentGhost', 'berker.peksag', 'jiawei zhou'] pr_nums = ['12903', '12906'] priority = 'normal' resolution = 'fixed' stage = 'resolved' status = 'closed' superseder = None type = 'behavior' url = 'https://bugs.python.org/issue36690' versions = ['Python 3.7', 'Python 3.8']