814 commits

Author	SHA1	Message	Date
Folkert	3d30bcef03	store filenames out of band	2022-03-03 10:13:52 +01:00
Folkert	da89152fef	fix static assert	2022-03-03 08:32:32 +01:00
Folkert	760331829f	deduplicate categories	2022-03-02 22:05:38 +01:00
Folkert	0eb98a4c59	move over constraint	2022-03-02 21:19:58 +01:00
Folkert	8d2e0a738c	exploiting exactsizeiterator	2022-03-02 21:08:14 +01:00
Folkert	54c6292b4b	clippy	2022-03-02 20:59:51 +01:00
Folkert	289e1a7ae1	fix ordering bug	2022-03-02 20:57:55 +01:00
Folkert	c52029c2d1	the debugging begins	2022-03-02 20:30:42 +01:00
Folkert	fe48bdf5b1	make solve that uses new constraint	2022-03-02 19:43:03 +01:00
Folkert	2598e8fe8c	Merge remote-tracking branch 'origin/trunk' into constraints-soa	2022-03-02 19:10:58 +01:00
Folkert	0be23e23da	implement save the environment check	2022-03-02 18:59:13 +01:00
Folkert	a4889fd571	we are compiling	2022-03-02 18:48:34 +01:00
Folkert	01a7fe77d4	even more wip	2022-03-02 17:32:50 +01:00
Folkert	b8fd6992a2	More wip	2022-03-02 15:29:45 +01:00
Folkert	ec099bbdec	WIP	2022-03-02 14:46:30 +01:00
Brendan Hansknecht	0ae0e689fc	Merge pull request #2602 from rtfeldman/list-replace ... List replace	2022-03-01 23:29:32 +00:00
Folkert	d54c98e1aa	Merge remote-tracking branch 'origin/trunk' into constraints-soa	2022-03-01 22:39:51 +01:00
Folkert	81e45b1e2f	make List.set use List.replace under the hood	2022-02-27 22:47:26 +01:00
Folkert	78fe734113	change the return type of List.replace	2022-02-27 22:47:08 +01:00
ayazhafiz	cf628ed4ef	Fix clippy warning	2022-02-27 12:21:20 -05:00
ayazhafiz	720b7b49d2	Improve error pattern and fix tests	2022-02-27 12:01:12 -05:00
Brendan Hansknecht	4d42d81c63	add broken attempt to get list.set to use list.replace under the hood	2022-02-27 01:21:02 -08:00
Brendan Hansknecht	d9e9c28889	add error test case	2022-02-27 00:45:51 -08:00
Brendan Hansknecht	b802d681a3	Merge remote-tracking branch 'origin/trunk' into list-replace	2022-02-27 00:28:08 -08:00
ayazhafiz	34900c1f55	Address @rtfeldman review	2022-02-27 00:11:11 -05:00
ayazhafiz	07b1829732	Improve error reporting for patterns not matching opaques	2022-02-27 00:11:11 -05:00
ayazhafiz	059c324268	Error reporting for type mismatches involving opaques	2022-02-27 00:10:12 -05:00
ayazhafiz	822e38d026	Fix opaque reporting tests	2022-02-27 00:10:12 -05:00
ayazhafiz	ccd4963e0f	Fix clippy warnings	2022-02-27 00:10:12 -05:00
ayazhafiz	86aa0df661	Add constraint generation for opaque types	2022-02-27 00:10:11 -05:00
Richard Feldman	d3acf34415	Merge pull request #1591 from rtfeldman/single-quote-literal ... Single Quote literal	2022-02-26 23:27:46 -05:00
Emi Simpson	40375adbb0	Merge remote-tracking branch 'upstream/trunk' into fix-panic-on-unimported-module	2022-02-25 09:18:19 -05:00
Brendan Hansknecht	edfbd6242f	fix ListReplace generate if types	2022-02-24 22:38:32 -08:00
Brendan Hansknecht	dddf8ff785	switch from pair to record and change name to ListReplaceUnsafe	2022-02-24 20:41:26 -08:00
Brendan Hansknecht	ba2e8cd32b	Add base piping for list.Replace	2022-02-24 17:58:56 -08:00
Emi Simpson	4d10c22442	🐛️ Handle unimported modules properly ... helpful error, not panic! Closes #2422	2022-02-24 20:52:25 -05:00
Brendan Hansknecht	f7c0e2ef19	Merge remote-tracking branch 'origin/trunk' into single-quote-literal	2022-02-24 10:13:39 -08:00
ayazhafiz	e420ebd023	Add TODOs for opaque type comments that will need to be changed later	2022-02-21 23:21:39 -05:00
hafiz	ca9ecbea52	Merge pull request #2533 from rtfeldman/abilities! ... [WIP] Spike for abilities and friends	2022-02-21 23:18:40 -05:00
ayazhafiz	90de82e295	Validation of opaques during canonicalization	2022-02-21 18:25:19 -05:00
Brendan Hansknecht	74daec84df	Merge pull request #2472 from rtfeldman/add_Int.toInt_builtins ... Add `{Int *}.to{Int *}` builtins	2022-02-21 18:03:14 +00:00
ayazhafiz	543ca97a1c	Remove spaces around var in record update ... Closes #2534	2022-02-20 20:17:29 -05:00
ayazhafiz	6b53692aac	Canonicalize opaque types	2022-02-20 13:47:01 -05:00
ayazhafiz	6104a27b45	Parse opaque references	2022-02-19 21:30:42 -05:00
ayazhafiz	a38f1d1e8d	Fmt and clippy	2022-02-19 20:54:21 -05:00
ayazhafiz	fa24e51593	Parse opaque types	2022-02-19 18:38:31 -05:00
ayazhafiz	8ce81e4607	AliasHeader -> TypeHeader	2022-02-19 17:51:56 -05:00
ayazhafiz	13067f2908	Implement Num.toNNNChecked ... Closes #2411	2022-02-19 16:20:21 -05:00
ayazhafiz	d90915a8cd	Implement Num.to* builtins ... Just wrap over Num.intCast	2022-02-19 11:28:41 -05:00
Jan Van Bruggen	e12d98af98	WIP: Start adding new Int.toInt builtins	2022-02-19 11:28:12 -05:00