[commit: ghc] ghc-7.2: Remove mention of -fno-method-sharing from comments and docs (7ece628)
Ian Lynagh
igloo at earth.li
Fri Jul 8 17:10:46 CEST 2011
Repository : ssh://darcs.haskell.org//srv/darcs/ghc
On branch : ghc-7.2
http://hackage.haskell.org/trac/ghc/changeset/7ece628455956214a8abb53f8e83bab6dda04b81
>---------------------------------------------------------------
commit 7ece628455956214a8abb53f8e83bab6dda04b81
Author: Ian Lynagh <igloo at earth.li>
Date: Wed Jul 6 12:25:27 2011 +0100
Remove mention of -fno-method-sharing from comments and docs
>---------------------------------------------------------------
compiler/typecheck/TcExpr.lhs | 16 ----------------
docs/users_guide/flags.xml | 7 -------
2 files changed, 0 insertions(+), 23 deletions(-)
diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index ee6a34a..e547340 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -1050,22 +1050,6 @@ Here's a concrete example that does this (test tc200):
Current solution: only do the "method sharing" thing for the first type/dict
application, not for the iterated ones. A horribly subtle point.
-Note [No method sharing]
-~~~~~~~~~~~~~~~~~~~~~~~~
-The -fno-method-sharing flag controls what happens so far as the LIE
-is concerned. The default case is that for an overloaded function we
-generate a "method" Id, and add the Method Inst to the LIE. So you get
-something like
- f :: Num a => a -> a
- f = /\a (d:Num a) -> let m = (+) a d in \ (x:a) -> m x x
-If you specify -fno-method-sharing, the dictionary application
-isn't shared, so we get
- f :: Num a => a -> a
- f = /\a (d:Num a) (x:a) -> (+) a d x x
-This gets a bit less sharing, but
- a) it's better for RULEs involving overloaded functions
- b) perhaps fewer separated lambdas
-
\begin{code}
doStupidChecks :: TcId
-> [TcType]
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 8b352d0..e8e262d 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1397,13 +1397,6 @@
</row>
<row>
- <entry><option>-fmethod-sharing</option></entry>
- <entry>Share specialisations of overloaded functions (default)</entry>
- <entry>dynamic</entry>
- <entry><option>-fno-method-sharing</option></entry>
- </row>
-
- <row>
<entry><option>-fdo-eta-reduction</option></entry>
<entry>Enable eta-reduction. Implied by <option>-O</option>.</entry>
<entry>dynamic</entry>
More information about the Cvs-ghc
mailing list