2 Commits

Author	SHA1	Message	Date
Maurizio Cimadamore	b03ad3ae09	7175911: Simplify error reporting API in Check.CheckContext interface ... Make error messages generated during Check.checkType more uniform and more scalable Reviewed-by: jjg, dlsmith	2012-08-02 18:22:41 +01:00
Maurizio Cimadamore	7e32f8e585	7166552: Inference: cleanup usage of Type.ForAll ... Remove hack to callback into type-inference from assignment context Reviewed-by: dlsmith, jjg	2012-05-31 17:42:14 +01:00