4780 commits

Author	SHA1	Message	Date
Ayaz Hafiz	d701eb8e30	Fix typo in checkmate	2023-08-01 23:59:02 -05:00
Ayaz	73a9683d09	Merge pull request #5717 from roc-lang/checkmate-ui-improvements ... Checkmate UI improvements	2023-08-01 04:24:16 -05:00
Anton-4	44941db349	Merge pull request #5715 from roc-lang/str-replace ... Don't have Str.replace functions return Result	2023-08-01 11:07:07 +02:00
Ayaz Hafiz	29a5aab56d	Linter	2023-07-31 18:20:37 -05:00
Ayaz Hafiz	8069d3ad34	Scroll to epoch	2023-07-31 18:18:41 -05:00
Ayaz Hafiz	e3129032e8	Better display of epochs	2023-07-31 18:05:32 -05:00
Ayaz Hafiz	bea445bafa	More layout options, and focus on variable on re-selection	2023-07-31 12:53:42 -05:00
Richard Feldman	b19d098e5f	Fix test	2023-07-31 13:46:12 -04:00
Ayaz Hafiz	734111711d	Keydown and layouter improvements	2023-07-31 11:52:39 -05:00
Ayaz Hafiz	90d7d87e8c	Improve auto-layout logic	2023-07-31 11:07:55 -05:00
Richard Feldman	4cb3a06246	Update mono	2023-07-31 09:49:54 -04:00
Richard Feldman	dfa5577332	Don't have Str.replace functions return Result	2023-07-31 09:26:54 -04:00
Folkert	cdc90f8495	update mono tests	2023-07-30 18:48:37 +02:00
Folkert	44d03eebfa	switch over to alloca expr	2023-07-30 18:48:35 +02:00
Folkert	cdd2aab217	add alloca as an expression	2023-07-30 18:46:00 +02:00
J.Teeuwissen	80faf0eeee	removed borrow.rs	2023-07-30 14:03:38 +02:00
Anton-4	cb22c3e618	Merge pull request #5706 from roc-lang/macos-dylib-warning ... Fix macos ld warning	2023-07-30 10:47:09 +02:00
Richard Feldman	57fc441bf9	Fix macos ld warning	2023-07-29 21:06:04 -04:00
Richard Feldman	9c9a7884f2	Clippy	2023-07-29 18:23:16 -04:00
Richard Feldman	42fb593471	Desugar inside string interpolation	2023-07-29 18:11:41 -04:00
Richard Feldman	9e0e756d3b	Allow more exprs inside string interpolation	2023-07-29 17:30:48 -04:00
Folkert	ce640fe65f	unwrap lambda sets for RC	2023-07-28 17:21:30 +02:00
Folkert	81b4b3d22c	fix layout comparison in wasm backend	2023-07-28 16:23:14 +02:00
Folkert	334253f47f	check inside a lambda set for whether it is reference counted	2023-07-26 20:06:37 +02:00
Folkert de Vries	7f1b69fe88	Merge pull request #5692 from roc-lang/rust-1-70 ... upgrade to rust 1.70.0	2023-07-25 20:27:29 +02:00
Anton-4	f2137c90ab	upgrade to rust 1.70.0	2023-07-25 17:44:46 +02:00
Ayaz	ce441bb254	Merge pull request #5687 from roc-lang/platform-app-diff ... Platform app diff	2023-07-25 08:35:04 -05:00
Folkert	8e9cf121ad	rust 1.71 clippy fixes	2023-07-25 10:46:46 +02:00
Folkert	c34de6e921	remove unused test file	2023-07-25 10:08:59 +02:00
Folkert	99fcbd8d5f	update mono test	2023-07-25 09:52:54 +02:00
Ayaz Hafiz	d3273381f7	Use store constraint instead of eq	2023-07-24 21:02:56 -05:00
Folkert	a7bf9bc639	annotations are still optional	2023-07-24 22:18:58 +02:00
Folkert	126c3f1536	simplify information passed to mono	2023-07-24 21:54:39 +02:00
Folkert	e549ea78fe	simplify HostSpecializations	2023-07-24 21:33:05 +02:00
Folkert	2756c9af35	switching constraint order fixes things	2023-07-24 21:24:34 +02:00
Folkert	557c3987e0	make it work	2023-07-24 21:24:33 +02:00
Folkert	43adf0635e	freshen annotations	2023-07-24 21:24:33 +02:00
Ayaz	d3ccdb51ea	Merge pull request #5670 from roc-lang/checkmate-ui-scaffold ... Checkmate UI scaffold	2023-07-23 19:43:27 -05:00
Richard Feldman	64c49ddbc9	Improve some List docs	2023-07-23 13:59:27 -04:00
Ayaz	6225b80e01	Merge pull request #5668 from roc-lang/checkmate ... Add "checkmate", a tool for the solver	2023-07-19 12:38:20 -05:00
Ayaz Hafiz	84165d21f4	More improvements	2023-07-18 11:24:50 -05:00
Ayaz Hafiz	8388c93e62	A bunch of improvements	2023-07-17 18:55:59 -05:00
Richard Feldman	aafefb12b2	Fix lambda set numbering issue	2023-07-17 14:09:17 -04:00
Ayaz Hafiz	2b6b1d858d	Colors	2023-07-17 10:24:52 -05:00
Ayaz Hafiz	828b1bd060	Add static data for now	2023-07-17 10:24:44 -05:00
Ayaz Hafiz	18f381e782	ErasedLambda	2023-07-17 10:13:11 -05:00
Ayaz Hafiz	7d3e7ffdfb	Load up	2023-07-17 10:12:18 -05:00
Ayaz Hafiz	87bb6c8437	Start supporting printing unifications	2023-07-17 10:12:18 -05:00
Ayaz Hafiz	9e055dcf53	Basis support for inspecting types	2023-07-17 10:12:17 -05:00
Ayaz Hafiz	8b7823a237	Fix types	2023-07-17 10:10:50 -05:00