source-academy/js-slang

Typed Source: Inconsistent typing of literals

Closed this issue · 1 comments

image

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

Closed by PR #1556