X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsSyn.lhs;h=b5534531e617dbb30d64440fc5ba7d6f40719d1e;hp=e6e95b3e9e6f08a731ac2b481fd91c05700e8afc;hb=bb7ffa1642e2110e26e1243c42a8a24adafa985d;hpb=bbdccd19b73a05be23578169da5aca5b13b50519

diff --git a/compiler/typecheck/TcHsSyn.lhs b/compiler/typecheck/TcHsSyn.lhs
index e6e95b3..b553453 100644
--- a/compiler/typecheck/TcHsSyn.lhs
+++ b/compiler/typecheck/TcHsSyn.lhs
@@ -1045,10 +1045,10 @@ mkArbitraryType :: (SrcSpan -> SDoc -> TcRnIf g l a)	-- How to complain
 -- to use when generating a warning
 mkArbitraryType warn tv 
   | liftedTypeKind `isSubKind` kind 		-- The vastly common case
-   = return anyPrimTy			
-  | eqKind kind (tyConKind anyPrimTyCon1) 	--  *->*
+  = return anyPrimTy
+  | eqKind kind (tyConKind anyPrimTyCon1) 	-- @*->*@
   = return (mkTyConApp anyPrimTyCon1 [])	--     No tuples this size
-  | all isLiftedTypeKind args 			-- *-> ... ->*->*
+  | all isLiftedTypeKind args 			-- @*-> ... ->*->*@
   , isLiftedTypeKind res			--    Horrible hack to make less use 
   = return (mkTyConApp tup_tc [])		--    of mkAnyPrimTyCon
   | otherwise