projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99e9c36) | patch
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)
commit8f212ab5307434edf92c7d10fe0df88ccb5cd6ca
tree70188727fa5b13c2a1be2889eb61aec1f60721f2tree | snapshot
parent99e9c36b2df186dc28c946517579487373d8659acommit | diff
Rejig the way in which generic default method signatures are checked

- 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!
compiler/iface/BuildTyCl.lhs diff | blob | history
compiler/main/HscTypes.lhs diff | blob | history
compiler/typecheck/TcClassDcl.lhs diff | blob | history
compiler/typecheck/TcRnDriver.lhs diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
compiler/typecheck/TcTyDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)