[commit: ghc] wip/branchedness: Clean up (to be squashed) (6a33af7)

git at git.haskell.org git at git.haskell.org
Fri Jul 31 12:42:03 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/branchedness
Link       : http://ghc.haskell.org/trac/ghc/changeset/6a33af7496ae5205c06357a0bf359b15a30cca4c/ghc

>---------------------------------------------------------------

commit 6a33af7496ae5205c06357a0bf359b15a30cca4c
Author: Gabor Greif <ggreif at gmail.com>
Date:   Thu Jul 30 17:53:05 2015 +0200

    Clean up (to be squashed)


>---------------------------------------------------------------

6a33af7496ae5205c06357a0bf359b15a30cca4c
 compiler/types/CoAxiom.hs | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/compiler/types/CoAxiom.hs b/compiler/types/CoAxiom.hs
index 6ce048d..82433db 100644
--- a/compiler/types/CoAxiom.hs
+++ b/compiler/types/CoAxiom.hs
@@ -108,13 +108,6 @@ declaring whether it is known to be a singleton or not. The list of branches
 is stored using a special form of list, declared below, that ensures that the
 type variable is accurate.
 
-#As of this writing (Dec 2012), it would not be appropriate to use a promoted
-#type as the phantom type, so we use empty datatypes. We wish to have GHC
-#remain compilable with GHC 7.2.1. If you are revising this code and GHC no
-#longer needs to remain compatible with GHC 7.2.x, then please update this
-#code to use promoted types.
-
-
 ************************************************************************
 *                                                                      *
                     Branch lists
@@ -125,9 +118,6 @@ type variable is accurate.
 type BranchIndex = Int  -- The index of the branch in the list of branches
                         -- Counting from zero
 
--- #the phantom type labels
--- #data Unbranched deriving Typeable
--- #data Branched deriving Typeable
 -- promoted data type
 data Branchedness = Unbranched | Branched
 



More information about the ghc-commits mailing list