View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0007061Anastasisreducer specpublic2021-11-02 09:532022-09-26 18:50
ReporterFlorian Dold Assigned ToFlorian Dold Due Date
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Target Version0.3.0Fixed in Version0.3.0 
Summary0007061: all sum types should have a type/tag field to identify the arm
DescriptionRight now, the schema of the reducer makes mechanical validation rather hard, as there is no type/tag field for many sum types.

Examples:
* the reducer top-level (error vs backup vs recovery)
* the authentication_provider (no info vs error vs okay)
TagsNo tags attached.

Relationships

related to 0007222 closedChristian Grothoff authentication_providers should be properly tagged with status 

Activities

Florian Dold

2022-04-12 20:24

manager   ~0018861

Last edited: 2022-04-12 20:29

See 0007222 for authentication_providers.

For the top-level state, I'd suggest:

{
  reducer_type: "backup" | "recovery" | "error";
  // only for backup reducers
  backup_state: "...";

  // for recovery reducers
  recovery_state: "...";
}

Florian Dold

2022-04-13 06:48

manager   ~0018867

Fixed in the C reducer by Christian and in TypeScript by me.

Issue History

Date ModifiedUsernameFieldChange
2021-11-02 09:53Florian DoldNew Issue
2022-04-12 20:21Christian GrothoffRelationship addedrelated to 0007222
2022-04-12 20:24Florian DoldNote Added: 0018861
2022-04-12 20:29Florian DoldNote Edited: 0018861
2022-04-12 20:46Florian DoldAssigned To => Florian Dold
2022-04-12 20:46Florian DoldStatusnew => assigned
2022-04-13 06:48Florian DoldStatusassigned => resolved
2022-04-13 06:48Florian DoldResolutionopen => fixed
2022-04-13 06:48Florian DoldNote Added: 0018867
2022-09-26 18:49Christian GrothoffFixed in Version => 0.3.0
2022-09-26 18:49Christian GrothoffTarget Version => 0.3.0
2022-09-26 18:50Christian GrothoffStatusresolved => closed