Good news, bad news

[John Rose]

On May 23, 2011, at 2:26 PM, Charles Oliver Nutter wrote:

> * GWT

GWT changed, but in a way that should make it easier (not harder) to inline.  That could be the problem.

The new format (using ricochet frames) is:

  GWT(p,t,f)(*a) := ( selectAlternative(p(*a), t, f) ).invokeExact(*a)
    where selectAlternative(z,a,b) := z?a:b

Or:
  GWT(p,t,f) := foldArguments(tailcall, folder)
    where
      tailcall := exactInvoker(t.type())
      chooser := selectAlternative.insertArguments(1,t,f)
      folder := filterReturnValue(p, chooser)

The new MHW code should allow the foldArguments node to be inlined.  But that may be the weakest link.

-- John