We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
fmap
1 parent 96bd4c9 commit 53712b3Copy full SHA for 53712b3
plugins/tactics/src/Ide/Plugin/Tactic/CodeGen.hs
@@ -127,7 +127,7 @@ dataConInstOrigArgTys' :: DataCon -> [Type] -> [Type]
127
dataConInstOrigArgTys' con uniTys =
128
let exvars = dataConExTys con
129
in dataConInstOrigArgTys con $
130
- uniTys ++ map mkTyVarTy exvars
+ uniTys ++ fmap mkTyVarTy exvars
131
132
------------------------------------------------------------------------------
133
-- | Combinator for performing case splitting, and running sub-rules on the
0 commit comments