78 commits

Author	SHA1	Message	Date
Ayaz Hafiz	44c4797d9a	Parameterize program solving on a FunctionKind ... This new flag determines whether we should introduce a new kind to represent lambda sets, or whether lambdas should be erased. The latter is not yet implemented.	2023-07-12 13:53:50 -05:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
eiei114	486558396f	replace panic	2023-06-25 18:13:44 +09:00
eiei114	c1d4a18c00	Revert "replace" ... This reverts commit f43e346897.	2023-06-25 17:50:05 +09:00
eiei114	f43e346897	replace	2023-06-25 17:14:02 +09:00
Ayaz Hafiz	250f4ea046	Correct repl evaluation of toplevel numbers ... Closes #5191	2023-04-13 10:48:46 -05:00
Ayaz Hafiz	65ba472646	Add reproducer for bug that's fixed now ... Closes #5140	2023-04-12 10:10:22 -05:00
Folkert	c0f49ce62c	correctly add padding between data and tag id	2023-03-28 19:46:26 +02:00
Folkert	fb4a56e916	flip comparison order for better diffs	2023-03-28 19:45:31 +02:00
Richard Feldman	21e14589b0	Update tests	2023-03-26 11:49:45 -04:00
Ayaz Hafiz	0201b29a5e	Fix expect tests	2023-01-16 10:52:10 -06:00
Folkert de Vries	9a86e7e080	Merge pull request #4896 from roc-lang/expect-crash ... reproduce crash in `expect` with Lists of different length	2023-01-14 16:53:52 +01:00
Folkert de Vries	e3a213c0dc	Merge pull request #4882 from roc-lang/weakening-3 ... Begin weakening let-bindings to non-function, non-number expressions	2023-01-14 15:32:27 +01:00
Folkert	83dc08b3b4	add expected test output	2023-01-14 15:19:25 +01:00
Folkert	148ec3752d	fix bug with record field ordering in repl eval	2023-01-14 15:09:12 +01:00
Folkert	dca1c665ae	fix list elementes being cloned to the wrong place	2023-01-14 14:25:23 +01:00
Ayaz Hafiz	e43ba9bccf	Fix repl expect test	2023-01-12 10:04:55 -06:00
Richard Feldman	4f44209bb8	Fix some tests	2023-01-11 23:18:54 -05:00
Ayaz Hafiz	b60d5c0251	Push wrapped layout interners through	2023-01-03 10:51:33 -06:00
Ayaz Hafiz	972046445b	Lift Niche from just captures-niche to generic niche	2022-12-29 18:43:26 -06:00
Folkert	26e5ac85d4	remove argument from the from_str functions	2022-12-29 16:50:19 +01:00
Ayaz Hafiz	2dc19207a3	Throw away usage of stored variables on receiver side	2022-12-14 17:00:37 -06:00
Ayaz Hafiz	fe90355265	Store specialized variables of expect lookups in expect frames	2022-12-14 17:00:36 -06:00
Ayaz Hafiz	304b88cdb2	Fix bug in expect test	2022-12-02 16:20:56 -06:00
Ayaz Hafiz	f49b0cd207	Update repl expect test to work around Dec copy bug	2022-12-01 13:26:08 -06:00
Richard Feldman	721841fa1f	Provide roc_cache_dir everywhere	2022-11-20 19:53:48 -05:00
Richard Feldman	2f54e46909	Add a blank line after failed inline expectations	2022-11-16 23:11:05 -05:00
Brian Carroll	ed048c7c93	Fix more tests	2022-11-12 09:12:28 +00:00
Luke Boswell	cec67721e6	merge upstream/main	2022-11-06 09:27:46 +11:00
Luke Boswell	f3bdb5f321	updating rust package documentation	2022-11-03 20:00:06 +11:00
Richard Feldman	220c362671	Merge remote-tracking branch 'origin/main' into repl	2022-10-31 20:49:28 -04:00
Ayaz Hafiz	508ee8d428	Update repl test with OIOP	2022-10-31 09:38:23 -05:00
Richard Feldman	b7d3c77b76	Have the repl eval anyway if there are errors	2022-10-27 18:47:32 -04: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	e31a16f650	Properly wrap with newtype-by-void layouts in repl ... Closes #4208	2022-10-05 11:17:57 -05:00
Ayaz Hafiz	b1784768fa	Fix interface name	2022-10-02 23:33:20 -05:00
Ayaz Hafiz	18fe355863	Update repl expect	2022-09-20 15:26:55 -05:00
Folkert	bdec61d5bb	fix bug in expect serialization of lambda sets	2022-09-16 22:19:55 +02:00
Ayaz Hafiz	c4a3a8bd31	Copy list values from the correct offset when reporting expects ... Co-authored-by: Folkert de Vries <folkert@folkertdev.nl>	2022-09-14 14:28:56 -05:00
Ayaz Hafiz	c5466810a4	Add LayoutInterner to LayoutCache ... Adds a thread-local interner of layouts to LayoutCache, and updates all references appropriately. This is a bit suboptimal for single-threaded workloads that will look at creating layout caches again, like the REPL, but I think that's okay for now - since the global interner will be uncontested for those workloads, it should still be plenty fast to access the interner, even behind a lock.	2022-08-31 14:33:51 -05:00
Richard Feldman	3ca9202e3b	Merge pull request #3834 from roc-lang/rust-1.63-clippy ... rust 1.63 clippy	2022-08-27 21:15:36 -04:00
Brian Carroll	601090b0bb	Get rid of Rust warnings in repl_expect on Windows	2022-08-26 08:44:32 +01:00
Brian Carroll	7caca140b0	Further disable roc_repl_expect on Windows	2022-08-26 08:44:31 +01:00
Folkert	f3f6f58d09	clippy fixes	2022-08-21 16:43:57 +02:00
Folkert	f8fba56b0a	improve how we deal with the expect memory buffer	2022-08-13 00:01:05 +02:00
Folkert de Vries	c7f9a39625	Merge pull request #3702 from rtfeldman/test-str-builtins ... `roc test` on `Str` builtins	2022-08-07 13:14:17 +02:00
Folkert	45c15bf1f1	expect tests need to run with test execution mode	2022-08-06 23:00:58 +02:00
Folkert	a5293e2a60	and add non-nullable unwrapped	2022-08-06 18:27:04 +02:00
Folkert	be4e98e076	add recursive unions	2022-08-06 17:40:12 +02:00
Folkert	546b702740	nullable wrapped tags	2022-08-06 14:40:00 +02:00