38 commits

Author	SHA1	Message	Date
Joshua Warner	f19220473a	Rename Located -> Loc	2021-12-22 19:18:22 -08:00
Richard Feldman	763809805b	Drop unused alias info	2021-11-21 13:35:23 -05:00
Folkert	27c3d57e35	BROKEN	2021-07-29 17:22:25 +02:00
Anton-4	314503cf7f	fixed typos, added typos checking to CI	2021-06-05 20:02:54 +02:00
Chadtech	12c0067348	Created scope and idents for module docs, but they appear to be empty when the doc links function tries to use them	2021-05-22 14:06:56 -04:00
Folkert	ff3f231155	remove Mode from stdlib	2021-04-01 21:42:38 +02:00
Folkert	ca04411523	fix tests/more uniq removal	2021-02-07 22:50:33 +01:00
Richard Feldman	0b620539ef	Report accurate regions in unused imports	2020-12-13 22:51:23 -05:00
Richard Feldman	572c7cb3dd	Report an error for lookups of unexposed values	2020-12-10 23:59:15 -05:00
Folkert	b075c2d394	clean up imports	2020-10-31 15:36:46 +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	cba841601b	fix some uniqueness issues	2020-10-30 01:50:57 +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	79d3b0ac01	cross module specialization WIP	2020-10-11 01:23:52 +02:00
Folkert	2e1e87ad6a	add closure size variable	2020-10-02 00:53:02 +02:00
Folkert	b45b39af5e	optional fields improvements	2020-07-21 15:25:21 +02:00
Richard Feldman	1409421de2	Constrain optional record fields	2020-07-18 13:45:12 -04:00
Richard Feldman	1cd49689c2	Merge remote-tracking branch 'origin/trunk' into low-level-ops	2020-07-07 21:09:50 -04:00
Folkert	36e6950daa	ensure VarId always encodes root var ... otherwise variables with the same root, but different values would be different once imported in another module	2020-06-30 15:03:30 +02:00
Richard Feldman	8c96d12661	Merge trunk	2020-06-29 22:10:46 -04:00
Folkert	e5997c4047	fix mutual recursive types ... I'll write a bit more about this in the PR message	2020-06-26 01:03:55 +02:00
Folkert	055b01c463	rewrite uniqueness logic	2020-06-24 23:06:34 +02:00
Richard Feldman	461e166254	wip	2020-06-20 13:59:04 -04:00
Richard Feldman	e49b43d376	Extract constrain_imports & pre_constrain_imports	2020-06-19 11:02:10 -04:00
Richard Feldman	269da82840	Make VarStore no longer use atomics	2020-06-13 21:59:01 -04:00
Richard Feldman	c47dc57fc2	Appease clippy	2020-05-26 00:41:57 -04:00
Richard Feldman	4295dec955	Fix load_builtin_aliases ordering	2020-05-26 00:04:59 -04:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00
Folkert	63bc923b37	remove panic	2020-04-13 22:54:24 +02:00
Richard Feldman	a2f5f6f9fb	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00
Folkert	4848eb5901	refactor introduced variables ... This has lead to so many problems, so I made a special-purpose type for it	2020-03-06 23:55:31 +01:00
Folkert	fefac9580e	expose rigids introduced by builtins ... they aren't used yet, because their names can 'leak'. Not sure what the best way forward is here	2020-03-06 13:48:52 +01:00
Richard Feldman	45bda2e0c7	Move unique_builtins into builtins crate	2020-03-06 01:47:04 -05:00
Richard Feldman	908e485fca	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00

Renamed from compiler/src/constrain/module.rs (Browse further)