fix pretty printer to add a space in EffectBind

This commit is contained in:
Paul Chiusano 2019-03-05 09:54:04 -05:00
parent 0bfacc4b5a
commit c99b566ca3

View File

@ -335,8 +335,12 @@ prettyPattern n p vs patt = case patt of
Pattern.EffectBind _ ref i pats k_pat ->
let (pats_printed , tail_vs ) = patternsSep PP.softbreak vs pats
(k_pat_printed, eventual_tail) = prettyPattern n 0 tail_vs k_pat
in ("{" <> prettyHashQualified (PrettyPrintEnv.patternName n ref i)
<> (intercalateMap " " id [pats_printed, "->", k_pat_printed]) <>
in ("{" <>
(PP.sep " " . PP.nonEmpty $ [
prettyHashQualified (PrettyPrintEnv.patternName n ref i),
pats_printed,
"->",
k_pat_printed]) <>
"}"
, eventual_tail)
t -> (l "error: " <> l (show t), vs)