Skip to content

x > y should be a permissible constraint #181

Open

Description

@dcorbin

I was a bit surprised that this constraint seems to have no effect.

alpha[width] > 500 !require;

Simply changing it to

alpha[width] >= 500 !require;

and it worked great.

Activity

  1. Inviz commented on Apr 17, 2015

    @Inviz
    Contributor

    The problem is that 500.0000000001 is a valid solution to > 500 constraint. This is just a convention for everybody to always keep that fact in mind. There's some code to generate >= 500 + 1, but it may not be used at the moment.

  2. dcorbin commented on Apr 17, 2015

    @dcorbin
    Author

    Sure. But I'm looking at ti from a usability perspective. People will expect it. I did. No error was generated, and i wasted a chunk of time. Generating an error would be an improvement, but making it work they way most folks will expect it to has value.

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions