19 commits

Author	SHA1	Message	Date
rvcas	35cdf1051d	tests: use a simpler test case to avoid defs	2021-05-18 21:21:57 -04:00
rvcas	031c704ad1	tests: add a test for constraining access	2021-05-17 19:48:01 -04:00
rvcas	407f350947	tests: trigger Call and Accessor	2021-05-16 21:58:16 -04:00
rvcas	65c0d3b7bf	tests: add a test for global tags	2021-05-09 21:00:09 -04:00
rvcas	f01fc50337	tests: add new tests for list typechecking	2021-05-08 12:44:29 -04:00
rvcas	fc5e68cb97	tests: add temporarily useless test for SmallStr	2021-05-08 12:44:01 -04:00
rvcas	89bc27d941	tests: into not needed	2021-05-08 12:43:15 -04:00
rvcas	48d2ec985d	fix: use Num * in constrain_record	2021-05-05 22:59:23 -04:00
rvcas	d44b024efe	fix: use Num * in constrain_small_int	2021-05-05 22:58:50 -04:00
rvcas	dd27539507	test: add constrain_record	2021-05-05 10:45:11 -04:00
rvcas	ea7d735c9a	test: constrain Expr2::Float	2021-04-30 21:50:21 -04:00
rvcas	91c01856c4	test: pass arena to run_solve in infer_eq	2021-04-29 23:05:48 -04:00
Folkert	6662fbb791	fix idents	2021-04-27 17:05:47 +02:00
rvcas	f6fddfe260	feat: add a test case and implement shallow clone for Type2	2021-04-23 12:29:20 -04:00
rvcas	6571d829a1	fix: use bump for Constraint enum instead of pool	2021-04-22 21:32:47 -04:00
rvcas	47f1bad862	test(editor): constrain empty record	2021-04-15 21:41:15 -04:00
Folkert	c55c35e164	extend solve	2021-04-12 23:29:07 +02:00
Folkert	bffb9ab6fe	initial solver for the editor's type constraints	2021-04-12 21:26:20 +02:00
rvcas	e0a1a917c0	feat(editor): add constrain tests	2021-04-10 12:58:44 -04:00