Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-10 23:53:27 -0800 (Thu, 10 Mar 2005)
Revision: 6897
Log message:
- When calling the type inference from filter, pass only the "proper" term
parameters (i.e. skip IntArg and AddrArg parameters) to the typechecker.
- In type inference, take the context environment from the redex and params,
not just from the redex (this should partially solve Yegor's problem with
the indWrap in CIC).