Skip to content

A decimal exponent is not required for a number #204

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jul 18, 2022
Merged

A decimal exponent is not required for a number #204

merged 2 commits into from
Jul 18, 2022

Conversation

MaybeJustJames
Copy link
Contributor

@MaybeJustJames MaybeJustJames commented Jul 18, 2022

This ensures that a decimal exponent is optional in the Parsing.String.Basic.number parser. Fixes #203.


Checklist:

  • Added the change to the changelog's "Unreleased" section with a link to this PR and your username
  • Linked any existing issues or proposals that this pull request should close
  • Updated or added relevant documentation in the README and/or documentation directory
  • Added a test for the contribution (if applicable)

@@ -120,7 +120,7 @@ number =
numberRegex :: forall m. ParserT String m String
numberRegex = either unsafeCrashWith identity $ regex pattern mempty
where
pattern = "[+-]?[0-9]*(\\.[0-9]*)?([eE][+-]?[0-9]*(\\.[0-9]*))?"
pattern = "[+-]?[0-9]*(\\.[0-9]*)?([eE][+-]?[0-9]*(\\.[0-9]*)?)?"
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since this makes everything optional, won't this also successfully parse things that aren't numbers (e.g. "foo)?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It makes the group (\\.[0-9]*) optional. So only a decimal point followed by 0 or more decimal digits becomes optional.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[+-]? -- these chars are optional
[0-9]* -- there can be 0 or more of these chars
(\\.[0-9]*)? -- these chars can be optional
(
  [eE] -- not optional
  [+-]? -- optional
  [0-9]* -- 0 or more chars
  (\\.[0-9]*)? -- now optional (previously wasn't)
)? -- Wait! This entire block is already optional!?

Nevermind, I think my issue is with the regex as a whole since all parts are optional.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Huh, that is a good point. There should probably be an "or" somewhere early on so that it matches either a digit or a . followed by a digit at a minimum.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's really hard to write a regex that admits all legal number strings but no other strings, but luckily that's not what we're doing here. We only need to find the number substring boundary so that we can pass the substring to the Data.Number.fromString function. So

  1. We need to admit all number strings. That's the first importance, and this PR fixes that.
  2. It's okay if we admit some string that are not number strings. They'll be rejected by Data.Number.fromString.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ah okay, that totally makes sense! I probably should have looked outside the context of this regex.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, thanks for clarifying that!

Copy link
Member

@garyb garyb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@jamesdbrock
Copy link
Member

Thanks for the PR! I'll merge.

@jamesdbrock jamesdbrock merged commit 5d39a17 into purescript-contrib:main Jul 18, 2022
@jamesdbrock
Copy link
Member

I'll make a release too.

@jamesdbrock
Copy link
Member

I made a release, thanks again @MaybeJustJames

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

Successfully merging this pull request may close these issues.

Parsing a number in scientific notation _without_ a decimal exponent fails.
4 participants