8481 Commits

Author	SHA1	Message	Date
Ayaz Hafiz	5a5fc0162d	FlexAble must always constrain a Flex	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	85b3110bea	Typecheck decoder	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	f208f7b4a1	Ability members are functions too	2022-05-08 15:08:18 -04:00
Ayaz Hafiz	638c446c2f	Fix constraints	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	bc0b82b97c	Expand encode gen test	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	474c18ab83	Handle recursion	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	30ef59a591	Fix test import	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	53c8ec3a57	Correctly aliasing of ability members	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	645c0f2738	Don't eagerly walk down let bindings to specialize an ability	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	e5eae75ad6	Ignore gen test, for now	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	025d501cfd	Determine ability specializations before walking a body	2022-05-08 15:08:17 -04:00
Ayaz Hafiz	edee222763	Add AbilityMember can variant for resolving ability specializations	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	ebbcd57022	Make visitors public	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	d2eb5e17ec	Fill out can traversals	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	f48792a173	Add encoder tests	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	c1b1f60630	Coupon cutting	2022-05-08 15:08:16 -04:00
Ayaz Hafiz	a242a90416	Stale comment	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	01af970b49	Constraining ability members is the same as a usual def	2022-05-08 15:07:27 -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
Ayaz Hafiz	c01baa9168	Fix failing reporting tests	2022-05-08 15:07:27 -04:00
Folkert	b21a226281	simplify constraints	2022-05-08 20:11:12 +02:00
Folkert	7be41d8c09	remove unused variables from let/letrec	2022-05-08 20:06:00 +02:00
Folkert	29a9564d36	and yet another result wrapper	2022-05-08 17:16:24 +02:00
Folkert	2e9477e011	remove another result wrapper	2022-05-08 17:16:13 +02:00
Folkert	d5b010cb13	remove unused Result wrapper	2022-05-08 17:16:00 +02:00
Brian Carroll	c93cfd0993	Merge pull request #3028 from rtfeldman/implement-wasm-num-pow-int ... implement NumPowInt in wasm backend	2022-05-08 15:11:37 +01:00
Ayaz	31cc64b634	Merge pull request #3027 from rtfeldman/borrow-reference-matrix	2022-05-08 09:43:59 -04:00
Ayaz	21b4a4c38e	Merge pull request #3023 from rtfeldman/correct-opaque-delayed-aliases ... Correct instantiation of delayed opaques	2022-05-08 09:39:42 -04:00
jonas schell	532055bf3b	implement NumPowInt	2022-05-08 14:17:11 +02:00
Folkert	529ec39aeb	remove ven_graph from mono dependencies	2022-05-08 12:32:24 +02:00
Folkert	8be6957e9b	fix merge conflict	2022-05-08 12:29:52 +02:00
Folkert	90517f09a5	use matrix for SCCs	2022-05-08 12:19:33 +02:00
Folkert	fbbc31855d	update mono tests	2022-05-08 12:18:10 +02:00
Folkert	df9b5bd0f5	construct reference matrix	2022-05-08 12:18:10 +02:00
Folkert	c5b7ff98fd	move reference matrix	2022-05-08 12:18:10 +02:00
Ayaz	dd51479764	Merge pull request #3009 from rtfeldman/list-map-ownership ... List map ownership	2022-05-07 19:59:15 -04:00
Folkert de Vries	97c7b01e55	Merge pull request #3019 from rtfeldman/cli-max-threads ... Cli `--max-threads=<N>` option	2022-05-07 23:35:08 +02:00
Folkert	3ad16e1f45	assert condition	2022-05-07 23:00:56 +02:00
Folkert	6a736615e1	clarify BORROWED usage	2022-05-07 23:00:51 +02:00
Ayaz Hafiz	af3a677f12	Correct instantiation of delayed opaques ... I didn't realize that delayed instantiation of aliases instantiates their real var, not the whole alias type. So prior to this, we were wrapping all opaques in a structural `Alias(..)`. Which is okay from a typechecking perspective because Aliases are transparent, but is wasteful.	2022-05-07 16:50:14 -04:00
Folkert	0bf284721b	all the comments	2022-05-07 22:47:16 +02:00
Folkert de Vries	e2383fec50	Merge pull request #3021 from rtfeldman/mono-fruit ... Clean up some unused code paths in mono	2022-05-07 22:33:35 +02:00
Richard Feldman	5f7ef4c105	Merge pull request #3018 from rtfeldman/generalize-reduce-allocation ... Generalize reduce allocation	2022-05-07 16:28:17 -04:00
Richard Feldman	51ee101bd1	Merge remote-tracking branch 'origin/trunk' into cli-max-threads	2022-05-07 16:23:41 -04:00
Ayaz Hafiz	50bbf1349d	Revert "Drop another unused branch" ... This reverts commit 19175a85d8.	2022-05-07 15:36:11 -04:00
Ayaz Hafiz	19175a85d8	Drop another unused branch	2022-05-07 15:04:35 -04:00
Ayaz Hafiz	7e58c4ddea	Unused var	2022-05-07 15:01:25 -04:00