async lowering failures

[nomeata]

This program typechecks:

let a = actor {
  hello () : async Text {
    "Hello ";
  };
  world () : async Text {
    "World!\n"
  };
  go () : async () {
    print((await hello()) # (await world()));
  };
};

let _ = a.go()

Yet the lowering seems to do the wrong thing, as shown by compiling this with -dl:

(BlockE
  (LetD
    (VarP a)
    (ObjE
      Actor
      anon-actor-1.9
…
      (go
        go
        (DecE
          (FuncD
            Local
            go
            (TupP (TupP) (VarP $13))
            (TupT
              (FuncT Call Local (FuncT Call Local (TupT) (TupT)) (TupT))
              (FuncT
                Call Sharable
                (FuncT Call Local (FuncT Call Local (TupT) (TupT)) (TupT))
                (TupT)
              )
            )
            (CallE
…
          )
        )
        Const
        Public
      )
    )
  )
  (LetD WildP (CallE (DotE (VarE a) go) (TupE)))
)

Note that the type of a.go changes: It gains an extra parameter taking the continuation, but the call to a.go is not affected.

[crusso]

Yeah, I'm looking a the code again and finding lots of issue. Hold off
for now...

[nomeata]

Ok ok :-)

[crusso]

Buggy as promised ;->