You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-- we send this PROBE here since GHCi has its own mind on how it prefixes output based on its native needs. By sending the probe we can guess what is the latest prompt and then discard it while processing thye output.
61
-
probe <- exec g ":{\nshow (\"PROBE_PROMPT\"::String)\n:}\n"
61
+
probe <- exec g ":{\nshow (\"PANDOC_FILTER_PROBE_PROMPT_INTERNAL\"::String)\n:}\n"
62
62
let current_prompt = preparePrompt probe
63
63
where
64
64
preparePrompt probe' =
65
-
let prompt =T.replace "\"\\\"PROBE_PROMPT\\\"\"\n""" (T.pack .unlines$ probe')
65
+
let prompt =T.replace "\"\\\"PANDOC_FILTER_PROBE_PROMPT_INTERNAL\\\"\"\n""" (T.pack .unlines$ probe')
0 commit comments