unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-12 12:50:21 +03:00
Code Issues Projects Releases Wiki Activity

fix #4352 and add regression test

Browse Source
This commit is contained in:
Paul Chiusano 2023-11-04 09:27:25 -05:00
parent ddf15e39b3
commit 6d704104a5
3 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/Syntax/TermPrinter.hs
View File

@ -228,7 +228,7 @@ pretty0
tm' <- pretty0 (ac 10 Normal im doc) tm tm' <- pretty0 (ac 10 Normal im doc) tm
tp' <- TypePrinter.pretty0 im 0 t tp' <- TypePrinter.pretty0 im 0 t
pure . paren (p >= 0) $ tm' <> PP.hang (fmt S.TypeAscriptionColon " :") tp' pure . paren (p >= 0) $ tm' <> PP.hang (fmt S.TypeAscriptionColon " :") tp'
Int' i -> pure . fmt S.NumericLiteral $ (if i >= 0 then l "+" else mempty) <> l (show i) Int' i -> pure . fmt S.NumericLiteral . l $ (if i >= 0 then ("+" ++ show i) else (show i))
Nat' u -> pure . fmt S.NumericLiteral . l $ show u Nat' u -> pure . fmt S.NumericLiteral . l $ show u
Float' f -> pure . fmt S.NumericLiteral . l $ show f Float' f -> pure . fmt S.NumericLiteral . l $ show f
-- TODO How to handle Infinity, -Infinity and NaN? Parser cannot parse -- TODO How to handle Infinity, -Infinity and NaN? Parser cannot parse

3
unison-src/transcripts-round-trip/main.output.md
View File

@ -265,6 +265,9 @@ So we can see the pretty-printed output:
Some x -> x Some x -> x
None -> bug "oops" None -> bug "oops"
fix_4352 : Doc2
fix_4352 = {{ `` +1 `` }}
Fix_525.bar.quaffle : Nat Fix_525.bar.quaffle : Nat
Fix_525.bar.quaffle = 32 Fix_525.bar.quaffle = 32

2
unison-src/transcripts-round-trip/reparses-with-same-hash.u
View File

@ -466,3 +466,5 @@ test3 = do
-- this would previously get printed as `Join.Join` -- this would previously get printed as `Join.Join`
structural type foo.Join = structural type foo.Join =
Table | Join Boolean | Values [Nat] Table | Join Boolean | Values [Nat]
fix_4352 = {{``+1``}}