[nem-en] Integration again

[Michal Moskal]

On 11/17/06, vc <vc at rsdn.ru> wrote:
> > There should be no unresolved TExpr.Delayed after RunDelayedTypings
> > has finished (I've recently fixed one bug there though). However, if
> > you're getting exceptions in DtKind, you're also likely to get
> > unresolved TExpr.Delayed, the root cause is probably the same.
>
> But it nevertheless present in TExpr (sometime).
>
> > My suggestion would be to put assert(solver.IsTopLevel) in some
> > places. I'm not quite sure where though -- it should be pleaces where
> > you expect some typed code to be generated and stored.
>
> I try adding this assertion and it is always true. But TExpr contains
> TExpr.Delayed.
>
> It happens only if we save Tokens, PExpr and TExpr. If we every time reparse
> code of method body from source, the typing is done successfully.

Could you (or Igor) please explain how and when do you save TExpr? Or
point me to the place in the code where it happens?

-- 
   Michał