2349 commits

Author	SHA1	Message	Date
Folkert	f6ce4ecab7	simplify cargo toml	2022-11-09 18:15:50 +01:00
Folkert	e92ceb7282	Mutex::new() is now const	2022-11-09 17:51:43 +01:00
Folkert	653741ccde	refactor llvm lowlevel code into its own file	2022-11-09 17:40:40 +01:00
Folkert	06a49e0255	use some macros	2022-11-09 17:40:39 +01:00
Folkert	14cd48fce7	Merge remote-tracking branch 'origin/main' into rust-1-62-1	2022-11-09 13:51:51 +01:00
Joshua Warner	1753c9cf5b	Implement initial tuple syntax	2022-11-08 18:04:46 -05:00
Ayaz Hafiz	6071ef9696	Update use of Error tag	2022-11-08 14:12:45 -06:00
Ayaz Hafiz	28c3709ddf	Miscellaneous cleanup	2022-11-08 14:11:26 -06:00
Ayaz Hafiz	1b38cd0504	s/Type::Erroneous/Type::Error	2022-11-08 14:11:26 -06:00
Ayaz Hafiz	c1237215ea	Remove type Problem enum	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	8dfc9c0367	Inline BadType::BadTypeArguments in canonicalization errors	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	98464984dd	Remove type problem bad type	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	fb643758bb	Remove Unified BadType	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	09748aec48	Remove problems from error type API surface	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	b6322ff883	Report empty problems in translating to error type	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	c4bd9fb79d	Remove problems from Subs	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	281bc94b55	Remove FlatType::Erroneous	2022-11-08 14:11:25 -06:00
Ayaz Hafiz	1974d8e848	Add comment on missing reporting	2022-11-08 14:11:24 -06:00
Ayaz Hafiz	fd80f5b70e	Remove problem in alias instantiation	2022-11-08 14:11:24 -06:00
Ayaz Hafiz	c9953129cb	Remove problem storage in Type::Erroneous	2022-11-08 14:11:24 -06:00
Ayaz	b984351514	Merge pull request #4489 from roc-lang/types-soa-more-in-solve ... Types SoA for aliases instantiated during solving	2022-11-08 14:06:57 -06:00
Ayaz	8179e29bf8	Merge pull request #4486 from roc-lang/more-prep-constraining ... Lift constraining expectation indices up a level	2022-11-08 13:47:57 -06:00
Folkert de Vries	95f8bac859	Merge pull request #4485 from roc-lang/types-soa ... Types SoA and Type -> Variable conversion via SoA	2022-11-08 20:32:27 +01:00
Ayaz Hafiz	7034a4d692	Types SoA for aliases instantiated during solving	2022-11-08 12:57:30 -06:00
Richard Feldman	6486591201	Merge pull request #4462 from lukewilliamboswell/rust-docs ... Rust docs update #2	2022-11-08 09:35:04 -08:00
Ayaz Hafiz	51d813dae2	Index into constraining via trait	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	24b6d4a3a9	constrain_pattern takes an expected index	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	b85465d74d	Resolve runtime error todo	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	f0534fc770	Remove TODO comment	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	b71fef5f3b	Resolve ability member todo	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	c76a928ed4	Remove var storage TODO	2022-11-08 09:00:51 -06:00
Ayaz Hafiz	4f40d83b80	Remove _inner migration helper	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	d84e98751e	Always feed ExpectedTypeIndex to expr constraining	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	4e2eb67ff1	Surface constrain_expr takes an index	2022-11-08 09:00:50 -06:00
Ayaz Hafiz	b0bcda4117	typo	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	db8e135a05	Simplify AbilitySet storage	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	191798cfd6	Address clippy	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	b735188542	Life is short, no need to spell it out	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	b7af241538	Address clippy for Types	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	09ec545995	Fix indent	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	e240b18b27	Recover Erroneous in type	2022-11-08 09:00:25 -06:00
Ayaz Hafiz	58020a55d6	Type to variable through Types SoA	2022-11-08 09:00:24 -06:00
Ayaz Hafiz	5da11d7fdd	Index into Types	2022-11-08 09:00:24 -06:00
Ayaz Hafiz	dad9a8e537	Pass Types SoA repr in types to Variable translation	2022-11-08 09:00:24 -06:00
Folkert	93b9130edf	Type soa and conversion from existing data structure	2022-11-08 09:00:24 -06:00
Anton-4	a6a2b59a79	Merge branch 'main' of github.com:lukewilliamboswell/roc into rust-docs	2022-11-08 15:57:24 +01:00
Ayaz	d968dc204b	Merge pull request #4475 from roc-lang/expect-can-fix ... Expect canonicalization fix	2022-11-07 09:03:44 -06:00
Folkert de Vries	b28a121e9e	Merge pull request #4470 from joshuawarner32/when-refactor ... Refactor several parse methods to use more combinators	2022-11-06 16:32:38 +01:00
Luke Boswell	cec67721e6	merge upstream/main	2022-11-06 09:27:46 +11:00
Luke Boswell	2c2a70b8e7	Merge remote-tracking branch 'upstream/main' into rust-docs	2022-11-06 09:15:57 +11:00