midstream check in ... quite broken
midstream check in; build does not work; but the main tc pass is code complete
mode changes ... from sharing
Merge //nswamy-x1/Users/nswamy/workspace/FStar
mostly code complete on the type-checker; builds but still need to test a LOT
Merge //nswamy-x1/Users/nswamy/workspace/FStar
updated Makefile to include new tc sources
merging with head
merged with backend and restored build
starting to debug the type-checker
midstream commit while debugging
debugging: boostrapping works until visit.fs
before adding unification variables for computation types
added unification variables for computation types; debugging
debugging and optimizing VCs for match expressions
in progress ... separating tuples from dependent tuples
separation of tuple and dtuple completed; bootstrap checks until visit.fs
type-checker types itself (in about 4mins)
added support for interface files (needs to be tightened up a bit); tc type-checks itself in about 1 minute (without queries, of course)
Merge branch 'master' of https://github.com/nikswamy/FStar