Jira (PUP-3401) Type system does not handle Pattern correctly

[Henrik Lindberg (JIRA)]

Title: Message Title

Henrik Lindberg commented on an issue   Re: Type system does not handle Pattern correctly yes, that is correct: Pattern > Pattern[/.*/] The cases read: "a specific pattern does not match a larger set of string than all patterns" "a specific pattern matches a smaller set of strings than all patterns" "a specific pattern does match an identical set of string as all patterns" Where you thinking that the type system would understand that /./ actually matches all strings? We have not gone that far as it would be very very difficult in practice to compare patterns and decide what is a subset and what is a superset. Thus the /./ may look like an error but it is specified as "any pattern" makes the Pattern type more specific than the unparameterized type. Add Comment   Puppet / PUP-3401 Type system does not handle Pattern correctly The Pattern type has similar problems to the Enum type + it is not implemented correctly. {code} Pattern < Pattern[/.*/] # false Pattern > Pattern[/.*/] # false Pattern == Pattern[/.*/] # false {code} That is not correct and neither complies with the spec, nor the the "law of least surprise" This message was sent by Atlassian JIRA (v6.1.4#6159-sha1:44eaede) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at http://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/d/optout.