138 commits

Author	SHA1	Message	Date
Ayaz Hafiz	6f6a90320e	Store types on ConstrainedModule	2022-11-11 21:16:01 -06:00
Ayaz Hafiz	80a05be8e5	Pretty-printer for debug representation of SoA types ... ``` [roc_load 0.0.1] [crates/compiler/solve/src/solve.rs:331] types.dbg(typ) = (`List.List` (`Num.U8`)), 68 -70-> [roc_load 0.0.1] (`Decode.DecodeResult` 69 [roc_load 0.0.1] ==> {result!: `Result.Result` 69 (`Decode.DecodeError` ==> [TooShort]73), [roc_load 0.0.1] rest!: `List.List` (`Num.U8`)}) ```	2022-11-09 13:34:59 -06: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	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
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
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	b7af241538	Address clippy for Types	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
Luke Boswell	2c2a70b8e7	Merge remote-tracking branch 'upstream/main' into rust-docs	2022-11-06 09:15:57 +11:00
Folkert	134de80150	various updates	2022-11-03 17:18:27 +01:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Luke Boswell	f3bdb5f321	updating rust package documentation	2022-11-03 20:00:06 +11:00
Ayaz Hafiz	9ab5d0efb8	Constraining of list patterns	2022-10-31 17:05:08 -05:00
Ayaz Hafiz	b0a8b85de3	Canonicalization of list patterns	2022-10-31 17:04:47 -05:00
Ayaz Hafiz	a526fd92aa	inferred extension vars are material if they're not flex or empty	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	4f367e2608	Clippers lose to the Thunder, I lose to Clippy	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	9854f5f2ac	Print alias's underlying structures if OIOP vars are material	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	85e58440de	Allow too many args	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	4d48ea7c2f	Materialize extension variable polarity in error type reporting	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	3c15ff4694	Correctly print wildcards as appropriate in error messages	2022-10-31 09:37:39 -05:00
Ayaz Hafiz	d77080529a	Introduce polarity for extension variable printing	2022-10-31 09:37:39 -05:00
Ayaz Hafiz	0da72df5e9	Add ability slice to eq obligation checker	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	46b741e9dd	Correctly clone able vars across subs	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	49e19d96e5	Print multiple abilities in error types	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	94fc58a508	Pretty-print variables bound to multiple abilities	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	1e6181d2cb	New data structure for storing sorted abilities bound to a variable	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	0f0678ce73	s/closure_names/symbol_names/g in subs	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	6bb97c92b9	Canonicalize multiple abilities bound to a type variable	2022-10-24 13:56:07 -05:00
Ayaz	89f14e73a0	Merge pull request #4358 from roc-lang/derive-opaque-defs ... Auto-derive ability implementations for opaques in canonicalization	2022-10-24 13:24:51 -05:00
Ayaz Hafiz	5164994fb5	Do not attempt to lookup functions in expects ... Functions are not useful to print in expect results, because they are only printed opaquely as `<function>`. Moreover, their transformation to closure sets during mono can be extremely lossy, up to and including the elision of symbols for function closure symbols. As such, simply do not attempt to lookup or print functions referenced in expects. Closes #4389	2022-10-24 10:28:56 -05:00
Ayaz Hafiz	e75f3c3c79	Get rid of MemberImpl::Derived ... We don't need this anymore, since derived members become Impls during canonicalization now!	2022-10-23 20:48:07 -05:00
Ayaz Hafiz	05e8e6de6f	Disallow typing optional fields when required fields are annotated ... Closes #4313	2022-10-18 15:50:20 -05:00