454 commits

Author	SHA1	Message	Date
Folkert	6ef443d1b0	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-04-10 19:14:00 +02:00
Folkert	166c949c3b	clippy	2022-04-09 12:24:12 +02:00
Ayaz	69ed0b755a	Merge pull request #2804 from rtfeldman/abilities-canonicalization ... Basic canonicalization, error checking for abilities	2022-04-08 12:00:23 -04:00
Folkert	1d0f9e9192	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-04-08 15:47:11 +02:00
Ayaz Hafiz	17b3c7d8ee	Generate type variables when there are lots ... Closes #2797	2022-04-07 17:49:48 -04:00
Ayaz Hafiz	66ec1b4a84	Basic canonicalization and error checking for abilities	2022-04-07 17:21:17 -04:00
Ayaz Hafiz	72b93e51f1	Bugfix	2022-04-05 18:08:24 -04:00
Ayaz Hafiz	886e5a0c8f	Don't unify real vars when there are no type variables, or nothing changed	2022-04-05 17:51:30 -04:00
Ayaz Hafiz	163c6b39d6	Unify type alias "real variables" ... Turns out that we can't always assume that a successful unification of type alias type variables means that those aliases had the same real type from the start. Because type variables may contain unbound type variables and grow during their unification (for example, `[InvalidNumStr]a ~ [ListWasEmpty]b` unify to give `[InvalidNumStr, ListWasEmpty]`), the real type may grow as well. For this reason, continue to explicitly unify alias real types for now. We can get away with not having to do so when the type variable unification causes no changes to the unification tree at all, but we don't have a great way to detect that right now (maybe snapshots?) Closes #2583	2022-04-05 11:21:52 -04:00
Folkert	0dd2cec09a	update with new clippy lints	2022-03-31 19:34:51 +02:00
Folkert	9dbaa0d157	change type to ensure alignment	2022-03-26 22:04:22 +01:00
Folkert	9c9a238be5	make subs serialziation cross-compile proof	2022-03-26 20:31:41 +01:00
Folkert	753d1418ed	fix copy/paste mistake	2022-03-23 21:19:37 +01:00
Folkert	8e73f447df	store exposed_vars_by_symbol in .dat file too	2022-03-23 21:19:35 +01:00
Folkert	1e6cf3f313	properly serialize tag names	2022-03-23 21:19:35 +01:00
Folkert	5f19410de6	Merge branch 'simplify-unused-defs' into builtins-in-roc	2022-03-21 23:45:09 +01:00
Folkert	dc3841ec10	cleanup	2022-03-21 21:13:18 +01:00
Folkert	4c37b6f5fb	properly serialize tag names	2022-03-21 19:45:53 +01:00
Folkert	a9982a30aa	WIP	2022-03-21 19:23:13 +01:00
Richard Feldman	68adeba43c	Merge pull request #2758 from rtfeldman/intern-tag-names ... handle common tag names in type -> subs conversion	2022-03-20 20:39:46 -04:00
Folkert	e36b1e2208	Merge branch 'serialize-subs' into builtins-in-roc	2022-03-20 21:46:57 +01:00
Folkert	715d58cf83	serialize field names properly	2022-03-20 21:30:09 +01:00
Folkert	b6f7f77aae	Revert "inline subs operations more aggressively" ... This reverts commit f4cb2ec254. it'll be merged by a different PR	2022-03-20 20:12:20 +01:00
Folkert	c7656955f8	add Subs (de)serialization	2022-03-20 20:03:02 +01:00
Folkert	5a4db4b4ad	inline subs operations more aggressively	2022-03-20 15:31:35 +01:00
Folkert	02944bd2f6	simplify logic (iterators are complicated for the rust compiler in debug mode)	2022-03-20 15:31:09 +01:00
Folkert	38c2710fc5	intern common tag names	2022-03-20 15:30:47 +01:00
Folkert	2516ccf70d	inline subs operations more aggressively	2022-03-20 13:08:20 +01:00
Folkert	6a9b08ed11	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc	2022-03-20 13:01:00 +01:00
Folkert	a601b93a46	start of serializing subs	2022-03-20 12:55:14 +01:00
Folkert	f4cb2ec254	inline subs operations more aggressively	2022-03-20 02:07:48 +01:00
hafiz	3f07afe3b5	Merge pull request #2750 from rtfeldman/delay-instantiating-aliases-fix-limitations ... Delay instantiating aliases fix limitations	2022-03-19 20:41:14 -04:00
Folkert	147ab87e9c	disable type clone count atomic in release mode	2022-03-19 19:28:24 +01:00
Richard Feldman	5f2054aeb6	Merge pull request #2754 from rtfeldman/remove-type-solvedtype-conversion ... Remove Type/Subs -> SolvedType conversion	2022-03-19 10:48:42 -04:00
Folkert	35e5a36ea4	Merge branch 'delay-instantiating-aliases-fix-limitations' into builtins-in-roc	2022-03-19 12:30:03 +01:00
Folkert	5a15a121ff	remove Content -> SolvedType conversion	2022-03-19 12:26:21 +01:00
Folkert	da0c6adff3	remove Type -> SolvedType conversion	2022-03-19 12:20:15 +01:00
Folkert	21a51464f3	various small type-related changes	2022-03-18 22:35:12 +01:00
Folkert	4e1197165b	Merge remote-tracking branch 'origin/trunk' into builtins-in-roc-delayed-alias	2022-03-18 21:25:52 +01:00
Folkert	bf063d1d57	use all aliases that are in scope (to support imported aliases)	2022-03-18 20:44:13 +01:00
Folkert	5196ae9df2	use old alias instantiation when checking for invalid recursion	2022-03-18 20:20:22 +01:00
Folkert	2b2db5e4fe	fix variable name	2022-03-18 20:13:48 +01:00
Folkert	a4ce6815d2	clarify variable name	2022-03-18 20:03:03 +01:00
Folkert	fc83865465	deal with the lambda set in more cases	2022-03-18 18:53:17 +01:00
Folkert	a3b00fbf55	Merge branch 'explicit-closed-tag-record' into delay-instantiating-aliases	2022-03-17 20:34:52 +01:00
Folkert	be07cbe49d	remove instrumentation	2022-03-17 19:48:35 +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