2 Commits

Author	SHA1	Message	Date
Ariel Ben-Yehuda	32fe2e3ad4	Address review commets ... I think I didn't run tests properly - my second call to select_all_obligations_or_error has made 3 tests fail. However, this is just an error message change - integer fallback never worked with casts.	2015-05-19 17:42:14 +03:00
Ariel Ben-Yehuda	83acebc462	Overhaul cast semantics and make them follow RFC401 ... This should hopefully fix all cast-related ICEs once and for all. I managed to make diagnostics hate me and give me spurious "decoder error" - removing $build/tmp/extended-errors seems to fix it.	2015-05-19 17:42:14 +03:00