New Issue

Incorrect contract for previous-line function #19

Closed

opened by slaymaker1907 · 2 comments

slaymaker1907 commented (Migrated from github.com)

The contract seems to specify that it always return exact-nonnegative-integer? but it may return #f if on the first line. This does not seem to be checked currently otherwise the indentation example in the book would fail.

The contract seems to specify that it always return exact-nonnegative-integer? but it may return #f if on the first line. This does not seem to be checked currently otherwise the indentation example in the book would fail.

mbutterick commented (Migrated from github.com)

The code seems to be right; the documentation was wrong.

The code seems to be right; the documentation was wrong.

mbutterick commented (Migrated from github.com)

Thanks!

Thanks!

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.