From 9af1d30c8cd6aef509736e1ecb6e77b47338b98d Mon Sep 17 00:00:00 2001
From: Josh Rahm <joshuarahm@gmail.com>
Date: Fri, 11 Oct 2024 13:17:39 -0600
Subject: Prefer GADT's over typ families for some SyntaxTree elements.

---
 src/Language/Fiddle/GenericTree.hs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/Language/Fiddle/GenericTree.hs')

diff --git a/src/Language/Fiddle/GenericTree.hs b/src/Language/Fiddle/GenericTree.hs
index e83a2b4..694b3ab 100644
--- a/src/Language/Fiddle/GenericTree.hs
+++ b/src/Language/Fiddle/GenericTree.hs
@@ -32,7 +32,6 @@ type Context stage =
     Typeable stage,
     ToJSON (NumberType stage),
     ToJSON (RegisterOffset stage),
-    ToJSON (ImportInterface stage),
     ToJSON (FiddleUnitInterface stage),
     ToJSON (QualificationMetadata stage ()),
     ToJSON (QualificationMetadata stage ExportedPackageDecl),
@@ -220,6 +219,10 @@ instance
 instance (GToGenericSyntaxTree r f a) => (GToGenericSyntaxTree (M1 i c r) f a) where
   gToGenericSyntaxTree t (M1 r) = gToGenericSyntaxTree t r
 
+instance (ToJSON t) => ToJSON (When s t) where
+  toJSON (Present t) = toJSON t
+  toJSON _ = toJSON ()
+
 -- deriving instance (ToGenericSyntaxTree (Test stage))
 
 deriving instance (ToGenericSyntaxTree Identifier)
-- 
cgit