From 5092619a63058d6b4a895ecdaef31fec7a8da4cc Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Fri, 11 Oct 2024 14:21:43 -0600 Subject: Replace all the qualification metadata with 'When (s .>= Qualified)' This makes deriving much easier and cleans up the messy contexts in GenericTree and elsewhere at the cost of slightly more obtuse syntax. --- src/Language/Fiddle/GenericTree.hs | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'src/Language/Fiddle/GenericTree.hs') diff --git a/src/Language/Fiddle/GenericTree.hs b/src/Language/Fiddle/GenericTree.hs index 694b3ab..9b04ac7 100644 --- a/src/Language/Fiddle/GenericTree.hs +++ b/src/Language/Fiddle/GenericTree.hs @@ -31,14 +31,7 @@ type Context stage = ( Show (NumberType stage), Typeable stage, ToJSON (NumberType stage), - ToJSON (RegisterOffset stage), - ToJSON (FiddleUnitInterface stage), - ToJSON (QualificationMetadata stage ()), - ToJSON (QualificationMetadata stage ExportedPackageDecl), - ToJSON (QualificationMetadata stage ExportedLocationDecl), - ToJSON (QualificationMetadata stage ExportedBitsDecl), - ToJSON (QualificationMetadata stage ExportedTypeDecl), - ToJSON (QualificationMetadata stage ExportedObjectDecl) + ToJSON (RegisterOffset stage) ) class FunctorShow f where -- cgit