Thread overview
[dmd-internals] [D-Programming-Language/dmd] dfb683: add purity inference
Jun 20, 2011
Jonathan M Davis
Jun 20, 2011
Don Clugston
Jun 20, 2011
Walter Bright
Jun 20, 2011
Brad Roberts
Jun 20, 2011
Walter Bright
June 20, 2011
  Branch: refs/heads/master
  Home:   https://github.com/D-Programming-Language/dmd

  Commit: dfb683f63ec89709b0bf2760ef3b2a249ce320eb
      https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2760ef3b2a249ce320eb
  Author: Walter Bright <walter at walterbright.com>
  Date:   2011-06-20 (Mon, 20 Jun 2011)

  Changed paths:
    M src/constfold.c
  M src/declaration.h
  M src/expression.c
  M src/func.c
  M src/mtype.c
  M src/mtype.h

  Log Message:
  -----------
  add purity inference


June 20, 2011
On 2011-06-20 01:08, noreply at github.com wrote:
>   Branch: refs/heads/master
>   Home:   https://github.com/D-Programming-Language/dmd
> 
>   Commit: dfb683f63ec89709b0bf2760ef3b2a249ce320eb
> 
> https://github.com/D-Programming-Language/dmd/commit/dfb683f63ec89709b0bf2
> 760ef3b2a249ce320eb Author: Walter Bright <walter at walterbright.com>
>   Date:   2011-06-20 (Mon, 20 Jun 2011)
> 
>   Changed paths:
>     M src/constfold.c
>   M src/declaration.h
>   M src/expression.c
>   M src/func.c
>   M src/mtype.c
>   M src/mtype.h
> 
>   Log Message:
>   -----------
>   add purity inference

So, is this the implementation for some sort of auto pure to make it possible for templated functions to be pure based on what they're templatized with? Or is it something else?

- Jonathan M Davis
June 20, 2011
>> ? Log Message:
>> ? -----------
>> ? add purity inference
>
> So, is this the implementation for some sort of auto pure to make it possible for templated functions to be pure based on what they're templatized with? Or is it something else?

I believe it is purity inference for delegate literals and function literals.
June 20, 2011

On 6/20/2011 2:25 AM, Don Clugston wrote:
>>>    Log Message:
>>>    -----------
>>>    add purity inference
>> So, is this the implementation for some sort of auto pure to make it possible for templated functions to be pure based on what they're templatized with? Or is it something else?
> I believe it is purity inference for delegate literals and function literals.
>

And template functions.
June 20, 2011
On Mon, 20 Jun 2011, Walter Bright wrote:

> On 6/20/2011 2:25 AM, Don Clugston wrote:
> > > >    Log Message:
> > > >    -----------
> > > >    add purity inference
> > > So, is this the implementation for some sort of auto pure to make it
> > > possible
> > > for templated functions to be pure based on what they're templatized with?
> > > Or
> > > is it something else?
> > I believe it is purity inference for delegate literals and function literals.
> > 
> 
> And template functions.

My, what a nice pretty shade of red the entire world seems to be. :)
June 20, 2011

On 6/20/2011 11:26 AM, Brad Roberts wrote:
> On Mon, 20 Jun 2011, Walter Bright wrote:
>
>> On 6/20/2011 2:25 AM, Don Clugston wrote:
>>>>>     Log Message:
>>>>>     -----------
>>>>>     add purity inference
>>>> So, is this the implementation for some sort of auto pure to make it
>>>> possible
>>>> for templated functions to be pure based on what they're templatized with?
>>>> Or
>>>> is it something else?
>>> I believe it is purity inference for delegate literals and function literals.
>>>
>> And template functions.
> My, what a nice pretty shade of red the entire world seems to be. :)
>

I'm not gettin' the reference!