Return computed tables with annotate

[mvoidex]

I need both import table and module table:

itbl = importTable env m
defs = moduleSymbols itbl m
tbl = moduleTable itbl m

But I also need annotated module

annotated = annotate env m

The problem is that annotate computes these tables too (and it takes noticeable time), but doesn't return it. Can we have new function, which annotates module and also returns these tables?

[phischu]

Would an alternative annotation function that takes the module table as an argument be ok too?

annotateWithTable ::
  (Data l, Eq l, SrcInfo l) =>
  Environment -> Global.Table -> Module l -> Module (Scoped l)

Then you would compute the module table (and import table) yourself and provide it to this function.

[mvoidex]

Yes, it will be ok