Skip to content

Conversation

kderme
Copy link
Contributor

@kderme kderme commented Jan 4, 2024

Description

This is an experimental impmenetation of DBSync (view). The purpose is to benchmark it and evaluate its complexity and correctness.

Checklist

  • Commit sequence broadly makes sense
  • Commits have useful messages
  • New tests are added if needed and existing tests are updated
  • Any changes are noted in the changelog
  • Code is formatted with fourmolu on version 0.10.1.0 (which can be run with scripts/fourmolize.sh)
  • Self-reviewed the diff

Migrations

  • The pr causes a breaking change of type a,b or c
  • If there is a breaking change, the pr includes a database migration and/or a fix process for old values, so that upgrade is possible
  • Resyncing and running the migrations provided will result in the same database semantically

If there is a breaking change, especially a big one, please add a justification here. Please elaborate
more what the migration achieves, what it cannot achieve or why a migration is not possible.

@kderme
Copy link
Contributor Author

kderme commented Jan 4, 2024

I had a strange error

DbInsertException "Many MaTxOut" (SqlError {sqlState = "XX000", sqlExecStatus = FatalError, sqlErrorMsg = "unrecognized node type: -1543503872", sqlErrorDetail = "", sqlErrorHint = ""})

though it may be a red herring as I didn't sync from a clean state.

thrd3 :: (a, b, c, d) -> c
thrd3 (_, _, c, _) = c
first3 :: (a, b, c) -> a
first3 (a, _, _) = a
Copy link
Contributor

Choose a reason for hiding this comment

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

It looks like this is already provided by extra, which we already use


forth4 :: (a, b, c, d) -> d
forth4 (_, _, _, d) = d

{-# NOINLINE [1] zipWith3 #-}
zipWith3 :: (a -> b -> c -> d) -> [a]-> [b] -> [c] -> [d]
zipWith3 z = go
Copy link
Contributor

Choose a reason for hiding this comment

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

This also looks to be part of Prelude

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.

2 participants