Skip to content

Conversation

@lukegb
Copy link

@lukegb lukegb commented Feb 4, 2024

We have a lot of ints floating around; use NewType to try to make sure these
don't get mixed up.

Iterables can only be iterated through once; be more specific about what type
of iterable if we iterate more than once through them.

Tests get a helper function because literal ints are of type int, and don't
automatically pick up the subtype, unfortunately.
@lukegb
Copy link
Author

lukegb commented Feb 4, 2024

I don't actually know if this is the best approach to asserting that talks are scheduled after other ones or if there's a more efficient way to specify this without defining a start-slot and end-slot in the set of LP equations...

@lukegb lukegb force-pushed the causality branch 3 times, most recently from 2f76d83 to dbcbbab Compare February 4, 2024 22:59
@Jonty
Copy link
Member

Jonty commented Feb 4, 2024

I need to spend some time thinking about this before we merge it, please hold.

@lukegb lukegb marked this pull request as draft February 4, 2024 23:02
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