Skip to content

Fix: remove double minus sign#1350

Merged
Gabriella439 merged 1 commit intodhall-lang:masterfrom
kukimik:patch-2
Sep 25, 2023
Merged

Fix: remove double minus sign#1350
Gabriella439 merged 1 commit intodhall-lang:masterfrom
kukimik:patch-2

Conversation

@kukimik
Copy link
Copy Markdown
Contributor

@kukimik kukimik commented Sep 21, 2023

I am not 100% sure what I am doing, but this looks like a bug, because for negative integers show n already contains the leading - sign.

On the other hand, perhaps "-" <> Text.pack (show $ abs n) would be more explicit?

@Gabriella439 Gabriella439 merged commit 3ea1c1e into dhall-lang:master Sep 25, 2023
@Gabriella439
Copy link
Copy Markdown
Contributor

Yeah, that was definitely a bug. Thanks for fixing that!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants