This commit is contained in:
Dmitry Zuikov 2024-05-17 06:44:21 +03:00
parent 1f3cc7e4f9
commit 1724499061
1 changed files with 1 additions and 2 deletions

View File

@ -122,8 +122,7 @@ instance Eq (Syntax c) where
(==) (List _ a) (List _ b) = a == b (==) (List _ a) (List _ b) = a == b
(==) _ _ = False (==) _ _ = False
deriving instance (Data (Context ())) => Data (Syntax ()) deriving instance (Data c, Data (Context c)) => Data (Syntax c)
deriving instance (Data (Context C)) => Data (Syntax C)
instance Pretty (Syntax c) where instance Pretty (Syntax c) where
pretty (Literal _ ast) = pretty ast pretty (Literal _ ast) = pretty ast