X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypes%2FType.lhs;h=8817222fbabf004ba67f961f7a63e279a6692061;hb=635952097df211953c4bd0456b37eba64c485f60;hp=8a9cf0eac6a0c1c13ba12efbb2014ac783e8d707;hpb=af7c22d99d3067c4769fc6f2ef21aecbb1268f50;p=ghc-hetmet.git

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index 8a9cf0e..8817222 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -30,7 +30,7 @@ module Type (
 
 	mkFunTy, mkFunTys, splitFunTy, splitFunTy_maybe, 
 	splitFunTys, splitFunTysN,
-	funResultTy, funArgTy, zipFunTys,
+	funResultTy, funArgTy, zipFunTys, 
 
 	mkTyConApp, mkTyConTy, 
 	tyConAppTyCon, tyConAppArgs, 
@@ -150,6 +150,8 @@ import FastString
 
 import Data.List
 import Data.Maybe	( isJust )
+
+infixr 3 `mkFunTy`	-- Associates to the right
 \end{code}
 
 \begin{code}
@@ -1334,7 +1336,7 @@ then (substTy subst ty) does nothing.
 For example, consider:
 	(/\a. /\b:(a~Int). ...b..) Int
 We substitute Int for 'a'.  The Unique of 'b' does not change, but
-nevertheless we add 'b' to the TvSubstEnv, because b's type does change
+nevertheless we add 'b' to the TvSubstEnv, because b's kind does change
 
 This invariant has several crucial consequences: