simonpj 2002/11/18 06:25:59 PST
Sender: [EMAIL PROTECTED]
Errors-To: [EMAIL PROTECTED]
X-BeenThere: [EMAIL PROTECTED]
X-Mailman-Version: 2.0.8
Precedence: bulk
List-Help: <mailto:[EMAIL PROTECTED]?subject=help>
List-Post: <mailto:[EMAIL PROTECTED]>
List-Subscribe: <http://www.haskell.org/mailman/listinfo/cvs-ghc>,
<mailto:[EMAIL PROTECTED]?subject=subscribe>
List-Id: GHC/CVS discussion and fptools/ghc CVS commit messages <cvs-ghc.haskell.org>
List-Unsubscribe: <http://www.haskell.org/mailman/listinfo/cvs-ghc>,
<mailto:[EMAIL PROTECTED]?subject=unsubscribe>
List-Archive: <http://www.haskell.org/pipermail/cvs-ghc/>
Date: Mon, 18 Nov 2002 06:25:59 -0800
Modified files:
ghc/compiler/main MkIface.lhs
ghc/compiler/typecheck Inst.lhs TcClassDcl.lhs TcInstDcls.lhs
TcSimplify.lhs
Log:
----------------------------------------
Class ops that do not introduce for-alls
----------------------------------------
MERGE TO STABLE (if poss)
The handling of class ops that do not add an extra for-all
was utterly bogus. For example:
class C a where
fc :: (?p :: String) => a;
class D a where
fd :: (Ord a) => [a] -> [a]
De-bogus-ing means
a) Being careful when taking apart the class op type in
MkIface.tcClassOpSig
b) Ditto when making the method Id in an instance binding.
Hence new function Inst.tcInstClassOp, and its calls
in TcInstDcls, and TcClassDcls
Revision Changes Path
1.165 +8 -2 fptools/ghc/compiler/main/MkIface.lhs
1.106 +26 -19 fptools/ghc/compiler/typecheck/Inst.lhs
1.122 +2 -2 fptools/ghc/compiler/typecheck/TcClassDcl.lhs
1.153 +6 -4 fptools/ghc/compiler/typecheck/TcInstDcls.lhs
1.108 +3 -3 fptools/ghc/compiler/typecheck/TcSimplify.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
