Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove the pervasive assumption that the start state is 0. #194

Merged

Conversation

ltratt
Copy link
Member

@ltratt ltratt commented May 30, 2020

There's no good reason for us exposing an assumption about which state in the
stategraph/statetable is the start state, and it may reduce our flexibility later. This commit abstracts this assumption away such that the start state is specified concretely just once (in pager::pager_stategraph), thus giving us a single place to consider if we ever do want to change this assumption.

This addresses one small part of #191.

There's no good reason for us exposing an assumption about which state in the
stategraph/statetable is the start state, and it may reduce our flexibility
later. This commit abstracts this assumption away such that the start state is
specified concretely just once (in pager::pager_stategraph), thus giving us a
single place to consider if we ever do want to change this assumption.
@ptersilie
Copy link
Member

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 1, 2020

Build succeeded:

@bors bors bot merged commit 28c1bdf into softdevteam:master Jun 1, 2020
@ltratt ltratt deleted the dont_assume_start_state_is_state_zero branch June 3, 2020 15:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants