Skip to content

Commit

Permalink
Fix spacing for fold/unfold function rules
Browse files Browse the repository at this point in the history
Down to 19 failures
  • Loading branch information
alanz committed Jun 9, 2024
1 parent 1bc6c79 commit c454159
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion Retrie/Rewrites/Function.hs
Original file line number Diff line number Diff line change
Expand Up @@ -64,8 +64,10 @@ matchToRewrites
-> Direction
-> LMatch GhcPs (LHsExpr GhcPs)
-> TransformT IO [Rewrite (LHsExpr GhcPs)]
matchToRewrites e imps dir (L _ alt) = do
matchToRewrites e imps dir (L _ alt') = do
-- lift $ debugPrint Loud "matchToRewrites:e=" [showAst e]
-- lift $ debugPrint Loud "matchToRewrites:alt=" [showAst alt']
let alt = makeDeltaAst alt'
let
pats = m_pats alt
grhss = m_grhss alt
Expand Down Expand Up @@ -113,6 +115,8 @@ makeFunctionQuery e imps dir grhss mkAppFn (argpats, bndpats)
-- See Note [Wildcards]
(es,(_,bs')) <- runStateT (mapM patToExpr argpats) (wildSupply bs, bs)
-- lift $ debugPrint Loud "makeFunctionQuery:e=" [showAst e]
-- lift $ debugPrint Loud "makeFunctionQuery:argpats=" [showAst argpats]
-- lift $ debugPrint Loud "makeFunctionQuery:es=" [showAst es]
lhs <- mkAppFn e es
for rhss $ \ grhs -> do
le <- mkLet lbs (grhsToExpr grhs)
Expand Down

0 comments on commit c454159

Please sign in to comment.