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.

Sign up for GitHub

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

Jump to bottom

Fatal errors #607

Closed
treiher opened this issue Mar 15, 2021 · 0 comments · Fixed by #649
Closed

Fatal errors #607

treiher opened this issue Mar 15, 2021 · 0 comments · Fixed by #649
Assignees
@treiher
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Mar 15, 2021

In some cases like code generation no error should occur. All exceptions (even RecordFluxError) should be considered fatal. Fatal errors should be highlighted as such (e.g., by a "bug box"). It should be described where to report such a issue and which information has to be provided.
@treiher treiher created this issue from a note in RecordFlux 0.5 (To do) Mar 15, 2021
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Apr 27, 2021
@treiher treiher self-assigned this Apr 27, 2021
@treiher treiher moved this from In progress to Under review in RecordFlux 0.5 Apr 27, 2021
treiher added a commit that referenced this issue Apr 27, 2021
@treiher
Add showing bug box in case of unexpected exceptions
8c4bc03 
Ref. #607
treiher added a commit that referenced this issue Apr 27, 2021
@treiher
Add fatal error for indicating bugs
23955be 
Ref. #607
@treiher treiher mentioned this issue Apr 27, 2021
Merged
42 tasks
RecordFlux 0.5 automation moved this from Under review to Merged Apr 30, 2021
treiher added a commit that referenced this issue Apr 30, 2021
@treiher
Add showing bug box in case of unexpected exceptions
2ba9fc9 
Ref. #607
treiher added a commit that referenced this issue Apr 30, 2021
@treiher
Add fatal error for indicating bugs
c0b4eac 
Ref. #607
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
None yet
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
1 participant
@treiher