Skip to content

Commit 3dacca7

Browse files
committed
Label a few things as "positive integer"
1 parent f54148f commit 3dacca7

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

spec.emu

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -577,7 +577,7 @@ contributors: Google, Ecma International
577577
_year_: an integer,
578578
_monthCode_: a String,
579579
_overflow_: ~constrain~ or ~reject~,
580-
): either a normal completion containing an integer or a throw completion
580+
): either a normal completion containing a positive integer or a throw completion
581581
</h1>
582582
<dl class="header">
583583
<dt>description</dt>
@@ -1010,7 +1010,7 @@ contributors: Google, Ecma International
10101010
CalendarDateArithmeticalToISO (
10111011
_calendar_: a calendar type that is not *"iso8601"*,
10121012
_year_: an integer,
1013-
_arithmeticalMonth_: an integer,
1013+
_arithmeticalMonth_: a positive integer,
10141014
_day_: an integer,
10151015
): either a normal completion containing an ISO Date Record or a throw completion
10161016
</h1>
@@ -1032,7 +1032,7 @@ contributors: Google, Ecma International
10321032
CalendarDaysInMonth (
10331033
_calendar_: a calendar type that is not *"iso8601"*,
10341034
_year_: an integer,
1035-
_arithmeticalMonth_: an integer,
1035+
_arithmeticalMonth_: a positive integer,
10361036
): an integer
10371037
</h1>
10381038
<dl class="header">

0 commit comments

Comments
 (0)