Skip to content
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

Simpler float index conv., xsd:double fix #196 #199

Merged
merged 3 commits into from
Mar 15, 2019
Merged

Simpler float index conv., xsd:double fix #196 #199

merged 3 commits into from
Mar 15, 2019

Commits on Mar 14, 2019

  1. Simpler float index conversion, xsd:double alias

    In another change we may want to also restore if the original value was
    xsd:double or xsd:decimal
    niklas88 committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    309c1ce View commit details
    Browse the repository at this point in the history
  2. Mark xsd:double/decimal in the index fixes #196

    This is similar to our previous treatment of xsd:integer vs xsd:float
    and allows us to filter on decimals and doubles while retrieving them
    with the correct type information instead of just treating them as
    aliases for xsd:float
    
    NOTE: This requires an index rebuild!
    niklas88 committed Mar 14, 2019
    Configuration menu
    Copy the full SHA
    639a3cc View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2019

  1. Use NumericType directly for comparisons

    Also addresses a few other nitpicks from the review
    niklas88 committed Mar 15, 2019
    Configuration menu
    Copy the full SHA
    fe4631e View commit details
    Browse the repository at this point in the history