From 24bcd8b0d5cc36727e92a01b981daa67e0f77a4c Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 10 Feb 1999 14:39:19 +0000
Subject: [PATCH] [project @ 1999-02-10 14:39:19 by simonpj] Import instance
involving (->)... Paul Callaghan bug report
---
ghc/compiler/rename/Rename.lhs | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/ghc/compiler/rename/Rename.lhs b/ghc/compiler/rename/Rename.lhs
index f9aafff5762f..1ca1b2733e7f 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
--
GitLab