| 15 Sep 2025 |
 emily | have I mentioned I'm old lately | 13:21:06 |
 MangoIV | like, sure it would if you have checks duplicated all over, things running several times with the same inputs | 13:21:06 |
| MangoIV | and everything being IO | 13:21:10 |
 sterni (he/him) | we can just replace the generics / TH instance deriving with a few small m4 scripts problem solved :3 | 13:21:35 |
 Teo (he/him) | So once DH is done there's space for TH haha! | 13:21:50 |
| emily | for GHC this unironically seems perfectly adequate. (is the joke that it used to be this) | 13:22:27 |
| Teo (he/him) | I am genuinely tempted to pitch this for the alternative way to fix the issue with typeclass instances in GHC | 13:22:35 |
| emily | like have a damn Python script doing code generation for all I care | 13:22:54 |
| emily | if it's just for GHC bootstrap | 13:23:02 |
| MangoIV | just use CPP macros? | 13:23:05 |
| Teo (he/him) | GHC already has a bunch of these for generating C code | 13:23:10 |
| emily | ok I have an idea | 13:23:19 |
