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

Fixed the GenClassPerType option to actually generate the forwarding instance from PolyplateM to the type-specific class

Browse Source
This commit is contained in:
Neil Brown 2008-12-03 17:36:40 +00:00
parent 360b076be9
commit c83c383181
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -283,9 +283,7 @@ instancesFrom genOverlapped genClass boxes w
contextNewType :: String -> String -> String -> String contextNewType :: String -> String -> String -> String
contextNewType cName ops0 ops1 = case genClass of contextNewType cName ops0 ops1 = case genClass of
GenOneClass -> "PolyplateM (" ++ cName ++ ") " ++ ops0 ++ " " ++ ops1 ++ " m" GenOneClass -> "PolyplateM (" ++ cName ++ ") " ++ ops0 ++ " " ++ ops1 ++ " m"
GenClassPerType -> "PolyplateM" ++ cMunged ++ " " ++ ops0 ++ " " ++ ops1 ++ " m" GenClassPerType -> "PolyplateM (" ++ cName ++ ") " ++ ops0 ++ " " ++ ops1 ++ " m"
where
cMunged = mungeName cName
GenSlowDelegate -> "PolyplateM' m " ++ ops0 ++ " " ++ ops1 ++ " (" ++ cName ++ ")" GenSlowDelegate -> "PolyplateM' m " ++ ops0 ++ " " ++ ops1 ++ " (" ++ cName ++ ")"
@ -327,6 +325,10 @@ instancesFrom genOverlapped genClass boxes w
,if genClass == GenClassPerType ,if genClass == GenClassPerType
then ["class Monad m => PolyplateM" ++ wMunged ++ " o o' m where" then ["class Monad m => PolyplateM" ++ wMunged ++ " o o' m where"
," " ++ funcSameType ++ " :: o -> o' -> (" ++ wName ++ ") -> m (" ++ wName ++ ")" ," " ++ funcSameType ++ " :: o -> o' -> (" ++ wName ++ ") -> m (" ++ wName ++ ")"
,""
,"instance (Monad m, " ++ contextSameType "o0" "o1" ++ ") =>"
," PolyplateM (" ++ wName ++ ") o0 o1 m where"
," transformM = " ++ funcSameType
] ]
else [] else []
] ]