260 commits

Author	SHA1	Message	Date
Ayaz Hafiz	ce8b50caea	Support bound variables in multiple patterns	2022-07-21 11:40:09 -04:00
Richard Feldman	3972664e48	Rename Category::Float to Category::Frac	2022-07-20 10:49:05 -04:00
Ayaz Hafiz	f1a6ea6a40	Typecheck and compile opaque wrapping functions ... This enables you to write something like ``` A := U8 List.map [1, 2, 3] @A ``` which will be compiled as if it was `List.map [1, 2, 3] \x -> @A x`. Closes #3499	2022-07-12 18:38:03 -04:00
Ayaz Hafiz	b04f704b99	Remove constrain_builtin_imports	2022-07-10 10:46:18 -04:00
Ayaz	7b308d9efe	Merge pull request #3404 from rtfeldman/ambient-lset-specialization ... The ambient lambda set specialization algorithm	2022-07-09 17:23:27 -05:00
Ayaz Hafiz	808d19b01b	Correctly compile unified recursive tag unions	2022-07-08 17:35:14 -04:00
Ayaz Hafiz	5d74a376af	Attach ambient function vars to lambda sets	2022-07-06 13:04:29 -04:00
Ayaz Hafiz	c154a337a9	Get deep range numbers working	2022-07-05 22:16:52 -04:00
Ayaz Hafiz	5a18490050	Support ordering floats in numeric literal bounds	2022-07-05 22:16:51 -04:00
Anton-4	eee85fa45d	moved all crates into seperate folder + related path fixes	2022-07-01 17:37:43 +02:00