diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2012-07-06 11:21:33 +0100 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2012-07-06 16:49:58 +0100 |
| commit | 7d7c284bbc7204ee430e0717e8883e0d38035bb8 (patch) | |
| tree | 29db279a155289b4646c60c26982d6277272345f | |
| parent | 2a662bdbfe7793ec8d46f06f06ee1bd0c9c06224 (diff) | |
| download | haskell-7d7c284bbc7204ee430e0717e8883e0d38035bb8.tar.gz | |
Rename BTail -> BCons, BHead -> BSnoc
| -rw-r--r-- | compiler/cmm/Hoopl/Dataflow.hs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/compiler/cmm/Hoopl/Dataflow.hs b/compiler/cmm/Hoopl/Dataflow.hs index 9745eac9d8..e35beb93e9 100644 --- a/compiler/cmm/Hoopl/Dataflow.hs +++ b/compiler/cmm/Hoopl/Dataflow.hs @@ -173,8 +173,8 @@ arfGraph pass@FwdPass { fp_lattice = lattice, block (BMiddle n) f = node n f block (BCat b1 b2) f = (block b1 `cat` block b2) f - block (BHead h n) f = (block h `cat` node n) f - block (BTail n t) f = (node n `cat` block t) f + block (BSnoc h n) f = (block h `cat` node n) f + block (BCons n t) f = (node n `cat` block t) f {-# INLINE node #-} node :: forall e x . (ShapeLifter e x) @@ -272,8 +272,8 @@ analyzeFwd FwdPass { fp_lattice = lattice, block (BMiddle n) f = mtr n f block (BCat b1 b2) f = (block b1 `cat` block b2) f - block (BHead h n) f = (block h `cat` mtr n) f - block (BTail n t) f = (mtr n `cat` block t) f + block (BSnoc h n) f = (block h `cat` mtr n) f + block (BCons n t) f = (mtr n `cat` block t) f {-# INLINE cat #-} cat :: forall f1 f2 f3 . (f1 -> f2) -> (f2 -> f3) -> (f1 -> f3) @@ -357,8 +357,8 @@ analyzeBwd BwdPass { bp_lattice = lattice, block (BMiddle n) f = mtr n f block (BCat b1 b2) f = (block b1 `cat` block b2) f - block (BHead h n) f = (block h `cat` mtr n) f - block (BTail n t) f = (mtr n `cat` block t) f + block (BSnoc h n) f = (block h `cat` mtr n) f + block (BCons n t) f = (mtr n `cat` block t) f {-# INLINE cat #-} cat :: forall f1 f2 f3 . (f2 -> f3) -> (f1 -> f2) -> (f1 -> f3) @@ -439,8 +439,8 @@ arbGraph pass@BwdPass { bp_lattice = lattice, block (BMiddle n) f = node n f block (BCat b1 b2) f = (block b1 `cat` block b2) f - block (BHead h n) f = (block h `cat` node n) f - block (BTail n t) f = (node n `cat` block t) f + block (BSnoc h n) f = (block h `cat` node n) f + block (BCons n t) f = (node n `cat` block t) f {-# INLINE node #-} node n f |