Skip to content

GitLab

Commit 7d7c284b authored by Simon Marlow's avatar Simon Marlow
Browse files

Rename BTail -> BCons, BHead -> BSnoc

parent 2a662bdb
Show whitespace changes
Inline Side-by-side
compiler/cmm/Hoopl/Dataflow.hs
View file @ 7d7c284b
...@@ -173,8 +173,8 @@ arfGraph pass@FwdPass { fp_lattice = lattice, ...@@ -173,8 +173,8 @@ arfGraph pass@FwdPass { fp_lattice = lattice,
block (BMiddle n) f = node n f block (BMiddle n) f = node n f
block (BCat b1 b2) f = (block b1 `cat` block b2) f block (BCat b1 b2) f = (block b1 `cat` block b2) f
block (BHead h n) f = (block h `cat` node n) f block (BSnoc h n) f = (block h `cat` node n) f
block (BTail n t) f = (node n `cat` block t) f block (BCons n t) f = (node n `cat` block t) f
{-# INLINE node #-} {-# INLINE node #-}
node :: forall e x . (ShapeLifter e x) node :: forall e x . (ShapeLifter e x)
...@@ -272,8 +272,8 @@ analyzeFwd FwdPass { fp_lattice = lattice, ...@@ -272,8 +272,8 @@ analyzeFwd FwdPass { fp_lattice = lattice,
block (BMiddle n) f = mtr n f block (BMiddle n) f = mtr n f
block (BCat b1 b2) f = (block b1 `cat` block b2) f block (BCat b1 b2) f = (block b1 `cat` block b2) f
block (BHead h n) f = (block h `cat` mtr n) f block (BSnoc h n) f = (block h `cat` mtr n) f
block (BTail n t) f = (mtr n `cat` block t) f block (BCons n t) f = (mtr n `cat` block t) f
{-# INLINE cat #-} {-# INLINE cat #-}
cat :: forall f1 f2 f3 . (f1 -> f2) -> (f2 -> f3) -> (f1 -> f3) cat :: forall f1 f2 f3 . (f1 -> f2) -> (f2 -> f3) -> (f1 -> f3)
...@@ -357,8 +357,8 @@ analyzeBwd BwdPass { bp_lattice = lattice, ...@@ -357,8 +357,8 @@ analyzeBwd BwdPass { bp_lattice = lattice,
block (BMiddle n) f = mtr n f block (BMiddle n) f = mtr n f
block (BCat b1 b2) f = (block b1 `cat` block b2) f block (BCat b1 b2) f = (block b1 `cat` block b2) f
block (BHead h n) f = (block h `cat` mtr n) f block (BSnoc h n) f = (block h `cat` mtr n) f
block (BTail n t) f = (mtr n `cat` block t) f block (BCons n t) f = (mtr n `cat` block t) f
{-# INLINE cat #-} {-# INLINE cat #-}
cat :: forall f1 f2 f3 . (f2 -> f3) -> (f1 -> f2) -> (f1 -> f3) cat :: forall f1 f2 f3 . (f2 -> f3) -> (f1 -> f2) -> (f1 -> f3)
...@@ -439,8 +439,8 @@ arbGraph pass@BwdPass { bp_lattice = lattice, ...@@ -439,8 +439,8 @@ arbGraph pass@BwdPass { bp_lattice = lattice,
block (BMiddle n) f = node n f block (BMiddle n) f = node n f
block (BCat b1 b2) f = (block b1 `cat` block b2) f block (BCat b1 b2) f = (block b1 `cat` block b2) f
block (BHead h n) f = (block h `cat` node n) f block (BSnoc h n) f = (block h `cat` node n) f
block (BTail n t) f = (node n `cat` block t) f block (BCons n t) f = (node n `cat` block t) f
{-# INLINE node #-} {-# INLINE node #-}
node n f node n f
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment