Jira (PUP-5712) TypeParser cannot handle negative numbers

Henrik Lindberg (JIRA) Thu, 14 Jan 2016 16:19:15 -0800

Title: Message Title

PUP-5712

I should have added - any constexpr would be fine as long as it is never presented to the external world as anything besides literal values (not needed any computation.
Obviously something like:

Integer[1, 1+1]

is trivial to implement, but this is also a constexpr:

{1 => Integer, 2 =>String, 3 => Integer}.filter |$k, $t| { $k % 2 == 0 }.map |$k,$v|{$v}

Which, if we want an implemetation of the type system in some other language would cause a lot of extra work.

Hence, when asking for the signature of a function, the native (in fact, any implementation) must have evaluated type parameters down to literal values.

Add Comment

This message was sent by Atlassian JIRA

--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/puppet-bugs.
For more options, visit https://groups.google.com/d/optout.

Jira (PUP-5712) TypeParser cannot handle negative numbers

Reply via email to