186 commits

Author	SHA1	Message	Date
Jared Ramirez	9599b806e5	Add annotated tests	2020-12-11 17:29:03 -08:00
Jared Ramirez	0695dcac14	Add Integer/Float num aliases	2020-12-11 17:09:30 -08:00
Richard Feldman	572c7cb3dd	Report an error for lookups of unexposed values	2020-12-10 23:59:15 -05:00
rvcas	4987721154	feat(Num): rename Num.Int to Num.I64	2020-12-07 19:17:20 -05:00
Richard Feldman	e6fd9cd884	Merge branch 'trunk' into rvcas/list_functions	2020-11-24 20:20:51 -05:00
rvcas	f7bd803509	feat(Num): rename Float to F64	2020-11-24 10:25:21 -05:00
Lucas	dfcf7bb7a2	Merge branch 'trunk' into rvcas/list_functions	2020-11-24 09:07:28 -05:00
rvcas	d9e906b8fb	feat(List): rename walkRight to walkBackwards	2020-11-23 19:39:30 -05:00
Richard Feldman	d0f52cb27e	Fix quicksort_partition_help	2020-11-23 00:33:56 -05:00
Richard Feldman	7e5fde1d15	Fix solve_expr	2020-11-23 00:33:56 -05:00
Chadtech	385d0fda9f	Resolving conflicts with remote trunk	2020-11-22 13:54:13 -05:00
Folkert	9ac1491647	add test that fails because of a rigid problem	2020-11-16 02:19:07 +01:00
Folkert	d55b1a2e87	add tests	2020-11-15 02:14:12 +01:00
Folkert	bde82c3bb6	add Store constraint that does not report errors	2020-11-12 15:47:56 +01:00
Folkert	f438cefd68	more test cases	2020-11-12 14:51:40 +01:00
Folkert	791cfbbc34	find stack overflowing case	2020-11-12 02:28:34 +01:00
Folkert	c0483bf3d7	shrink further	2020-11-12 01:53:38 +01:00
Folkert	b72e922d82	shrunk test case	2020-11-12 01:40:21 +01:00
Folkert	197c039cdd	more tests	2020-11-12 01:08:25 +01:00
Folkert	21685b6f8f	add tests for the rigid issue	2020-11-11 22:55:46 +01:00
Folkert	cf80e2852f	add test for transitive alias import	2020-11-11 01:20:30 +01:00
Folkert	1c4be886bf	add rbtree test case	2020-11-10 20:57:24 +01:00
Folkert	3aa6455795	fix problem with recursive definition constraint gen	2020-11-10 19:40:35 +01:00
Folkert	78063f87d7	fix tag pattern argument bug	2020-11-09 23:22:08 +01:00
Folkert	b044a0b8a8	remove comment inbetween signature and definition in test	2020-11-09 02:02:11 +01:00
Folkert	33820dd82e	record alias data in Annotation	2020-11-04 20:06:57 +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	212f8b4d50	change test runners to use new error reporting stuff	2020-11-03 19:36:02 +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	22319aa116	deliberately ignore uniqueness tests with rigids/recursive tag unions	2020-10-30 01:50:37 +01:00
Folkert	73e0ea2e5d	fix some mistakes	2020-10-30 00:35:40 +01:00
Folkert	a0c8915678	Merge remote-tracking branch 'origin/trunk' into fix-alias-inference	2020-10-29 14:40:55 +01:00
Folkert	3abcfe824b	fix some very incorrect tests	2020-10-29 00:14:56 +01:00
Folkert	ef1cee6c41	HUGE WIP	2020-10-28 01:13:04 +01:00
Folkert	1921b74ebb	fix some very incorrect tests	2020-10-28 01:12:57 +01:00
Folkert	e176385169	make sure structure variable is copied/references the copy	2020-10-26 16:19:08 +01:00
Folkert	5fbcfe18d3	new recvar design	2020-10-26 16:16:01 +01:00
Folkert	7d2cc3aac2	WIP	2020-10-25 22:16:27 +01:00
Richard Feldman	b4377d4d67	Get a basic dylib linking started	2020-10-25 01:41:55 -04:00
Dimitar Apostolov	b82baf55e7	Add types for Str.startsWith	2020-10-22 23:23:11 +02:00
Folkert	48d13a7b12	refactor how we solve LetCon	2020-10-19 22:18:20 +02:00
Folkert	894f7de009	changes to closure parameter rank	2020-10-18 23:37:21 +02:00
Folkert	e1290835de	use the full alias body to determine the rank	2020-10-18 23:05:03 +02:00
Folkert	81af929f8f	always unify full alias body, even when alias names match	2020-10-18 21:16:22 +02:00
Folkert	1439c1a21d	clippy complaints	2020-10-17 22:37:15 +02:00
Folkert	0dfeb76d72	un-ignore tests	2020-10-17 21:58:00 +02:00
Folkert	cfb2064868	rip out unneeded tracking of symbol variable mapping	2020-10-17 21:55:37 +02:00
Folkert	607799b96e	steps towards closures and Effects	2020-10-17 20:53:57 +02:00