source-academy / js-slang

Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python
https://source-academy.github.io/source/
Apache License 2.0
64 stars 102 forks source link

Remove is_number(), added is_float() and is_int() to Python #1665

Closed JJtan2002 closed 2 months ago

JJtan2002 commented 2 months ago

This change adds support for type-checking ints in Python. Also, it more accurately reflects the names of Python's numeric data types.

coveralls commented 2 months ago

Pull Request Test Coverage Report for Build 8632564305

Details


Changes Missing Coverage Covered Lines Changed/Added Lines %
src/stdlib/pylib.ts 2 4 50.0%
<!-- Total: 4 6 66.67% -->
Totals Coverage Status
Change from base Build 8627018673: -0.007%
Covered Lines: 10696
Relevant Lines: 12701

💛 - Coveralls