diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
| commit | 9af1d30c8cd6aef509736e1ecb6e77b47338b98d (patch) | |
| tree | 59f638267e773f200bf261e5edce42c9741988fc /src/Language/Fiddle/GenericTree.hs | |
| parent | cef70019330bb482a1418c026c57045ed731d51b (diff) | |
| download | fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.gz fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.bz2 fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.zip | |
Prefer GADT's over typ families for some SyntaxTree elements.
Diffstat (limited to 'src/Language/Fiddle/GenericTree.hs')
| -rw-r--r-- | src/Language/Fiddle/GenericTree.hs | 5 |
1 files changed, 4 insertions, 1 deletions
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) |