Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-20 17:28:31 -0700 (Wed, 20 Aug 2003)
Revision: 4860
Log message:
Type inference is now working on test_prog[1-2]. Haven't tried any other cases
yet. Changed simp_typeinf to take a tenv *and* a venv.