Closed glyph closed 2 months ago
Attention: 2 lines
in your changes are missing coverage. Please review.
Comparison is base (
2da0af1
) 91.82% compared to head (9466e8f
) 94.18%.
Files | Patch % | Lines |
---|---|---|
automat/_typical.py | 99.19% | 2 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
(moved to description to get progress bar)
before: after:
Fixes #145
obviously needs tests and perhaps some more thought (in particular… how would feedback state-changes work here?) but I think this might be cleaner than the methodical machine
Stuff to do before landing:
.to
/.upon
ordering for better type errors_typified
is a bit of a silly name, renaming to something like_typed
would be better.TypeMachine
needs to be public so that people who want to call.asDigraph
(or whatever the tracing or serialization APIs are) can still annotate their return typesbuilder.state
,state.upon
,upon.to
etc) must raise an exception if.build
has already been called