Skip to content

Conversation

@alecrav
Copy link

@alecrav alecrav commented Nov 8, 2025

implement async datalog

Copy link

@mara171 mara171 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lots of clippy errors, but seems sensible

Copy link
Collaborator

@Indeximal Indeximal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool, you made it work! I am confident with more time you could have made it work with clippy and fmt with some more time.

use serde::Serialize;

/// Stores the current inputs of the system, given by the avionics
#[derive(serde::Serialize)]
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this isn't needed anymore

let mut ser = AsyncSerializer::from_writer(vec![]);

let mut wrt = AsyncWriterBuilder::new().has_headers(true).create_writer(vec![]);
let mut ser_2 = AsyncSerializer::from_writer(vec![]);
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I mean, you know yourself that this isn't the best variable name, but idk

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you could have excluded this in gitignores.

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.

4 participants