github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

Use the top-level definition of with.

Browse Source
This commit is contained in:
Rob Rix 2019-07-18 14:29:57 -04:00
parent d7e4f2129d
commit fbb5688bd4
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
semantic-core/src/Data/Core/Pretty.hs
View File

@ -64,8 +64,8 @@ prettyCore style = run . runReader @Prec 0 . go (pure . name)
Let a -> pure $ keyword "let" <+> name a
a :>> b -> do
prec <- ask @Prec
fore <- with 12 a
aft <- with 12 b
fore <- with 12 (go var a)
aft <- with 12 (go var b)
let open = symbol ("{" <> softline)
close = symbol (softline <> "}")
@ -106,8 +106,7 @@ prettyCore style = run . runReader @Prec 0 . go (pure . name)
-- Annotations are not pretty-printed, as it lowers the signal/noise ratio too profoundly.
Ann _ c -> go var c
where with n m = local (const (n :: Prec)) (go var m)
bind (Ignored x) f = let x' = name x in (,) x' <$> go (incr (const (pure x')) var) (fromScope f)
where bind (Ignored x) f = let x' = name x in (,) x' <$> go (incr (const (pure x')) var) (fromScope f)
lambda = case style of
Unicode -> symbol "λ"
Ascii -> symbol "\\"