1359 commits

Author	SHA1	Message	Date
Folkert	fc01a0ee44	ignore if set_shared_buffer is not defined	2022-07-27 23:50:06 +02:00
Folkert	e62a0ee39a	make string clone return where next extra bytes should be written	2022-07-27 22:48:41 +02:00
Folkert	631c642950	store the start of the value for each variable in a table	2022-07-27 21:32:49 +02:00
Folkert	9bdf1f733f	Wasm32Sized for isize	2022-07-27 20:10:47 +02:00
Folkert	da74585786	switch to load/store instead of phi because of weird bug	2022-07-27 19:27:55 +02:00
Folkert	f7452b8889	pass the shared buffer to zig directly	2022-07-27 17:16:12 +02:00
Folkert	a60a49bce6	dev backend cannot compare floats	2022-07-27 14:46:46 +02:00
Folkert	b132b1fa89	fix non-recursive tag unions in expects	2022-07-27 14:44:43 +02:00
Folkert	b24c9e33d7	make test_gen a package	2022-07-27 13:49:23 +02:00
Folkert	498004c554	clean up expect code when not running tests	2022-07-27 12:26:03 +02:00
Folkert	eefb23e433	DCE expect helper for non-expect code gen	2022-07-27 12:07:51 +02:00
Richard Feldman	fa5bd442f8	Merge pull request #3635 from rtfeldman/joshuawarner32/multiline ... Strip indents and the first/last newline from multiline strings	2022-07-26 22:09:58 -04:00
Ayaz Hafiz	bb14b649a2	Don't re-report obligations that we know were seen elsewhere	2022-07-26 20:46:35 -04:00
Ayaz Hafiz	6b9c1cb690	Check whether opaque implements ability using store	2022-07-26 20:46:35 -04:00
Ayaz Hafiz	8659ddc684	Remove dominated derive errors	2022-07-26 20:46:35 -04:00
Ayaz Hafiz	3fbf4e228b	Remove dominated derives from obligation checking	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	ad3eb959e9	Don't mark dominated derives anymore	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	04ee74542d	Rename IncompleteAbility	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	c0d26226dd	Remove deferred obligation for opaques during solving	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	c1dbffdad9	Make sure wrong specializations become error types	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	3703940da9	Report specializations that target the unexpected type	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	968bd468a8	Use proper members in checking derive keys	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	f2cf7405df	Revert "Use abilities ImplKey in solve" ... This reverts commit b7cb0003134f1b0c657d7173db6965b4247500aa.	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	254d684dfa	Use abilities ImplKey in solve	2022-07-26 20:46:33 -04:00
Ayaz Hafiz	28c1a4cb95	Use ImplKey in abilities store public API	2022-07-26 20:46:33 -04:00
Folkert	40d7e94a17	make the mmapped buffer configurable	2022-07-26 23:36:25 +02:00
Folkert	f011748526	fix duplicate test failing llvm wasm tests	2022-07-26 18:22:05 +02:00
Ayaz	6b6f240acb	Merge pull request #3589 from rtfeldman/can-abilities3 ... Canonicalize syntactic abilities: Part 3 - solving	2022-07-25 21:48:14 -05:00
Joshua Warner	a579edc6f0	Fix error reporting location for unterminated strings and add test for insufficiently indented multiline strings	2022-07-25 19:07:58 -07:00
Folkert	6d0e751999	fix bug in expect handling on the cli side	2022-07-25 22:37:36 +02:00
Richard Feldman	11ba64c249	Merge pull request #3608 from rtfeldman/more-list-builtins ... More `List` builtins	2022-07-25 15:23:45 -04:00
Folkert	d3cb0e03d4	fix bug with incrementing elem loop on empty range	2022-07-25 21:15:15 +02:00
Folkert de Vries	d212dffa1a	Merge pull request #3616 from rtfeldman/i3614 ... Compile branches in the presence of degenerate patterns	2022-07-25 19:45:36 +02:00
Folkert de Vries	50021a65cf	Merge pull request #3615 from rtfeldman/3198 ... Support parsing opaque destructures as first item in nested body	2022-07-25 19:32:57 +02:00
Folkert	67c736948b	fix wasm test	2022-07-25 19:15:40 +02:00
Richard Feldman	4a371b9524	roc format List.roc	2022-07-25 19:15:39 +02:00
Richard Feldman	f216224495	Fix off-by-one in List.splitFirst and splitLast	2022-07-25 19:15:38 +02:00
Richard Feldman	6f1932eae4	Fix endsWith off-by-one error	2022-07-25 19:15:38 +02:00
Richard Feldman	7cf5732001	Add List.startsWith and endsWith gen tests	2022-07-25 19:15:38 +02:00
Richard Feldman	bdfcabd803	Add List.findLast gen tests	2022-07-25 19:15:37 +02:00
Richard Feldman	c3cfc0d396	Add List.findLastIndex gen tests	2022-07-25 19:15:37 +02:00
Richard Feldman	97720c4090	Drop unexposed List symbol ... List.iterate doesn't need a manual Symbol entry because it's not exposed.	2022-07-25 19:15:37 +02:00
Richard Feldman	d60ad6b5af	Fix iterateBackwards	2022-07-25 19:15:36 +02:00
Richard Feldman	1c2047fbeb	Rename an argument	2022-07-25 19:15:36 +02:00
Richard Feldman	3991bd31d6	Don't qualify iterateBackwards	2022-07-25 19:15:36 +02:00
Richard Feldman	5520a82bfe	Re-enable and expand list_find_empty_layout	2022-07-25 19:15:35 +02:00
Richard Feldman	038e999009	roc format List.roc	2022-07-25 19:15:35 +02:00
Richard Feldman	6a3694cf8f	Fix some errors and warnings	2022-07-25 19:15:35 +02:00
Richard Feldman	bae99413dd	Expose List.startsWith and List.endsWith	2022-07-25 19:15:34 +02:00
Richard Feldman	baa9176363	Update List builtin symbols	2022-07-25 19:15:34 +02:00