Skip to content

Commit 8976ee6

Browse files
committed
inline delayed use
1 parent b08a696 commit 8976ee6

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

src/Formula/Parsing/Delayed.hs

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -66,17 +66,19 @@ parseDelayedAbortOrProcess ::
6666
=> Parser a
6767
-> (Maybe ParseError -> ParseError -> State (Map Language String) ())
6868
-> Parser ()
69-
-> Delayed a
69+
-> String
7070
-> (a -> LangM' (ReportT o m) b)
7171
-> LangM' (ReportT o m) b
72-
parseDelayedAbortOrProcess p messaging fallBackParser delayedAnswer whatToDo =
73-
case parseDelayed (fully p) delayedAnswer of
72+
parseDelayedAbortOrProcess p messaging fallBackParser answerString whatToDo =
73+
case parseDelayed (fully p) asDelayed of
7474
Left err -> toAbort (indent $ translate $
7575
messaging (either Just (const Nothing) $
76-
parseDelayedRaw (fully fallBackParser) delayedAnswer)
76+
parseDelayedRaw (fully fallBackParser) asDelayed)
7777
err
7878
)
7979
Right x -> whatToDo x
80+
where
81+
asDelayed = delayed answerString
8082

8183
parseDelayedWithAndThen ::
8284
OutputCapable m

0 commit comments

Comments
 (0)