98 Commits

Author	SHA1	Message	Date
Folkert	b45b39af5e	optional fields improvements	2020-07-21 15:25:21 +02:00
Folkert	ae966c8933	constraint default unique	2020-07-20 13:44:45 +02:00
Folkert	36574e6ff7	constrain the default	2020-07-20 13:28:20 +02:00
Folkert	29c3eebace	parse default optional expressions in pattern matches	2020-07-20 00:52:16 +02:00
Richard Feldman	1bdfe578bd	Add some solving tests for optional fields	2020-07-18 14:33:25 -04:00
Richard Feldman	98a8bb8115	Fix unifying optional fields	2020-07-18 14:26:38 -04:00
Richard Feldman	a05ebbf36b	Solve optional fields	2020-07-18 13:49:06 -04:00
Folkert	6e7ec8cd2c	fix other test failures	2020-07-18 00:18:55 +02:00
Folkert	27317110f2	add comment describing solving process	2020-07-14 23:13:37 +02:00
Richard Feldman	1cd49689c2	Merge remote-tracking branch 'origin/trunk' into low-level-ops	2020-07-07 21:09:50 -04:00
Folkert	1b4c5cac25	fix failing tests	2020-07-07 17:17:55 +02:00
Richard Feldman	4edd40887a	Fix solve_uniq_expr tests	2020-07-04 22:18:35 -04:00
Chad Stearns	4b663a93c0	Switched many tests	2020-07-03 15:14:30 -04:00
Folkert	c589be43c6	fix triple (or more) mutualy recursive type aliases	2020-06-30 14:25:47 +02:00
Folkert	5483ec819f	fix infinite unfolding of recursive tag union	2020-06-30 13:54:16 +02:00
Richard Feldman	8c96d12661	Merge trunk	2020-06-29 22:10:46 -04:00
Folkert	b4480e212a	fix uniqueness attribute on nested recursive aliases	2020-06-29 17:08:39 +02:00
Folkert	3fc2323891	fix recursion bug ... previously, `Cons 1 (Cons {} Nil)` would get inferred as ConsList Int, because only the outer layer of a tag union was checked with the recursive tag union. Now this is done continually.	2020-06-29 00:18:50 +02:00
Folkert	bd086e5c9b	fix rank issue for uniqueness	2020-06-29 00:18:50 +02:00
Folkert	55e1e86dc2	cleanup	2020-06-27 23:56:53 +02:00
Folkert	41621bc509	fix test outputs ... in some cases for aliases the outputs are not entirely correct yet. That's future work	2020-06-27 21:01:51 +02:00
Folkert	79f01e0604	loads of things	2020-06-27 16:20:30 +02:00
Folkert	ac18da302c	add more tests	2020-06-26 13:59:32 +02:00
Folkert	3901cedf62	switch some variables around in test output	2020-06-26 01:14:17 +02:00
Folkert	e5997c4047	fix mutual recursive types ... I'll write a bit more about this in the PR message	2020-06-26 01:03:55 +02:00
Folkert	055b01c463	rewrite uniqueness logic	2020-06-24 23:06:34 +02:00
Folkert	41ad8f2952	revise Map and cleanup	2020-06-23 21:16:29 +02:00
Folkert	b88dfcb537	revise Set	2020-06-23 15:36:02 +02:00
Folkert	6f1639959a	use let_tvars for the Num, Int, Float, Bool	2020-06-23 15:08:23 +02:00
Folkert	0696c5aa09	polish list signatures	2020-06-23 14:34:47 +02:00
Richard Feldman	88990c8711	Move Int and Float modules into Num	2020-06-22 23:25:38 -04:00
Folkert	af33e26811	fix repeat	2020-06-23 00:02:36 +02:00
Folkert	2a7bf2ae66	fix map	2020-06-22 23:48:37 +02:00
Folkert	0fbac382d0	improve uniqueness signatures	2020-06-22 23:28:23 +02:00
Chad Stearns	7125af2493	Switched from one list foldr type to the other in the test	2020-06-21 13:24:45 -04:00
Richard Feldman	920b530008	Rename solve tests	2020-06-20 13:25:40 -04:00
Richard Feldman	269da82840	Make VarStore no longer use atomics	2020-06-13 21:59:01 -04:00
Richard Feldman	a4338f0406	Remove lots of unnecessary clones (thanks clippy!)	2020-06-07 15:43:07 -04:00
Chadtech	0641e287a6	Merge branch 'trunk' into is-positive-is-negative	2020-05-29 23:10:29 -04:00
Richard Feldman	4295dec955	Fix load_builtin_aliases ordering	2020-05-26 00:04:59 -04:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00
Chad Stearns	a01bdd66c5	isZero, isPositive, isNegative	2020-05-18 12:49:27 -04:00
Chad Stearns	1d1f620090	Int Abs	2020-05-09 17:56:10 -04:00
Chad Stearns	8e8412bf94	FLOAT_ABS test, and NUM_ABS generally, but not implemented	2020-05-08 00:49:08 -04:00
Richard Feldman	ce9e7a91f6	Clean up some Cargo.toml files	2020-05-03 21:37:59 -04:00
Chad Stearns	4b5f7bfded	Changed Int div implementation to use !=	2020-05-01 17:29:12 -04:00
Chad Stearns	9107880928	Implemented generated built in int division, with the return type as a result	2020-04-29 17:36:02 -04:00
Chad Stearns	10a99a6fc7	Merging in remote	2020-04-26 18:24:31 -04:00
Chad Stearns	0cfed05008	Implemented div unsafe	2020-04-26 18:11:46 -04:00
Richard Feldman	1bee16decd	Temporarily disable List.get in favor of getUnsafe	2020-04-26 09:37:46 -04:00