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

Remove unnecessary import, plus white space

parent 73b16e34
...@@ -106,7 +106,6 @@ import FunDeps ...@@ -106,7 +106,6 @@ import FunDeps
import TcRnTypes import TcRnTypes
import Control.Monad
import Data.IORef import Data.IORef
\end{code} \end{code}
...@@ -327,9 +326,10 @@ combineCtLoc _ (Derived loc ) = loc ...@@ -327,9 +326,10 @@ combineCtLoc _ (Derived loc ) = loc
combineCtLoc _ _ = panic "combineCtLoc: both given" combineCtLoc _ _ = panic "combineCtLoc: both given"
mkGivenFlavor :: CtFlavor -> SkolemInfo -> CtFlavor mkGivenFlavor :: CtFlavor -> SkolemInfo -> CtFlavor
mkGivenFlavor (Wanted loc) sk = Given (setCtLocOrigin loc sk) mkGivenFlavor (Wanted loc) sk = Given (setCtLocOrigin loc sk)
mkGivenFlavor (Derived loc) sk = Given (setCtLocOrigin loc sk) mkGivenFlavor (Derived loc) sk = Given (setCtLocOrigin loc sk)
mkGivenFlavor (Given loc) sk = Given (setCtLocOrigin loc sk) mkGivenFlavor (Given loc) sk = Given (setCtLocOrigin loc sk)
mkWantedFlavor :: CtFlavor -> CtFlavor mkWantedFlavor :: CtFlavor -> CtFlavor
mkWantedFlavor (Wanted loc) = Wanted loc mkWantedFlavor (Wanted loc) = Wanted loc
......
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