Re: Type inference and pragma issues in lambdas

[idobai]

But this is ok:
    
    
    proc doIt(x: (string, proc(): void)) =
      echo x[0]
    
    proc make1(x: string, y: proc(): void): (string, proc(): void) = (x, y)
    
    doIt(make1("xx", proc(): void = echo "aa"))
    
    
    Run

Doesn't make any sense.