Skip to content

Dev catch - #287

Merged
turion merged 2 commits into
masterfrom
dev_catch
Mar 26, 2024
Merged

Dev catch#287
turion merged 2 commits into
masterfrom
dev_catch

Conversation

@turion

@turion turion commented Feb 8, 2024

Copy link
Copy Markdown
Owner

Introduces some form of control flow for clocks. Clocks may now throw exceptions, and other clocks can be started as exception handlers.

  • Clean up git history
  • Figure out whether there are ways to catch the clock exception without discarding the state of the clsf
  • Reduce redundancy between IO errors and ExceptT.

@turion
turion marked this pull request as draft February 13, 2024 13:33
@turion

turion commented Feb 13, 2024

Copy link
Copy Markdown
Owner Author

Figure out whether there are ways to catch the clock exception without discarding the state of the clsf

Since the clock is always stepped before the clsf, the only way seems to be catching the exception and outputting it in the handling clock.

This was referenced Mar 11, 2024
@turion

turion commented Mar 13, 2024

Copy link
Copy Markdown
Owner Author

Reduce redundancy between IO errors and ExceptT

It may make sense to benchmark this somehow. See also https://github.com/turion/rhine/pull/285/files#r1523014312.

@turion
turion force-pushed the dev_catch branch 2 times, most recently from 135d3df to ced9d41 Compare March 13, 2024 15:02
@turion
turion marked this pull request as ready for review March 13, 2024 15:03
Comment thread rhine/src/FRP/Rhine/Clock.hs Outdated
Comment thread rhine-examples/src/Demonstration.hs Outdated
Comment thread rhine/src/FRP/Rhine/ClSF/Except.hs
Comment thread rhine/src/FRP/Rhine/Clock/Except.hs Outdated
Comment thread rhine/src/FRP/Rhine/Clock/Except.hs
Comment thread rhine/test/Clock/Except.hs Outdated
Comment thread rhine/test/Clock/Except.hs Outdated
Comment thread rhine/test/Clock/Except.hs Outdated
@turion
turion enabled auto-merge March 26, 2024 13:56
@turion
turion merged commit 9b06f58 into master Mar 26, 2024
@turion
turion deleted the dev_catch branch March 26, 2024 14:05
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.

1 participant