301 commits

Author	SHA1	Message	Date
Ayaz Hafiz	7f639e485a	Update mono tests	2023-05-24 14:14:14 -05:00
David Smith	7f1a242a7c	Disable some tests in debug failing with stack overflow	2023-05-17 16:33:59 -04:00
Richard Feldman	a6bda6eccf	Merge pull request #5163 from lukewilliamboswell/builtin-json ... More tests and updates for Json builtin	2023-05-15 19:08:54 -04:00
Luke Boswell	4d4cfcf981	merge remote/main and update mono tests	2023-05-15 16:51:56 +10:00
J.Teeuwissen	5045d0ffae	dec after expect	2023-05-15 00:53:13 +02:00
J.Teeuwissen	ec731443c4	moved drop specialization up	2023-05-15 00:53:07 +02:00
J.Teeuwissen	13fb99b078	Updated tests	2023-05-15 00:51:34 +02:00
J.Teeuwissen	d82f3ee09d	Start reuse similar layouts	2023-05-15 00:51:33 +02:00
Ayaz Hafiz	8ca71c7eda	Get started with semantic layouts for tag unions	2023-05-10 18:47:10 -05:00
Ayaz Hafiz	24e65cbf8d	Update mono tests	2023-05-10 17:45:46 -05:00
Ayaz Hafiz	c06ffc434b	Begin generating semantic reprs for records	2023-05-10 15:38:25 -05:00
Richard Feldman	df0ab01128	Merge pull request #5348 from basile-henry/basile/num-is-nan ... Implement builtins for Num.isNan, Num.isInfinite, and Num.isFinite	2023-05-05 06:15:18 -04:00
Folkert	6fe610b7fc	update mono tests	2023-05-03 18:38:20 +02:00
Ayaz Hafiz	155375062a	Fmt	2023-05-02 10:52:49 -05:00
Ayaz	19c04c69c0	Merge branch 'main' into i5318 ... Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>	2023-05-01 18:47:56 -05:00
Ayaz Hafiz	a9975b1f7f	Crash at runtime rather than panicking when if condition is erroneous ... Closes #5318	2023-05-01 15:48:05 -05:00
Ayaz Hafiz	bdba56ce74	New IR just dropped	2023-05-01 15:11:37 -05:00
Ayaz Hafiz	1916a6dba5	Add mono test for #4770 ... Closes #4770	2023-05-01 13:14:59 -05:00
Anton-4	6f0c76f7b3	fixed mono tests	2023-05-01 12:13:30 +02:00
J.Teeuwissen	b8a2ea1bf2	Merge branch 'main' into drop_specialization	2023-04-29 18:31:12 +02:00
J.Teeuwissen	042482a19f	pipeline	2023-04-29 17:59:17 +02:00
J.Teeuwissen	c1ced3c5d2	inc lowlevel return value	2023-04-29 14:30:14 +02:00
Folkert	a332d77756	reinstate test	2023-04-28 22:03:08 +02:00
J Teeuwissen	7439ee0c8c	Merge branch 'main' into drop_specialization ... Signed-off-by: J Teeuwissen <jelleteeuwissen@hotmail.nl>	2023-04-26 20:26:37 +02:00
J.Teeuwissen	4de6369e6a	simplified join + mono	2023-04-26 20:11:44 +02:00
J.Teeuwissen	d4379ff895	Working IR	2023-04-22 13:32:38 +02:00
Folkert	4a1ade65fe	update mono tests: procs generated by glue are now no longer generated	2023-04-21 20:59:35 +02:00
Luke Boswell	4f22b0747f	mono and update Json.fromUtf8 and Json.toUtf8 to Json.json	2023-04-21 10:57:48 +10:00
Folkert de Vries	8c32900e19	Merge pull request #5275 from wontem/abs_diff ... Implement Num.absDiff	2023-04-20 14:02:02 +02:00
Luke Boswell	ab4ac1c494	merge remote/main and update mono	2023-04-20 07:55:18 +10:00
J.Teeuwissen	36e83fca1c	updated tests	2023-04-16 16:34:41 +02:00
J.Teeuwissen	5f7f9b766b	inline lowlevel in rc	2023-04-13 12:26:05 +02:00
Kiryl Dziamura	7752d8dab5	Update mono IR snapshots	2023-04-12 16:15:50 +02:00
Luke Boswell	c7b8bc09f4	mono	2023-04-12 17:38:48 +10:00
Luke Boswell	9e0bc60056	mono	2023-04-11 20:12:44 +10:00
J.Teeuwissen	705ad1c796	symbol_to_doc	2023-04-09 09:43:52 +02:00
J.Teeuwissen	5a6ac082f0	Updated test	2023-04-06 18:14:04 +02:00
J.Teeuwissen	a8bd20da5c	Updated tests	2023-04-05 21:09:42 +02:00
Luke Boswell	dc43290647	Merge branch 'main' into builtin-json	2023-04-04 17:21:08 +10:00
Richard Feldman	7af55bafe6	Merge pull request #5224 from roc-lang/str-docs ... Expand some `Str` docs	2023-04-02 09:49:16 -04:00
Ayaz Hafiz	247913dc20	Record all nested recursive structures an entry in the layout cache contains ... If an entry in the layout cache contains recursive structures, the entry is not reusable if the recursive structure is currently in the "seen" set. The example elucidated in the source code is as follows: Suppose we are constructing the layout of ``` [A, B (List r)] as r ``` and we have already constructed and cached the layout of `List r`, which would be ``` List (Recursive [Unit, List RecursivePointer]) ``` If we use the cached entry of `List r`, we would end up with the layout ``` Recursive [Unit, (List (Recursive [Unit, List RecursivePointer]))] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cached layout for `List r` ``` but this is not correct; the canonical layout of `[A, B (List r)] as r` is ``` Recursive [Unit, (List RecursivePointer)] ``` However, the current implementation only preserves this behavior for structures that contain one recursive structure under them. In practice, there can be structures that contain multiple recursive structures under them, and we must be sure to record all those structures in the layout-cache.	2023-03-30 18:15:35 -05:00
Richard Feldman	f6f201f1d3	Update mono tests	2023-03-29 21:23:14 -04:00
Luke Boswell	addc4debef	merge main, update fail test descriptions	2023-03-29 10:01:38 +11:00
Ayaz Hafiz	2a9e0583bc	Remove inaccurate debug assertion in IR gen ... There might be more symbols than field layouts when restructuring a record if the record is a newtype. Closes #4759	2023-03-28 15:06:44 -05:00
Luke Boswell	e7e6978b0b	Merge remote-tracking branch 'remote/main' into builtin-json	2023-03-28 17:23:50 +11:00
Ayaz Hafiz	3f532df981	Generate code for recursive nullable wrapped lambda sets	2023-03-27 10:11:49 -05:00
Ayaz Hafiz	b8a0ff8e7c	Add a mono test for recursive lambda sets with late specialization	2023-03-27 10:11:26 -05:00
Luke Boswell	3fbfdc3e4a	remove expect assertion to satisfy mono, update mono	2023-03-26 20:46:23 +11:00
Luke Boswell	e73720605a	mono	2023-03-26 20:39:20 +11:00
Richard Feldman	72530916e5	Merge pull request #5204 from roc-lang/i4561 ... Check in mono test that works now	2023-03-25 21:58:16 -04:00