projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 8f212ab)
Rejig the way in which generic default method signatures are checked
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 26 May 2011 13:30:15 +0000 (14:30 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 26 May 2011 13:30:15 +0000 (14:30 +0100)
- Check GenericSig in tcClassSigs, along with TypeSig
- Add the generic default methods to the type envt
- Look them up via tcLookupId in TcClassDcl.tcDefMeth

Much nicer!


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)