Typed Source: Inconsistent typing of literals

source-academy / js-slang

Implementations of sublanguages of JavaScript, TypeScript, Scheme and Python

https://source-academy.github.io/source/

Apache License 2.0

70 stars 104 forks source link

Closed RichDom2185 closed 7 months ago

RichDom2185 commented 9 months ago

In line 3, the literal 1 is typed as number, but in line 4, the same literal 1 is typed as 1.

Zenkoh1 commented 7 months ago