19 commits

Author	SHA1	Message	Date
Folkert	21685b6f8f	add tests for the rigid issue	2020-11-11 22:55:46 +01:00
Folkert	984cf744e3	make Storage store where it came from	2020-11-11 01:16:30 +01:00
Folkert	73e0ea2e5d	fix some mistakes	2020-10-30 00:35:40 +01:00
Folkert	b45b39af5e	optional fields improvements	2020-07-21 15:25:21 +02:00
Folkert	ae966c8933	constraint default unique	2020-07-20 13:44:45 +02:00
Folkert	36574e6ff7	constrain the default	2020-07-20 13:28:20 +02:00
Richard Feldman	7330e82f75	Constrain optional fields	2020-07-18 14:51:18 -04: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	0c7a4179aa	report malformed int and float patterns	2020-07-04 20:29:37 +02:00
Richard Feldman	88990c8711	Move Int and Float modules into Num	2020-06-22 23:25:38 -04:00
Richard Feldman	a4338f0406	Remove lots of unnecessary clones (thanks clippy!)	2020-06-07 15:43:07 -04:00
Folkert	2811f978a4	make a Index data type	2020-04-11 20:40:25 +02:00
Folkert	7e4e3c93d5	cleanup	2020-04-07 21:12:56 +02:00
Folkert	106a3646bf	add category to Eq constraint	2020-04-01 20:09:10 +02:00
Folkert	e05bad3c72	remove panic in constrain/src/pattern	2020-03-30 15:09:15 +02:00
Folkert	38c93c001f	constrain whole_var	2020-03-13 23:34:29 +01:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04: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/pattern.rs (Browse further)