9d0fd72 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

Create DeclarationRef for instances

9d0fd72Gary Burgess13 years ago

src/Language/PureScript/Declarations.hs+6−1

@@ -61,6 +61,10 @@ data DeclarationRef

61 -- A type class

62 --

63 | TypeClassRef ProperName

64+ -- |

65+ -- A type class instance, created during typeclass desugaring (name, class name, instance types)

66+ --

67+ | TypeInstanceRef Ident (Qualified ProperName) [Type]

64 deriving (Show, Eq, D.Data, D.Typeable)

68 deriving (Show, Eq, D.Data, D.Typeable)

66-- |

70-- |

@@ -112,7 +116,8 @@ data Declaration

112 --

116 --

113 | TypeClassDeclaration ProperName [String] [Declaration]

117 | TypeClassDeclaration ProperName [String] [Declaration]

114 -- |

118 -- |

115− -- A type instance declaration (dependencies, class name, instance type, member declarations)

119+ -- A type instance declaration (name, dependencies, class name, instance types, member

120+ -- declarations)

116 --

121 --

117 | TypeInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] [Declaration]

122 | TypeInstanceDeclaration Ident [(Qualified ProperName, [Type])] (Qualified ProperName) [Type] [Declaration]

118 deriving (Show, D.Data, D.Typeable)

123 deriving (Show, D.Data, D.Typeable)