[Git][ghc/ghc][wip/refactor-demand] Fix oversight in lubCard

[Sebastian Graf]

Sebastian Graf pushed to branch wip/refactor-demand at Glasgow Haskell Compiler / GHC


Commits:
c26e25e6 by Sebastian Graf at 2020-10-30T14:48:48+01:00
Fix oversight in lubCard

- - - - -


1 changed file:

- compiler/GHC/Types/Demand.hs


Changes:

=====================================
compiler/GHC/Types/Demand.hs
=====================================
@@ -415,6 +415,7 @@ lubCard C_11 C_00 = C_01 -- {0} ∪ {1} = {0,1}
 lubCard C_11 n    = n    -- {1} is a subset of all other intervals
 lubCard n    C_11 = n    -- {1} is a subset of all other intervals
 -- Handle C_1N
+lubCard C_1N C_1N = C_1N -- reflexivity
 lubCard _    C_1N = C_0N -- {0} ∪ {1,n} = top
 lubCard C_1N _    = C_0N -- {0} ∪ {1,n} = top
 -- Handle C_01



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c26e25e6e1cecdc636993bd2e33a9d36b966d936

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c26e25e6e1cecdc636993bd2e33a9d36b966d936
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20201030/86d310b8/attachment-0001.html>