Bernd Schmidt writes:
> On 11/09/2015 03:57 PM, Richard Sandiford wrote:
>
>> I'm not sure what you mean by "fix" though. I don't think we can change
>> any of the constraints above.
>
> I don't see why they couldn't be relaxed. What's stopping us from
> defining some builtins independently of t
On 11/09/2015 03:57 PM, Richard Sandiford wrote:
I'm not sure what you mean by "fix" though. I don't think we can change
any of the constraints above.
I don't see why they couldn't be relaxed. What's stopping us from
defining some builtins independently of the frontends, and don't all
langu
Bernd Schmidt writes:
> On 11/09/2015 11:24 AM, Richard Sandiford wrote:
>> Bernd Schmidt writes:
>>> I see it's already acked, but have you considered just doing away with
>>> the builtin/internal function distinction?
>>
>> I think they're too different to be done away with entirely. built-in
On 11/09/2015 11:24 AM, Richard Sandiford wrote:
Bernd Schmidt writes:
I see it's already acked, but have you considered just doing away with
the builtin/internal function distinction?
I think they're too different to be done away with entirely. built-in
functions map directly to a specific
Bernd Schmidt writes:
> On 11/07/2015 01:22 PM, Richard Sandiford wrote:
>> I'm working on a patch series that needs to be able to treat built-in
>> functions and internal functions in a similar way. This patch adds a
>> new enum, combined_fn, that combines the two together. It also adds
>> util
On 11/07/2015 01:22 PM, Richard Sandiford wrote:
I'm working on a patch series that needs to be able to treat built-in
functions and internal functions in a similar way. This patch adds a
new enum, combined_fn, that combines the two together. It also adds
utility functions for seeing which co
On 11/07/2015 05:22 AM, Richard Sandiford wrote:
I'm working on a patch series that needs to be able to treat built-in
functions and internal functions in a similar way. This patch adds a
new enum, combined_fn, that combines the two together. It also adds
utility functions for seeing which comb