7 commits

Author	SHA1	Message	Date
Folkert	1f55355ee0	constrain the default	2020-07-22 19:33:36 -04:00
Folkert	d779e68773	parse default optional expressions in pattern matches	2020-07-22 19:33:36 -04:00
Richard Feldman	872f4b3541	Add some solving tests for optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	fdceedda00	Fix unifying optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	8c96d12661	Merge trunk	2020-06-29 22:10:46 -04:00
Richard Feldman	88990c8711	Move Int and Float modules into Num	2020-06-22 23:25:38 -04:00
Richard Feldman	920b530008	Rename solve tests	2020-06-20 13:25:40 -04:00

Renamed from compiler/solve/tests/test_solve.rs (Browse further)