X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcRnTypes.lhs;h=f9f92755e1305ea92ab0675af8ecad2680d70a38;hb=d551dbfef0b710f5ede21ee0c54ee7e80dd53b64;hp=50258cc75e0e904faa8a92eaf92a7ec08e31efe6;hpb=cb486104c9225bb44f5ccdd700ff204a37014207;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcRnTypes.lhs b/ghc/compiler/typecheck/TcRnTypes.lhs
index 50258cc..f9f9275 100644
--- a/ghc/compiler/typecheck/TcRnTypes.lhs
+++ b/ghc/compiler/typecheck/TcRnTypes.lhs
@@ -672,10 +672,11 @@ data Inst
 
   | LitInst
 	Name
-	HsOverLit	-- The literal from the occurrence site
-			--	INVARIANT: never a rebindable-syntax literal
-			--	Reason: tcSyntaxName does unification, and we
-			--		don't want to deal with that during tcSimplify
+	(HsOverLit Name)	-- The literal from the occurrence site
+				-- INVARIANT: never a rebindable-syntax literal
+				-- Reason: tcSyntaxName does unification, and we
+				--	   don't want to deal with that during tcSimplify,
+				--	   when resolving LitInsts
 	TcType		-- The type at which the literal is used
 	InstLoc
 \end{code}
@@ -763,7 +764,7 @@ data InstOrigin
 
   | IPOccOrigin  (IPName Name)	-- Occurrence of an implicit parameter
 
-  | LiteralOrigin HsOverLit	-- Occurrence of a literal
+  | LiteralOrigin (HsOverLit Name)	-- Occurrence of a literal
 
   | ArithSeqOrigin (ArithSeqInfo Name) -- [x..], [x..y] etc
   | PArrSeqOrigin  (ArithSeqInfo Name) -- [:x..y:] and [:x,y..z:]