22 commits

Author	SHA1	Message	Date
Folkert	38d3d3169a	drop final suffixes	2022-03-02 21:30:38 +01:00
Folkert	546afc9661	drop soa suffix	2022-03-02 21:21:37 +01:00
Folkert	0eb98a4c59	move over constraint	2022-03-02 21:19:58 +01:00
Folkert	c52029c2d1	the debugging begins	2022-03-02 20:30:42 +01:00
Folkert	19d7f7ce09	make vars-by-symbol a vector	2022-03-01 21:51:25 +01:00
Folkert	9d82f795b7	make it abstract	2022-02-28 23:43:58 +01:00
Folkert	751ae125a5	remove aliases from solve Env	2022-02-28 23:41:07 +01:00
Folkert	c18befeccf	short-circuit aliases	2022-02-28 23:37:33 +01:00
ayazhafiz	059c324268	Error reporting for type mismatches involving opaques	2022-02-27 00:10:12 -05:00
Folkert	237d8d1c0b	fix the Default instance for subs ... we later rely on some variables always existing (numbers, empty record, empty tag union) but the default instance did not insert those	2021-11-17 16:29:16 +01:00
Folkert	13b05e54e8	Merge remote-tracking branch 'origin/clippy-1.54' into alias-nominal-equality	2021-07-30 14:25:50 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert	27c3d57e35	BROKEN	2021-07-29 17:22:25 +02:00
Chadtech	38ef2a915a	Only render exposed values	2021-06-27 20:24:05 -04:00
Folkert	48f392f372	fix bad test examples using unbound type alias variables	2021-05-05 19:54:10 +02:00
Folkert	61ffe687ce	introduce LambaSet variables	2021-05-05 13:54:21 +02:00
Folkert	b5c7c26978	SendMap -> MutMap	2020-12-26 18:12:43 +01:00
Folkert	2ef7072247	change type of exposed_vars_to_symbol	2020-12-26 17:46:15 +01:00
Folkert	6209adbd5c	remove dead code	2020-12-26 17:05:01 +01:00
Folkert	7f1dd80392	hook up size inference, WIP	2020-10-14 22:55:25 +02:00
Folkert	ed592d3d10	refactor solve_module	2020-10-14 22:28:53 +02:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00