Show
Ignore:
Timestamp:
07/02/09 07:59:33 (5 months ago)
Author:
jrhil47
Message:

[index] Changed all Functional indices to store a thunk to get the return types, since during type checking the return types might need to be lazily evaluated. Also changed Functional indices to yield an Option for return types.
[type checker] Started implementing extraction of bindings from nodes for type environments.

Files:
1 modified

Legend:

Unmodified
Added
Removed