Skip to content

Commit

Permalink
Restyled by hlint
Browse files Browse the repository at this point in the history
  • Loading branch information
restyled-commits committed Jul 7, 2024
1 parent ef34fd5 commit 4b5890b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Disco/Interpret/CESK.hs
Original file line number Diff line number Diff line change
Expand Up @@ -200,7 +200,7 @@ step cesk = case cesk of
(Out v2 (FPairL v1 : k)) -> return $ Out (VPair v1 v2) k
(Out (VPair v1 v2) (FProj s : k)) -> return $ Out (selectSide s v1 v2) k
(Out v (FArg e c2 : k)) -> return $ In c2 e (FApp v : k)
(Out v (FMemo n sv : k)) -> memoSet n sv v *> (return $ Out v k)
(Out v (FMemo n sv : k)) -> memoSet n sv v Data.Functor.$> Out v k
(Out v (FApp (VClo mi e [x] b) : k)) -> case mi of
Nothing -> return $ In b (Ctx.insert (localName x) v e) k
Just (n, mem) -> do
Expand Down

0 comments on commit 4b5890b

Please sign in to comment.