14 commits

Author	SHA1	Message	Date
Folkert	c5b7ff98fd	move reference matrix	2022-05-08 12:18:10 +02:00
Ayaz Hafiz	356616d834	Move exhaustiveness checking to type solving phase with solve tests	2022-04-25 19:04:08 -04:00
Ayaz Hafiz	7b2b41869f	Add a way to view solved types of arbitrary expressions/patterns in a program	2022-04-23 10:56:53 -04:00
Folkert	5d68a00d1c	make ReferenceMatrix type/module	2022-04-22 15:41:07 +02:00
Ayaz Hafiz	66ec1b4a84	Basic canonicalization and error checking for abilities	2022-04-07 17:21:17 -04:00
Folkert	c335a8b406	move effect_module.rs	2022-02-02 16:48:59 +01:00
Richard Feldman	a7518a675a	Clean up some clippy warnings	2021-05-23 20:28:23 -04:00
Anton-4	b085469602	Replaced large_enum_variant explanation with link to issue #800	2020-12-14 16:09:16 +01:00
Richard Feldman	f90b64edd9	Use a custom macro for builtin_defs	2020-06-20 10:58:12 -04:00
Richard Feldman	9e02537ebb	Store builtins as a Map	2020-06-06 23:41:09 -04:00
Richard Feldman	07001131b2	Add can::builtins	2020-04-25 06:30:01 -04:00
Richard Feldman	908e485fca	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00
Richard Feldman	8ef2ae3de7	clippy clip clip	2020-03-05 23:03:29 -05:00
Richard Feldman	3b6ed43126	Extract can/ into its own crate, plus its deps	2020-03-05 23:01:32 -05:00

Renamed from compiler/src/can/mod.rs (Browse further)