diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-06 09:04:37 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-09 08:26:59 +0100 |
| commit | de8c8d68cabb5f24304fad2f03caa41fdf182b4f (patch) | |
| tree | 88e191e91aebad8ce2a2ef2bb467be73e0c4d063 /compiler/codeGen | |
| parent | 967633d4175a1d5ce525fa3194f53c219b5e2f91 (diff) | |
| download | haskell-de8c8d68cabb5f24304fad2f03caa41fdf182b4f.tar.gz | |
Implement associated type defaults
Basically, now you can write:
class Cls a where
type Typ a
type Typ a = Just a
And now if an instance does not specify an explicit associated type
instance, one will be generated afresh based on that default. So for
example this instance:
instance Cls Int where
Will be equivalent to this one:
instance Cls Int where
type Typ Int = Just Int
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions