[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