Skip to content

Derive Rel8able using TemplateHaskell#376

Draft
TeofilC wants to merge 1 commit intomasterfrom
teo/template-haskell
Draft

Derive Rel8able using TemplateHaskell#376
TeofilC wants to merge 1 commit intomasterfrom
teo/template-haskell

Conversation

@TeofilC
Copy link
Contributor

@TeofilC TeofilC commented May 23, 2025

This is based on #141. I've done a bit of rewriting mostly as an attempt to understand how things work.

Unlike the previous PR we split this up into a clear parsing vs code-generating step. We only throw errors during the parsing step.

We have support for HLabel and for HKD fields

@TeofilC TeofilC marked this pull request as draft May 23, 2025 16:53
@TeofilC TeofilC changed the title Derive Rel8 using TemplateHaskell Derive Rel8able using TemplateHaskell May 23, 2025
@TeofilC TeofilC force-pushed the teo/template-haskell branch from 970a7cf to aaf87ad Compare May 23, 2025 17:05
@TeofilC TeofilC force-pushed the teo/template-haskell branch 3 times, most recently from ff2b1f1 to 11e1f30 Compare October 28, 2025 15:54
@TeofilC TeofilC force-pushed the teo/template-haskell branch 2 times, most recently from c958c18 to 4bcd2ac Compare March 6, 2026 12:15
WIP

WIP

Works with Column-only types

WIP

Simplifications using quoting and splicing

delete SAggregate

this has been removed

wip

Change-Id: Ia839a09ef05f9db520764067b4a8183f6a6a6964
@TeofilC TeofilC force-pushed the teo/template-haskell branch from 4bcd2ac to 37242b7 Compare March 6, 2026 14:34
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