7974 commits

Author	SHA1	Message	Date
Folkert	fc83865465	deal with the lambda set in more cases	2022-03-18 18:53:17 +01:00
Folkert	6134e57921	Merge remote-tracking branch 'origin/trunk' into list-str-capacity	2022-03-18 18:13:55 +01:00
Brian Carroll	136b42cbeb	formatting	2022-03-18 15:17:45 +00:00
Brian Carroll	549b4be907	test_gen: change styling in wasm test debugger	2022-03-18 14:58:48 +00:00
Brian Carroll	21ee531e8c	wasm: Add Roc procedure names to Names section for debug	2022-03-18 14:46:53 +00:00
Folkert	a3b00fbf55	Merge branch 'explicit-closed-tag-record' into delay-instantiating-aliases	2022-03-17 20:34:52 +01:00
Folkert	f8a73e0baa	use unreachable!	2022-03-17 19:50:16 +01:00
Folkert	be07cbe49d	remove instrumentation	2022-03-17 19:48:35 +01:00
Folkert	0d28b5f475	disable printing of type clone count	2022-03-17 19:32:46 +01:00
Folkert	426bfe3ff1	implement solve crate	2022-03-17 19:31:54 +01:00
Folkert	b1612384c7	implement constrain crate	2022-03-17 19:17:52 +01:00
Folkert	34e566965d	implement can crate	2022-03-17 19:04:24 +01:00
Folkert	4545e76b76	implement in the types crate	2022-03-17 19:00:08 +01:00
Folkert	3d5a93a4e6	make substitute use an explicit stack	2022-03-17 18:33:00 +01:00
Folkert	8144d7b390	the setup	2022-03-17 18:24:22 +01:00
Folkert	fc233d2a4f	clippy	2022-03-16 23:05:07 +01:00
Folkert	7c3f3585bb	fix spelling error	2022-03-16 23:02:38 +01:00
Folkert	b38ff78422	make extension check work again	2022-03-16 22:19:48 +01:00
Folkert	c5fb4f2e47	rewrite and fix builtin alias instantiation	2022-03-16 22:10:04 +01:00
Folkert	f868410a91	also skip opaque aliases for now	2022-03-16 22:09:39 +01:00
Folkert	7fd420bb95	optimize instantiation of builtins	2022-03-16 21:15:54 +01:00
Folkert	64287ea783	disable printing of type clone count	2022-03-16 18:38:55 +01:00
Folkert	d3c6f00c77	use custom default aliases	2022-03-16 18:35:42 +01:00
Folkert	144949b7ca	optimize Float types like integers in solve.rs	2022-03-16 18:35:04 +01:00
Folkert	ad6fd18b05	optimizations for known aliases and identity substitutions	2022-03-16 18:33:53 +01:00
Folkert	dab804dca1	record how many clones of Type occur	2022-03-16 18:30:59 +01:00
Folkert	d187d43a0c	add a bunch of implementations of Type functions for DelayedAlias	2022-03-16 18:30:46 +01:00
Folkert	48b6cd09c7	conditionally use a DelayedAlias	2022-03-16 18:29:40 +01:00
Folkert	f24bfeea99	add some aliases to file.rs	2022-03-16 18:18:45 +01:00
Folkert	7f63e09272	remember recursion variable when making alias recursive	2022-03-16 14:52:34 +01:00
Folkert	1dacf29879	make sure aliases are not forgotten	2022-03-16 14:36:24 +01:00
Folkert	b3dce7317d	hook up aliases	2022-03-15 22:23:40 +01:00
Folkert	7d8409f6a6	write Aliases implementation	2022-03-15 22:02:04 +01:00
ayazhafiz	8aaf614481	Improve error message	2022-03-15 11:18:02 -05:00
ayazhafiz	73396c0607	aliases->references in partial procs	2022-03-15 11:05:59 -05:00
ayazhafiz	787c8ee3a5	s/occurence/occurrence/g	2022-03-14 17:50:55 -05:00
ayazhafiz	8810a48a52	fmt	2022-03-14 17:47:29 -05:00
ayazhafiz	93804bb04c	Unnecessary let binding	2022-03-14 17:44:07 -05:00
ayazhafiz	3da34fc843	Report unbound type variables in aliases, opaques ... Closes #2726	2022-03-14 17:42:45 -05:00
ayazhafiz	17029cff7e	Link aliased lambdas to the partial procs of the original symbol ... This ensures that we use the correct specialized variable at the call site of a function. In #2725 what happened was that a generalized function was aliased, causing it to undergo generalization again. Then, we lost the variable used to specialize at the call site. Instead, just link to the partial proc being aliased directly. There is an added benefit here, which is that we can avoid the possibly-quadratic replacement of symbols in the generated statement. Closes #2725	2022-03-14 16:42:53 -05:00
Folkert	a66d23f93d	add substitute_variable	2022-03-14 22:23:26 +01:00
Folkert	18ca42d767	make Type::substitute use an explicit stack	2022-03-14 22:20:59 +01:00
ayazhafiz	2d01c21b5c	Codegen tags that are polymorphic because of rigids ... Closes #2724	2022-03-14 15:25:25 -05:00
Folkert	9059e09dca	thread through Aliases	2022-03-14 21:20:35 +01:00
Folkert	0c5e4df215	remember which variables went where	2022-03-14 21:11:35 +01:00
Folkert	6838891d1b	refactor deep_copy_var_to	2022-03-14 21:08:40 +01:00
Folkert	f9bd46ecb8	fake implementation of type_to_var for DelayedAlias	2022-03-14 20:22:38 +01:00
Folkert	00f3eaf2a1	thread through DelayedAlias	2022-03-14 19:47:19 +01:00
Folkert	7127157962	refactor	2022-03-14 19:21:38 +01:00
Richard Feldman	422a88eced	Merge pull request #2722 from rtfeldman/various-bug-fixes ... Various recently filed bug fixes	2022-03-13 22:18:39 -04:00