128 Commits

Author	SHA1	Message	Date
Folkert	c64a6da745	make Storage store where it came from	2020-11-11 01:14:15 +01:00
Folkert	3aa6455795	fix problem with recursive definition constraint gen	2020-11-10 19:40:35 +01:00
Folkert	3cd132dd51	introduce foreign call	2020-11-05 23:35:56 +01:00
Folkert	2acbfa91f1	remove def_symbol field	2020-11-04 14:59:41 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	b075c2d394	clean up imports	2020-10-31 15:36:46 +01:00
Folkert	6c578440e0	remove uniqueness alias lifting	2020-10-31 15:35:17 +01:00
Folkert	4bd723b353	remove more unneeded alias things	2020-10-31 15:33:43 +01:00
Folkert	09ad286123	remove unused function	2020-10-31 15:29:36 +01:00
Folkert	8b3b677439	remove aliases from Let and LetCon	2020-10-31 15:27:24 +01:00
Folkert	9e981c264e	fix clippy issues	2020-10-30 22:28:55 +01:00
Folkert	58467d6515	get tests back up an running	2020-10-30 16:58:53 +01:00
Folkert	cba841601b	fix some uniqueness issues	2020-10-30 01:50:57 +01:00
Folkert	73e0ea2e5d	fix some mistakes	2020-10-30 00:35:40 +01:00
Folkert	8a50d48ce2	expand aliases used in constraint gen	2020-10-29 22:31:14 +01:00
Folkert	f13c28fe7f	collect and instantiate hidden variables	2020-10-25 19:11:03 +01:00
Folkert	2c55fa5ec5	clippy	2020-10-24 21:23:55 +02:00
Folkert	9d2a4a7d39	move SolvedType -> Type conversion to solved_types.rs	2020-10-24 01:17:51 +02:00
Folkert	e446ecd9a9	factor out closure constraint generation	2020-10-21 13:47:02 +02:00
Folkert	4db09b10aa	refactor ClosureLayout	2020-10-21 13:38:46 +02:00
Folkert	c8c1a0678a	code gen for variably-sized closures	2020-10-21 13:01:27 +02:00
Folkert	3408a31453	preparations for specializing closures	2020-10-20 00:33:10 +02:00
Folkert	6d866ff58d	so defs get different treatment...	2020-10-19 15:44:32 +02:00
Folkert	607799b96e	steps towards closures and Effects	2020-10-17 20:53:57 +02:00
Folkert	edfc96628e	WIP	2020-10-17 14:53:57 +02:00
Folkert	70a53bd544	cleanup	2020-10-17 00:56:40 +02:00
Folkert	defa408e83	clippy fixes	2020-10-17 00:40:01 +02:00
Folkert	acd275f57c	uniqueness closure size inference	2020-10-16 21:07:39 +02:00
Folkert	d931c8994a	fix most type inference issues	2020-10-16 20:50:42 +02:00
Folkert	40ffca2b7b	IT WORKS	2020-10-16 00:18:40 +02:00
Folkert	de8ad07f2e	Merge branch 'top-level-thunks' into sized-functions-inference	2020-10-14 21:58:53 +02:00
Folkert	2df86b6438	fix uniqueness bug ... builtin defs were included twice, which threw off uniqueness inference	2020-10-12 22:16:10 +02:00
Folkert	79d3b0ac01	cross module specialization WIP	2020-10-11 01:23:52 +02:00
Folkert	c8e5acf142	code gen Accessor	2020-10-03 21:44:04 +02:00
Folkert	e9f5c1a73c	actually infer the size	2020-10-02 22:33:31 +02:00
Folkert	c00cd2f415	hook everything up in the gen tests	2020-10-02 21:04:42 +02:00
Folkert	a0c6952258	fix problem in uniqueness inference	2020-10-02 01:08:37 +02:00
Folkert	2e1e87ad6a	add closure size variable	2020-10-02 00:53:02 +02:00
Folkert	f857203673	Merge remote-tracking branch 'origin/trunk' into recursive-layouts	2020-09-07 16:53:15 +02:00
Folkert	46755973d6	wip	2020-09-06 18:53:26 +02:00
Sébastien Besnier	f319fdad79	Tag with no args in error msgs (#471)	2020-09-05 08:42:40 +02:00
Richard Feldman	37a254cef3	Interpolate strings by desugaring to Str.concat ... We could definitely make this more efficent by allocating enough space for the final string and then copying the contents of each of the pieces into it one by one. We don't do that yet though!	2020-08-31 23:14:45 -04:00
Richard Feldman	e9f71d09bb	Monomorphize string interpolation	2020-08-31 23:13:50 -04:00
Richard Feldman	274e7e786d	Constrain string interpolation	2020-08-31 23:13:50 -04:00
Richard Feldman	f35e43768a	Get things compiling	2020-08-31 23:13:50 -04:00
Folkert	b4c5c2f793	add variable to list ... stores the list type, so we can know whether it is unique	2020-08-10 21:05:57 +02:00
Folkert	a82cc7f28f	fix weird region in error messages	2020-07-21 16:20:03 +02:00
Folkert	b45b39af5e	optional fields improvements	2020-07-21 15:25:21 +02:00
Folkert	e93c04a8ce	improved error messages for function definitions	2020-07-20 21:38:21 +02:00
Folkert	ae966c8933	constraint default unique	2020-07-20 13:44:45 +02:00