Commit 6e335238 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

A bug in isClosedUnfolding

isClosedUnfolding should say False for DFUnUnfolding!
parent 4ce88e32
......@@ -622,6 +622,7 @@ unfoldingArity _ = panic "unfoldingArity"
isClosedUnfolding :: Unfolding -> Bool -- No free variables
isClosedUnfolding (CoreUnfolding {}) = False
isClosedUnfolding (DFunUnfolding {}) = False
isClosedUnfolding _ = True
-- | Only returns False if there is no unfolding information available at all
......
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