4758 commits

Author	SHA1	Message	Date
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
Ayaz Hafiz	dac4d842d8	Fix types	2023-07-17 09:52:14 -05:00
Ayaz Hafiz	b3ccc905a4	Fix some checkmate bad schemas	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	fcd733e1df	Dump roc checkmate	2023-07-17 09:51:01 -05:00
Ayaz Hafiz	1282110ef5	Push checkmate through load	2023-07-17 09:51:00 -05:00
Ayaz Hafiz	27dd9d03aa	Stub out checkmate react app	2023-07-17 09:50:38 -05:00
Ayaz Hafiz	271d2a3219	Refactor the schema for granularity	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	358681a464	Generate schema for checkmate	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	f78919cd2e	Add JsonSchema	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	d7a30966c1	Add explicit casts ... For some reason these can no longer be inferred.	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	8d1d4e6df3	debug import	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	c9d2c4d4cd	Drop unused schema	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	d6c24accef	Schema unification mode	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	5ea9bd19b2	Unify on roots	2023-07-17 09:50:37 -05:00
Ayaz Hafiz	18e9f8f034	Move unify::Mode to roc_solve_schema	2023-07-17 09:50:36 -05:00
Ayaz Hafiz	87d108eccc	Push checkmate through env	2023-07-17 09:48:59 -05:00
Ayaz Hafiz	8097ee3342	Hide subs behind Env deref	2023-07-17 09:48:57 -05:00
Ayaz Hafiz	1df2e942a2	Add a collector of unification + solve events	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	40223a697d	First pass of checkmate schema	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	93513cffae	pub is_signed	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	a21e016032	Make public	2023-07-17 09:47:57 -05:00
Ayaz Hafiz	879719b166	s/width/min_width	2023-07-17 09:47:57 -05:00
Ayaz	b36ad76cdd	Merge pull request #5576 from roc-lang/spike-erasure ... Implement function erasure	2023-07-17 03:27:29 -05:00