suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Made genMapInstance and genSetInstance generate instances for the directly contained types

Browse Source
This commit is contained in:
Neil Brown 2008-12-03 17:30:57 +00:00
parent 29b79000f1
commit 360b076be9
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
polyplate/Data/Generics/Polyplate/GenInstances.hs
View File

@ -92,6 +92,11 @@ instance Eq Witness where
genMapInstance :: forall k v. (Ord k, Data k, Data v) => k -> v -> GenInstance
genMapInstance k v
= GenInstance $ do
-- Must find types for contained types, in case they are not generated elsewhere.
-- This is true for Tock, where NameDefs only exist in AST or CompState
-- in a Map.
findTypesIn k
findTypesIn v
tk <- liftIO $ typeKey m
modify (Map.insert tk (show $ typeOf m,
Detailed (DataBox m) [DataBox k, DataBox v] $ \(funcSameType, funcNewType) ->
@ -109,6 +114,8 @@ genMapInstance k v
genSetInstance :: forall a. (Ord a, Data a) => a -> GenInstance
genSetInstance x
= GenInstance $ do
-- Must find types for contained types, in case they are not generated elsewhere.
findTypesIn x
tk <- liftIO $ typeKey s
modify (Map.insert tk (show $ typeOf s,
Detailed (DataBox s) [DataBox x] $ \(funcSameType, funcNewType) ->