19 commits

Author	SHA1	Message	Date
Folkert	70cba33fe4	fix bug in decision_tree	2020-11-13 01:39:39 +01:00
Folkert	a431af660d	give better debug info for unresolved type variables	2020-11-12 22:28:58 +01:00
Folkert	cf80e2852f	add test for transitive alias import	2020-11-11 01:20:30 +01:00
Folkert	3aa6455795	fix problem with recursive definition constraint gen	2020-11-10 19:40:35 +01:00
Folkert	be5c748b7f	revert some debug things	2020-11-10 14:12:01 +01:00
Folkert	492f0dcc84	add Effect.always and Effect.map	2020-11-09 19:14:26 +01:00
Folkert	0d5aaf2aaa	make getLine : Effect {} work	2020-11-08 23:36:08 +01:00
Folkert	1bce119b0a	allow returning of funtions ... e.g. foo = Num.add	2020-11-08 15:49:24 +01:00
Folkert	c20b40a7d2	fix zero-sized closures	2020-11-08 03:08:13 +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	2abdbaae7d	improve effect example with getLine	2020-11-07 23:50:32 +01:00
Folkert	cb1dff1baf	cleanup	2020-11-07 00:09:45 +01:00
Folkert	a6e39e66f1	generate signature for foreign symbols	2020-11-06 23:46:31 +01:00
Folkert	7a8e9fe343	special hash and dedup for SolvedType	2020-11-06 23:12:47 +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
Folkert	70d89478be	use as Fx to expose closure caller	2020-11-06 02:08:25 +01:00
Folkert	d2a7c0e8ab	add effects example	2020-11-05 15:35:15 +01:00