220 commits

Author	SHA1	Message	Date
Sébastien Besnier	6dbde806d6	cargo-fmt	2020-11-08 13:43:11 +01:00
Sébastien Besnier	19bd75aa62	merge things from trunk	2020-11-08 13:43:11 +01:00
Sébastien Besnier	014131dabe	handle AnnotatedBody everywhere. It compiles now!	2020-11-08 13:43:11 +01:00
Folkert	3d092cb9b7	in theory allow non-function effects values ... this does not work due to limitations with functions in tag unions	2020-11-08 03:07:59 +01:00
Folkert	2a872f180a	some foundations for zero-sized values in closures	2020-11-08 01:55:06 +01:00
Folkert	114e08f05f	fix some typos	2020-11-08 00:20:00 +01:00
Folkert	e516a0aebb	ignore the absence of a Pkg-Config file	2020-11-08 00:12:15 +01:00
Folkert	ae2246c122	theoretically allow dependencies in platform modules	2020-11-07 23:27:47 +01:00
Folkert	40aa166473	exclude the Effect module from being loaded, for now	2020-11-07 22:58:50 +01:00
Folkert	40477eee82	make quicksort use a Pkg-Config.roc file	2020-11-07 22:44:06 +01:00
Folkert	7c570475d8	add load_pkg_config function	2020-11-07 22:18:22 +01:00
Richard Feldman	ea150b0101	Change syntax for requires in platform modules	2020-11-07 12:20:09 -05:00
Richard Feldman	7ba95a0bd0	Parse user-specified Effect name	2020-11-07 12:05:45 -05:00
Richard Feldman	c8b28b96fa	Parse a : before each effects entry	2020-11-07 11:42:55 -05:00
Folkert	7ca5b7edd0	Merge remote-tracking branch 'origin/trunk' into generate-effects-module	2020-11-07 13:51:42 +01:00
Folkert	fc73679932	more clippy things	2020-11-07 01:17:50 +01:00
Folkert	dfd316c062	comment memory-leaking test	2020-11-07 00:48:43 +01:00
Folkert	7cfe5efe1b	Merge remote-tracking branch 'origin/trunk' into generate-effects-module	2020-11-07 00:30:23 +01:00
Folkert	e27527b552	clean up file.rs	2020-11-07 00:21:21 +01:00
Folkert	ec7e8804ac	thread Mode through	2020-11-07 00:18:16 +01:00
Folkert	dc199fe527	clippy	2020-11-07 00:11:40 +01:00
Folkert	a6e39e66f1	generate signature for foreign symbols	2020-11-06 23:46:31 +01:00
Folkert	4b8392696e	make effect name flexible	2020-11-06 23:15:27 +01:00
Folkert	7faab5d857	remove debug prints	2020-11-06 21:51:32 +01:00
Folkert	7e6724262d	make after work	2020-11-06 21:48:54 +01:00
Pablo Hirafuji	ecfcdf7d79	Add docs multiparagraph tests	2020-11-06 14:36:30 -03:00
Richard Feldman	27d17f6e2e	Merge branch 'trunk' into fix/docs-tests	2020-11-05 23:35:41 -05:00
Folkert	3eb6c33ad8	ITS ALIVE!!!	2020-11-06 01:50:49 +01:00
Folkert	4c3f0a5002	get foreign call compiling (but not working)	2020-11-06 00:00:47 +01:00
Folkert	3d0f2751f5	commit some crimes	2020-11-05 23:18:28 +01:00
Folkert	e6f6b8c224	fix incorrect Dependencies for platform module	2020-11-05 21:01:51 +01:00
Folkert	f3158ab63b	generate fake definitions	2020-11-05 20:19:51 +01:00
Folkert	816be1a102	build fake Effect alias	2020-11-05 17:02:24 +01:00
Folkert	d5473a45b2	most basic of fake modules	2020-11-05 16:29:45 +01:00
Folkert	f6dba5267b	get basic fake constrained module in place	2020-11-05 16:15:35 +01:00
Folkert	4df2bb1578	remove unused code	2020-11-05 15:49:08 +01:00
Folkert	82ad0001b6	remove unneeded field from module cache	2020-11-05 01:06:31 +01:00
Folkert	cb28e533b8	so close	2020-11-04 23:07:02 +01:00
Folkert	4c5a5dc6a2	thread things through	2020-11-04 21:03:43 +01:00
Folkert	6a51ba70c2	Merge remote-tracking branch 'origin/trunk' into track-exposed-rigids-aliases	2020-11-04 13:22:45 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	d19223dfb3	add VariableSizedTypes struct	2020-11-04 00:03:14 +01:00
Folkert	212f8b4d50	change test runners to use new error reporting stuff	2020-11-03 19:36:02 +01:00
Folkert	e565abd411	remove passing of src	2020-11-03 17:13:44 +01:00
Folkert	c47e3d7649	remove FinishedInfo	2020-11-03 17:11:13 +01:00
Folkert	af0600dc25	report errors per-module	2020-11-03 16:59:37 +01:00
Pablo Hirafuji	f441e1dbd1	Merge branch 'trunk' into fix/docs-tests	2020-11-03 10:59:05 -03:00
Richard Feldman	2f2e67059b	Merge branch 'trunk' into fuzz	2020-11-01 08:57:19 -05:00
Folkert	6ecb3b36d0	cleanup based on review	2020-10-31 15:57:15 +01:00
Folkert	4bd723b353	remove more unneeded alias things	2020-10-31 15:33:43 +01:00