Commit e415777c authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk

Detabbing

parent 27770ae5
...@@ -294,7 +294,7 @@ canDoGenerics1_w rep_tc ...@@ -294,7 +294,7 @@ canDoGenerics1_w rep_tc
check_vanilla :: DataCon -> Maybe SDoc check_vanilla :: DataCon -> Maybe SDoc
check_vanilla con | isVanillaDataCon con = Nothing check_vanilla con | isVanillaDataCon con = Nothing
| otherwise = Just (bad con existential) | otherwise = Just (bad con existential)
-- the Bool is if the parameter occurs in the type -- the Bool is if the parameter occurs in the type
ft_check :: DataCon -> FFoldType (Bool, S.State [Name] (Maybe SDoc)) ft_check :: DataCon -> FFoldType (Bool, S.State [Name] (Maybe SDoc))
...@@ -306,7 +306,7 @@ canDoGenerics1_w rep_tc ...@@ -306,7 +306,7 @@ canDoGenerics1_w rep_tc
-- applications, so we must compensate with extra logic -- applications, so we must compensate with extra logic
-- to ensure that the variable only occurs as the last -- to ensure that the variable only occurs as the last
-- argument. -- argument.
, ft_fun = \x y -> if fst x then (True, return $ Just $ bad con wrong_arg) , ft_fun = \x y -> if fst x then (True, return $ Just $ bad con wrong_arg)
else x `bmplus` y else x `bmplus` y
, ft_tup = \_ xs -> , ft_tup = \_ xs ->
if not (null xs) && any fst (init xs) if not (null xs) && any fst (init xs)
......
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