237 commits

Author	SHA1	Message	Date
Ayaz Hafiz	7d814564f3	Add recursive ability lambda set resolve tests	2022-06-07 15:00:19 -04:00
Ayaz Hafiz	e1db1c4c76	Handle specializing the same lambda set	2022-06-07 14:53:07 -04:00
Ayaz Hafiz	4b42205b03	Instantiate unspecialized lambda sets under aliases and opaques	2022-06-07 14:41:42 -04:00
Ayaz Hafiz	9b4ae7bac1	Deduplicate unspecialized lambda sets by root key	2022-06-07 10:42:19 -04:00
Ayaz Hafiz	90fc08f8df	Compaction of lambda sets must deep copy vars into the right rank	2022-06-07 10:37:13 -04:00
Ayaz Hafiz	6a76951255	Add some tests for unspecialized lambda sets	2022-06-07 09:34:12 -04:00
Ayaz Hafiz	8b78e92051	Include specialization symbols	2022-06-07 08:46:16 -04:00
Ayaz Hafiz	0476d4a65c	Remove unspecialized following unification links	2022-06-07 08:46:16 -04:00
Ayaz Hafiz	4339bfaed6	Print lambda sets on-demand	2022-06-07 08:46:15 -04:00
Ayaz Hafiz	c17525aa4d	Differentiate type variables with the same rigid name during pretty-printing	2022-06-04 15:29:52 -05:00
Richard Feldman	4eec34becf	Update to use new square brace formatting	2022-05-22 23:15:54 -04:00
Ayaz Hafiz	95e325296f	Solve derived impls	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	0e63efdf09	Scaffold tests	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	253cca63ea	Add solve test	2022-05-19 18:21:43 -04:00
Ayaz Hafiz	697f5f7a86	Check in ignored tests	2022-05-11 18:12:37 -04:00
Ayaz	d485869954	Merge pull request #3039 from rtfeldman/specializations-at-the-front ... Opportunistically resolve specializations during solving	2022-05-11 13:42:19 -04:00
Ayaz Hafiz	eca069bb4a	Test static specializations	2022-05-11 08:53:41 -04:00
Richard Feldman	fd40fed937	Fix a bunch of errors from clippy --tests	2022-05-10 15:21:48 -04:00
Ayaz Hafiz	a9507cf917	Consolidate variable pretty printing	2022-05-10 11:24:41 -04:00
Ayaz Hafiz	3497237c99	Print recursion vars correctly	2022-05-10 10:40:37 -04:00
Ayaz Hafiz	7306e131b9	Add test for resolved issue ... Closes #2371	2022-05-10 09:42:35 -04:00
Richard Feldman	df7df4ccf8	Merge branch 'trunk' into mfonism/rename-num-float-type-to-frac	2022-05-08 20:54:33 -04:00
Ayaz	d0bd08dbe0	Typo	2022-05-08 15:08:19 -04:00
Ayaz Hafiz	b3845c21bd	Print able type variables correctly	2022-05-08 15:08:19 -04:00
Ayaz Hafiz	13884c4ce6	Fix solve test	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	85b3110bea	Typecheck decoder	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	f48792a173	Add encoder tests	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	2e57bf0b6a	Permit able variables in aliases, and thread them through	2022-05-08 15:08:14 -04:00
Ayaz Hafiz	45134a547d	Update solve test	2022-05-08 15:07:27 -04:00
Ayaz Hafiz	c67bc5a8d6	Remove when-related changes	2022-05-08 15:07:27 -04:00
Ayaz Hafiz	b5efd830e5	Solve and gen ability members that bind other able variables	2022-05-08 15:07:27 -04:00
Mfon Eti-mfon	9068c2414e	Rename float functions and vars	2022-05-08 18:42:12 +01:00
Ayaz Hafiz	7e234d4550	Instantiate aliases in delayed alias args	2022-05-06 16:04:47 -04:00
Ayaz Hafiz	fe28d1554b	Only assert that rigids are introduced at given rank behind flag ... Closes #2489	2022-04-29 16:26:10 -04:00
Ayaz	98a3523702	Merge pull request #2961 from rtfeldman/improved-identids ... Improved identids	2022-04-27 10:11:06 -04:00
Folkert	d18c46550f	fix test building	2022-04-27 01:28:31 +02:00
Richard Feldman	6da39aa296	Merge pull request #2917 from rtfeldman/move-exhaustiveness-checking ... Moves exhaustiveness checking to type solving phase	2022-04-25 20:55:05 -04:00
Ayaz Hafiz	85e3373d8b	Move exhaustiveness checking to type checking	2022-04-25 19:04:09 -04:00
Ayaz Hafiz	356616d834	Move exhaustiveness checking to type solving phase with solve tests	2022-04-25 19:04:08 -04:00
Ayaz Hafiz	e73ebfba3e	Add a way to view solved types of arbitrary expressions/patterns in a program	2022-04-25 19:03:25 -04:00
Richard Feldman	85e7969c2d	Replace references to "global tag" with "tag"	2022-04-25 17:04:34 -04:00
Ayaz	ccaddcebbb	Merge branch 'trunk' into remove-private-tags	2022-04-25 13:14:42 -04:00
Ayaz Hafiz	f1dc9c8298	Opaques take @ : %s/\$\([A-Z]\)/@\1/g	2022-04-25 12:26:38 -04:00
Ayaz Hafiz	e43994530f	Remove temp test	2022-04-25 12:19:33 -04:00
Ayaz Hafiz	0d24e279f1	Fix Ast2 constraining of opaques	2022-04-25 12:08:23 -04:00
Ayaz	53c8dee4ed	Merge pull request #2926 from rtfeldman/matrix-correct-mutual-type-alias ... Matrix correct mutual type alias	2022-04-25 11:19:59 -04:00
Ayaz Hafiz	7facfd0922	Remove private tags from solve tests	2022-04-25 11:12:05 -04:00
Ayaz Hafiz	8b291854d3	Improve alias<->opaque unification logic	2022-04-25 10:59:40 -04:00
Folkert	c9426e2ed2	fix alias instantiation problem	2022-04-24 20:08:12 +02:00
Folkert	01dfda29b0	fix test by swapping definition order	2022-04-24 19:47:55 +02:00