[nem-en] Integration again

vc vc at rsdn.ru
Fri Nov 17 18:37:40 CET 2006


> 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.

Vlad




More information about the devel-en mailing list