1161 commits

Author	SHA1	Message	Date
Ayaz Hafiz	6413000579	Factor unloaded derived symbols check	2022-07-13 08:47:40 -04:00
Ayaz Hafiz	a7b06fd7cf	Remove various dbgs	2022-07-13 08:47:39 -04:00
Ayaz Hafiz	df9bcb1a0c	Use Derived_synth for synthesizing implementations, and Derived_gen for codegen	2022-07-13 08:47:39 -04:00
Ayaz Hafiz	987ebfa9d3	Move expr copying to can	2022-07-13 08:47:39 -04:00
Ayaz Hafiz	63adb901b4	A couple hacks to get deriving of records working.. but it's working?	2022-07-13 08:47:38 -04:00
Ayaz Hafiz	91e3bfbd01	Fix tests	2022-07-13 08:47:38 -04:00
Ayaz Hafiz	9826253785	Deriving string encoders works	2022-07-13 08:47:37 -04:00
Ayaz Hafiz	445d922f3b	Compact lambda sets with structural derived ability impls	2022-07-13 08:47:37 -04:00
Ayaz Hafiz	d8bee6cd18	Perfom derives from global derives module, not just symbol table	2022-07-13 08:47:36 -04:00
Ayaz Hafiz	bee7d15aae	Comment out debugs for now	2022-07-13 08:47:35 -04:00
Ayaz Hafiz	16e64263f6	Correctly monomorphize all derived methods	2022-07-13 08:47:34 -04:00
Ayaz Hafiz	e8fb186d79	Load derived member impls into derived module for mono	2022-07-13 08:47:34 -04:00
Folkert	439db7027d	update size asserts	2022-07-13 12:31:32 +02:00
Folkert	6c26d8812f	remove dict/hash stuff from the zig builtins	2022-07-13 11:59:46 +02:00
Folkert	4d55b756bb	remove dict/set layout	2022-07-13 11:41:19 +02:00
Folkert	8e21fdcb04	remove dict/set lowlevels	2022-07-13 11:24:07 +02:00
Richard Feldman	455dde1ba4	Merge remote-tracking branch 'origin/trunk' into string-memory-problems	2022-07-12 22:03:49 -04:00
Folkert	0e080f95ca	remove dict/set layout gen	2022-07-13 01:00:46 +02:00
Ayaz Hafiz	f1a6ea6a40	Typecheck and compile opaque wrapping functions ... This enables you to write something like ``` A := U8 List.map [1, 2, 3] @A ``` which will be compiled as if it was `List.map [1, 2, 3] \x -> @A x`. Closes #3499	2022-07-12 18:38:03 -04:00
Folkert de Vries	d889f1fda9	Merge pull request #3498 from rtfeldman/no-line-numbers-in-runtime-error-function ... Remove compiler-file/line-dependent runtime error messages	2022-07-12 23:04:06 +02:00
Folkert de Vries	846bab7425	Merge pull request #3493 from rtfeldman/deep-copy-var-in-body ... mono copy: deep copy all vars in an expr	2022-07-12 23:02:27 +02:00
Folkert	bc24841921	Str.fromUtf8Range: take list argument as owned; make sure it's decremented in the small string case	2022-07-12 22:57:48 +02:00
Ayaz Hafiz	94142bf474	Remove compiler-file/line-dependent runtime error messages ... This will help avoid the diff changes we've been running into often when changes to mono line numbers change test results.	2022-07-12 15:17:19 -04:00
Ayaz Hafiz	669d69c4cf	Clippy	2022-07-12 11:29:11 -04:00
Ayaz Hafiz	e626bac931	Be extremely aggressive about inlining	2022-07-12 11:00:05 -04:00
Ayaz Hafiz	0274691813	Preserve uls_of_var when copying types	2022-07-12 10:58:21 -04:00
Ayaz Hafiz	4707b11727	Clone tag and field names across subs, add a test	2022-07-12 10:47:44 -04:00
Ayaz Hafiz	c915707c83	Get rid of arenas	2022-07-12 10:07:34 -04:00
Ayaz Hafiz	46fdda333f	Use a trait to do copies	2022-07-12 10:02:11 -04:00
Ayaz Hafiz	c3b2e9aa97	Add copy expr test	2022-07-12 09:30:51 -04:00
Ayaz Hafiz	7031d26299	mono copy: copy all vars in deep expr	2022-07-12 09:18:43 -04:00
Folkert	1863bcbd8c	stop using line numbers in unresolved type var messages	2022-07-10 22:17:35 +02:00
Folkert	a671b57f83	consider expect in inc/dec	2022-07-10 20:56:56 +02:00
Folkert	57acbb5f28	clippy	2022-07-10 14:06:28 +02:00
Folkert	76a2496b9e	error earlier on empty lambda set	2022-07-10 11:23:13 +02:00
Ayaz	7b308d9efe	Merge pull request #3404 from rtfeldman/ambient-lset-specialization ... The ambient lambda set specialization algorithm	2022-07-09 17:23:27 -05:00
Folkert de Vries	7a2c2f6d1d	Merge pull request #3460 from rtfeldman/i3456 ... Correctly compile polymorphic recursive tag unions	2022-07-09 12:44:21 +02:00
Ayaz Hafiz	532b2ff403	Support specialization of naked tag unions at toplevel	2022-07-08 17:50:52 -04:00
Ayaz Hafiz	808d19b01b	Correctly compile unified recursive tag unions	2022-07-08 17:35:14 -04:00
Folkert	e8530eaca5	improve lowlevel unwrapping	2022-07-08 22:13:13 +02:00
Folkert	c0ace1ee0b	update mono tests	2022-07-08 16:19:12 +02:00
Folkert	24c6b92846	update mono tests	2022-07-08 16:16:42 +02:00
Folkert de Vries	43f9b0d0fa	Merge pull request #3389 from rtfeldman/3378 ... Call recursive function with captures, and consolidate proc calling	2022-07-08 16:14:33 +02:00
Folkert	41768bfa97	new approach for defining our builtins	2022-07-08 13:46:34 +02:00
Folkert	56c9787e8f	List.appendUnsafe and List.reserve	2022-07-07 22:40:28 +02:00
Folkert de Vries	0412578e49	Merge pull request #3433 from rtfeldman/url-appending-fixes ... url appending fixes	2022-07-07 11:51:40 +02:00
Ayaz	22f02984d3	Merge branch 'trunk' into 3378	2022-07-06 20:37:32 -05:00
Ayaz Hafiz	89e356b5eb	Ambient lambda set unification means we can have nice things again	2022-07-06 13:08:59 -04:00
Ayaz Hafiz	5d74a376af	Attach ambient function vars to lambda sets	2022-07-06 13:04:29 -04:00
ayazhafiz	ab75de39d6	Fix gen for runtime error functions	2022-07-06 12:49:02 -04:00