From: simonpj <unknown>
Date: Wed, 10 Feb 1999 14:39:19 +0000 (+0000)
Subject: [project @ 1999-02-10 14:39:19 by simonpj]
X-Git-Tag: Approximately_9120_patches~6574
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=24bcd8b0d5cc36727e92a01b981daa67e0f77a4c;p=ghc-hetmet.git

[project @ 1999-02-10 14:39:19 by simonpj]
Import instance involving (->)... Paul Callaghan bug report
---

diff --git a/ghc/compiler/rename/Rename.lhs b/ghc/compiler/rename/Rename.lhs
index f9aafff..1ca1b27 100644
--- a/ghc/compiler/rename/Rename.lhs
+++ b/ghc/compiler/rename/Rename.lhs
@@ -37,6 +37,7 @@ import TyCon		( TyCon )
 import PrelMods		( mAIN, pREL_MAIN )
 import TysWiredIn	( unitTyCon, intTyCon, doubleTyCon )
 import PrelInfo		( ioTyCon_NAME, thinAirIdNames )
+import Type		( funTyCon )
 import ErrUtils		( pprBagOfErrors, pprBagOfWarnings,
 			  doIfSet, dumpIfSet, ghcExit
 			)
@@ -174,7 +175,11 @@ addImplicits mod_name
 	-- are the types to which ambigious type variables may be defaulted by
 	-- the type checker; so they won't always appear explicitly.
 	-- [The () one is a GHC extension for defaulting CCall results.]
-    default_tys = [getName intTyCon, getName doubleTyCon, getName unitTyCon ]
+	-- ALSO: funTyCon, since it occurs implicitly everywhere!
+	--  	 (we don't want to be bothered with addImplicitOcc at every
+	--	  function application)
+    default_tys = [getName intTyCon, getName doubleTyCon,
+		   getName unitTyCon, getName funTyCon]
 
 	-- Add occurrences for IO or PrimIO
     implicit_main |  mod_name == mAIN