666 Commits

Author	SHA1	Message	Date
rvcas	11a1111e33	feat(ValueDef): add expr and some hacks to get this to compile	2021-06-28 00:12:37 -04:00
Anton-4	f5a7604b83	type tooltip tests	2021-06-26 17:11:17 +02:00
Anton-4	38db75614e	updated VarStore without cloning	2021-06-26 13:50:56 +02:00
Anton-4	2aa412f836	made VarStore cloneable to make type tooltips work	2021-06-26 12:14:21 +02:00
Anton-4	ff2ed8a1a4	Added hazel livelit to editor inspiration	2021-06-26 10:53:53 +02:00
Anton-4	47fe878492	updated to wgpu 9.0, added editor inspiration	2021-06-25 19:07:14 +02:00
rvcas	c4f9812ad8	test: split into two	2021-06-21 17:26:55 -04:00
rvcas	477dee0ae6	feat(Expr2): constrain LetValue and Update	2021-06-21 00:23:05 -04:00
rvcas	e69b798857	chore: pending def should be pub	2021-06-21 00:22:32 -04:00
rvcas	876687e078	feat(Expr2): support Defs and add desugaring	2021-06-21 00:21:42 -04:00
rvcas	8b957ea712	feat: more consistent field name	2021-06-21 00:19:27 -04:00
rvcas	1f467ec62b	test: constrain update	2021-06-21 00:19:00 -04:00
Richard Feldman	53ccef0506	nightly clippy ... I was on nightly for benchmarks, and these all seem reasonable.	2021-06-18 15:21:11 -04:00
rvcas	1d9320ba8f	fix: Pattern2 ... * make Pattern2 fit in 32 by commenting out two fields in Shadowed * make Global/Private Tag arguments field smaller by using PatternId	2021-06-15 21:32:39 -04:00
rvcas	cc96dd0a76	chore: how did this get past me locally	2021-06-15 19:33:51 -04:00
rvcas	b84fc85753	test: new test for when constraints	2021-06-15 19:21:20 -04:00
rvcas	e300acf2a8	feat: implement When constraints	2021-06-15 19:20:59 -04:00
rvcas	22dc0fe6c7	feat: implement shallow clone for PExpected	2021-06-15 19:20:15 -04:00
rvcas	05181e4be0	feat: create PatternState2	2021-06-15 19:19:11 -04:00
rvcas	4652d77e84	feat: remove Located from Let constaints	2021-06-15 19:18:25 -04:00
rvcas	943047f207	feat: introduce Pattern constraint	2021-06-15 19:17:01 -04:00
rvcas	3733d3035e	feat: new imports	2021-06-15 19:15:16 -04:00
Folkert	4539c6feb3	remove list_var from the editor ast	2021-06-13 16:57:44 +02:00
Anton-4	47f606d588	Merge branch 'trunk' into typos_ci	2021-06-07 15:01:55 +02:00
Anton-4	22d834ebd9	Merge branch 'trunk' of github.com:rtfeldman/roc into typos_ci	2021-06-07 12:33:26 +02:00
Anton-4	11ae7867a6	Added replit editor inspiration, thanks Richard!	2021-06-07 10:39:17 +02:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00
Richard Feldman	2b2b6e3ddd	Update some more docs	2021-06-04 21:27:26 -04:00
Richard Feldman	50b030acd1	Merge pull request #1314 from rtfeldman/benchmarks ... criterion benchmarks for `examples/benchmarks`	2021-06-02 21:57:33 -04:00
Richard Feldman	ffc039e483	Merge pull request #1368 from rtfeldman/editor_ideas ... Added Folkert's editor inspiration	2021-06-02 21:43:09 -04:00
Anton-4	0da16b0189	Updated editor README ... Removed "new features are added every week!"	2021-06-02 15:39:20 +02:00
Anton-4	7e0575368c	Use custom forks for criterion and cargo-criterion, still have web-sys conflict	2021-06-02 11:08:14 +02:00
Anton-4	a622a72cf3	Added Folkert's editor inspiration	2021-06-02 10:52:37 +02:00
rvcas	4a93bbde18	feat: implement if constraints	2021-05-28 13:04:51 -04:00
rvcas	2e4696c3df	chore: bring a type into scope	2021-05-28 13:03:01 -04:00
rvcas	695a5a7aa9	fix: made if branches smaller	2021-05-28 13:01:01 -04:00
rvcas	4739b5db91	test: add a test to contrain if expr	2021-05-28 12:57:56 -04:00
Folkert	f480919186	Merge remote-tracking branch 'origin/trunk' into no-arg-tag-union-func	2021-05-24 14:44:32 +02:00
Lucas	8b52e6d268	Merge branch 'trunk' into constrain_access	2021-05-24 08:19:39 -04:00
Richard Feldman	a7518a675a	Clean up some clippy warnings	2021-05-23 20:28:23 -04:00
Lucas	b942b78a34	Merge branch 'trunk' into constrain_access	2021-05-23 16:24:48 -04:00
tarjei	a53c7b5546	Add FunctionOrTagUnion case to all matches	2021-05-23 20:52:38 +02:00
Anton-4	e2bc9566ba	upgrade to wgpu 8.1, removed old editor benchmarks	2021-05-19 17:32:07 +02:00
rvcas	35cdf1051d	tests: use a simpler test case to avoid defs	2021-05-18 21:21:57 -04:00
rvcas	031c704ad1	tests: add a test for constraining access	2021-05-17 19:48:01 -04:00
rvcas	35f82821f1	feat(Expr2): add a todo case for Defs	2021-05-17 19:47:31 -04:00
rvcas	eb6e4a21f3	feat(Expr2): port over Access case for constraints	2021-05-17 19:45:11 -04:00
rvcas	79efa42923	fix(Expr2): better name for the sub_expr in call	2021-05-17 19:44:31 -04:00
rvcas	cb5cdb7c11	chore: remove commented code	2021-05-16 22:17:51 -04:00
rvcas	b2766aab36	feat(Expr2): port over Function solve case	2021-05-16 22:02:25 -04:00
rvcas	2ffafec559	feat(Expr2): port over Call and Accessor constraints	2021-05-16 22:02:04 -04:00
rvcas	67dcdbb375	feat(types): more Type2 shallow clone	2021-05-16 22:01:15 -04:00
rvcas	407f350947	tests: trigger Call and Accessor	2021-05-16 21:58:16 -04:00
Anton-4	e17d15f4f2	Added nextjournal editor inspiration	2021-05-14 16:16:55 +02:00
Anton-4	dc20612bbb	Added Richard's Inquisitive code editor inspiration.	2021-05-14 09:26:39 +02:00
Richard Feldman	b72e9ae57d	Merge branch 'trunk' into constrain_expr2_var	2021-05-14 00:27:06 -04:00
Richard Feldman	8313cb80fe	Merge pull request #1298 from rtfeldman/editor_ideas ... editor ideas + inspiration	2021-05-14 00:26:54 -04:00
Richard Feldman	89b5090053	Use std::iter::once over vec![] and into_iter	2021-05-14 00:01:00 -04:00
rvcas	fea2757554	feat(Expr2): implement Var(symbol)	2021-05-13 14:47:48 -04:00
rvcas	11beb10e49	feat: port over the match arm for Lookup in solve	2021-05-13 14:47:16 -04:00
rvcas	9d9c395d49	feat: reintroduce the Lookup constraint	2021-05-13 14:46:02 -04:00
rvcas	a7fefb70c1	chore: use PoolVec::new(nodes, pool) ... This looks better than using the zip function and a raw for loop.	2021-05-12 20:30:19 -04:00
Anton-4	b6ddf58092	Merge branch 'trunk' into editor_ideas	2021-05-12 09:54:26 +02:00
Anton-4	9a8a70d1f9	More editor ideas	2021-05-11 18:15:14 +02:00
Anton-4	df2b9c34b6	Added auto search on error idea	2021-05-11 17:38:01 +02:00
Anton-4	5860fbf46b	Added Zeljko's editor inspiration.	2021-05-11 14:47:50 +02:00
Anton-4	b6fe84047f	minimal reproducible example	2021-05-11 11:00:24 +02:00
Lucas	2187b6c065	Merge branch 'trunk' into constrain_global_tag	2021-05-10 18:39:49 -04:00
Anton-4	de0b553431	editor idea: show Roc cheat sheet on startup ... It would also be cool for demos.	2021-05-10 10:03:45 +02:00
rvcas	d8431eb635	feat(solve): add a different hack for TagName ... This is interesting because at the moment I don't have the information about whether or not this was a Global or Private Tag. This hack gets the tests passing but we probably want something better here.	2021-05-09 21:04:02 -04:00
rvcas	3272e9ec9a	feat(Expr2): implement GlobalTag constraints	2021-05-09 21:01:25 -04:00
rvcas	8a1702f535	chore: bring TagName into scope	2021-05-09 21:00:45 -04:00
rvcas	65c0d3b7bf	tests: add a test for global tags	2021-05-09 21:00:09 -04:00
Richard Feldman	f92358c26e	Merge branch 'trunk' into constrain_list	2021-05-08 20:54:52 -04:00
rvcas	f9d03f6d64	feat: always inline builtin helpers	2021-05-08 12:48:13 -04:00
rvcas	f01fc50337	tests: add new tests for list typechecking	2021-05-08 12:44:29 -04:00
rvcas	fc5e68cb97	tests: add temporarily useless test for SmallStr	2021-05-08 12:44:01 -04:00
rvcas	89bc27d941	tests: into not needed	2021-05-08 12:43:15 -04:00
rvcas	c196257c17	feat(Expr2): implement constraints for List	2021-05-08 12:42:45 -04:00
rvcas	41acbd0f58	feat: port over helper functions for list_type using pool	2021-05-08 12:42:05 -04:00
rvcas	c45b9e89c4	chore: better arguments name in fn exists	2021-05-08 12:41:16 -04:00
rvcas	4c69557f06	chore: bring Index into scope	2021-05-08 12:40:03 -04:00
Anton-4	4e8fd275ae	Inspiration code examples, HLS in-comment testing ... - Inspiration for: + finding similar code snippets + evaluating code in comments (Haskell Language Server plugin). Found by @rvcas :)	2021-05-08 12:43:13 +02:00
Richard Feldman	4375026c7b	Merge pull request #1287 from rtfeldman/constrain_small_str_and_blank ... Constrain Expr2: SmallStr(_) & Blank	2021-05-07 20:55:36 -04:00
rvcas	92c5e88a7a	feat(Expr2): constrain SmallStr(_) and Blank	2021-05-07 12:21:10 -04:00
Richard Feldman	ab8cc95c2b	Disable clippy rule for manual_map	2021-05-07 08:44:44 -04:00
Folkert	fecb83b9c2	fixes	2021-05-07 11:00:15 +02:00
Anton-4	a8c9ff2868	Added debugging ML idea	2021-05-06 15:33:47 +02:00
rvcas	183ca18b35	fix: Constrain SmallInt using Num * logic	2021-05-05 23:00:59 -04:00
rvcas	8bd63c1263	fix: use exists in SmallInt and Float	2021-05-05 23:00:24 -04:00
rvcas	48d2ec985d	fix: use Num * in constrain_record	2021-05-05 22:59:23 -04:00
rvcas	d44b024efe	fix: use Num * in constrain_small_int	2021-05-05 22:58:50 -04:00
Richard Feldman	8105b706e5	Merge branch 'trunk' into lambda-set-frontend	2021-05-05 17:41:03 -04:00
Richard Feldman	0a2ebcbc56	Merge branch 'trunk' into editor_constrain_record	2021-05-05 17:34:04 -04:00
Folkert	e5c95a0ac9	clippy	2021-05-05 21:49:46 +02:00
rvcas	84d69518a9	feat: impl<T: ShallowClone> Shallowclone for Expected<T>	2021-05-05 15:16:12 -04:00
Anton-4	ba6d66fbb9	Merge branch 'editor_constrain_record' of github.com:rtfeldman/roc into editor_constrain_record	2021-05-05 20:50:49 +02:00
Anton-4	33f598f038	changed RecordField<Type2> to RecordField<TypeId> for Type2::Record	2021-05-05 20:49:12 +02:00
rvcas	74180494b2	fix: sizes in Type2 comments	2021-05-05 13:58:50 -04:00
rvcas	58c239df15	fix: add place holder for Expected ShallowClone for now	2021-05-05 12:19:23 -04:00