738 Commits

Author	SHA1	Message	Date
Anton-4	239b358c2e	Added editor ideas	2021-08-27 12:30:07 +02:00
Anton-4	cc617e841f	test code change	2021-08-24 12:56:53 +02:00
Anton-4	71cce22962	More editor ideas, typo fix	2021-08-16 10:58:45 +02:00
Anton-4	55fe8b71d4	Added Joshua's editor ideas	2021-08-16 10:52:26 +02:00
Folkert	6d833845f9	fix typo	2021-08-14 00:53:18 +02:00
Folkert	3e448c1b74	get rid of inefficient conversion from mutmap to uniontags	2021-08-14 00:32:01 +02:00
Folkert	df83bf0d48	Merge remote-tracking branch 'origin/soa-alias' into alias-nominal-equality	2021-08-13 12:11:36 +02:00
Folkert	c9040c012e	make things work	2021-08-13 11:04:31 +02:00
Folkert	42f04fcc77	use variablesubsslice for Apply	2021-08-12 22:49:56 +02:00
Folkert	3bbf1a5506	use UnionTags for recursive tag unions	2021-08-12 20:50:33 +02:00
Folkert	6c0860b6bf	milestone all but one gen tests passing	2021-08-11 21:50:11 +02:00
Folkert	0e66995437	Merge remote-tracking branch 'origin/trunk' into tags-soa-phase-0	2021-08-11 17:25:00 +02:00
Anton-4	db30f73b44	some editor ideas	2021-08-09 11:45:00 +02:00
Lucas	fc7ac8dc10	Merge branch 'trunk' into constrain_closure	2021-08-08 12:44:37 -04:00
Richard Feldman	e20137eb6e	Merge pull request #1546 from rtfeldman/1447-node-id-rename ... Replace uses of ExprId's definition with the alias	2021-08-07 23:15:23 -04:00
Richard Feldman	0904e866ae	Merge pull request #1538 from rtfeldman/remove-vec ... Eliminate a Vec in record solving	2021-08-07 23:01:49 -04:00
Dan Knutson	96667922ac	Replace uses of ExprId's definition with the alias	2021-08-07 19:52:23 -07:00
Richard Feldman	267836226c	s/CodePoint/CodePt/g	2021-08-07 21:46:20 -04:00
Anton-4	9243539c6c	Added kakoune to editor inspiration	2021-08-07 17:09:19 +02:00
Folkert	83ad331bb1	remove chase_record_ext_var	2021-08-07 15:35:57 +02:00
Lucas	f9d1010bfd	Merge branch 'trunk' into constrain_closure	2021-08-07 09:30:54 -04:00
Richard Feldman	49aa0b8ffd	Eliminate a Vec in record solving	2021-08-07 08:35:43 -04:00
Folkert	7a44572ebc	make occurs return Result to use the ? operator	2021-08-07 13:56:16 +02:00
Folkert	fe773995c8	make VariableSubsSlice	2021-08-07 13:12:39 +02:00
Folkert	ff505f695c	Merge remote-tracking branch 'origin/trunk' into records-soa-again	2021-08-07 12:14:41 +02:00
Richard Feldman	b33ecc1bc3	Allow adding nodes that are smaller than 32B	2021-08-06 22:37:50 -04:00
Folkert	7f46073eaa	Merge remote-tracking branch 'origin/trunk' into records-soa-again	2021-08-07 01:12:46 +02:00
Folkert	e0039b94c9	clippy	2021-08-07 01:12:42 +02:00
Folkert	69c224843e	all the work	2021-08-07 00:51:53 +02:00
rvcas	ab696bed61	fix: clippy	2021-08-06 16:35:11 -04:00
rvcas	ccf599910b	tests: better test that avoids a LetFunction	2021-08-06 16:27:16 -04:00
rvcas	4f376819b2	fix: FunctionDef was size 40	2021-08-06 13:42:52 -04:00
rvcas	510c70d326	feat(ClosureExtra): wow this works I think	2021-08-06 13:23:46 -04:00
rvcas	f8687bd991	feat(Expr2): constrain closure implementation	2021-08-06 12:45:31 -04:00
rvcas	8ed4d44f0b	feat(Expr2): add helpers to constrain a closure	2021-08-06 12:45:09 -04:00
rvcas	3036ac3367	tests: new test for constraining closures	2021-08-06 12:44:19 -04:00
Anton-4	d9e79eecb0	fixed typo	2021-08-06 11:09:06 +02:00
Anton-4	f8e3307c3f	Added @Chadtech 's editor idea, thanks Chad!	2021-08-06 11:08:03 +02:00
rvcas	1b2ac68ac5	feat: constrain InvalidLookip	2021-08-04 21:35:56 -04:00
rvcas	75cdad9cd6	feat: constrain PrivateTag ... * we had use TagName in Type2::TagUnion * a helper function for constraining tags because the logic is exactly the same * implement pattern constraints for PrivateTag * also some helper function for constraining tag patterns * use TagName::Private in some of the builtin Num Type2 stuff in constrain	2021-08-04 16:11:19 -04:00
rvcas	e8d48df26b	test: add new test for private tag	2021-08-04 16:10:55 -04:00
Anton-4	e908b81f6a	Added snippet inspiration	2021-08-04 13:44:00 +02:00
Richard Feldman	19bcdeeea6	Merge branch 'trunk' into subs-soa	2021-08-03 23:47:17 -04:00
Richard Feldman	52adbffd9b	Merge pull request #1520 from rtfeldman/editor-ideas ... Added curl translation editor idea	2021-08-03 23:47:07 -04:00
Folkert	efab1ef2ca	implement	2021-08-04 00:33:05 +02:00
Folkert	d4896d3ed2	remove inlinable_string dependency	2021-08-03 21:24:19 +02:00
Folkert	ceb5cc66fa	use IdentStr	2021-08-03 21:14:36 +02:00
Anton-4	e4b98ade95	added curl translation editor idea	2021-08-03 13:54:14 +02:00
Folkert	b4a0881b4d	Merge remote-tracking branch 'origin/trunk' into records-soa	2021-08-01 20:35:24 +02:00
Folkert	cf5c38699b	cleanup	2021-08-01 20:34:35 +02:00