Skip to content

Derive Rel8able using TemplateHaskell#376

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

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

Conversation

@TeofilC

@TeofilC TeofilC commented May 23, 2025

Copy link
Copy Markdown
Contributor

This is based on #141, but at this stage it's basically a full rewrite.

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

TODO:

  • Tests
  • Check for required extensions
  • Avoid UndecidableInstances when using Table 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 3 times, most recently from 4bcd2ac to 37242b7 Compare March 6, 2026 14:34
@TeofilC TeofilC force-pushed the teo/template-haskell branch 2 times, most recently from 629a9d9 to 1aa6e1f Compare May 5, 2026 16:17
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 1aa6e1f to fce65ae Compare June 25, 2026 17:48
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