92 commits

Author	SHA1	Message	Date
Richard Feldman	7682e09b0a	Fix some fmt stuff	2020-08-31 23:13:50 -04:00
Richard Feldman	274e7e786d	Constrain string interpolation	2020-08-31 23:13:50 -04:00
Richard Feldman	f35e43768a	Get things compiling	2020-08-31 23:13:50 -04:00
Folkert	b4c5c2f793	add variable to list ... stores the list type, so we can know whether it is unique	2020-08-10 21:05:57 +02:00
Richard Feldman	71f929aba2	Count default exprs as having used things	2020-07-20 21:58:05 -04:00
Richard Feldman	8b53ec15fe	Change guard to DestructType	2020-07-18 12:42:04 -04:00
Folkert	331a8ed5eb	error message for record update and missing module	2020-07-14 23:37:19 +02:00
Richard Feldman	1cd49689c2	Merge remote-tracking branch 'origin/trunk' into low-level-ops	2020-07-07 21:09:50 -04:00
Folkert	9d67b11c0d	pretty error messages for integers	2020-07-07 22:10:23 +02:00
Folkert	e595c14fae	wip	2020-07-06 20:38:10 +02:00
Richard Feldman	8665f23a29	Inline LetRec and LetNonRec	2020-07-04 10:57:20 -04:00
Richard Feldman	319da4141e	Fix some inlining logic	2020-07-04 10:35:37 -04:00
Richard Feldman	1926adb543	Fix inlining and test	2020-07-04 10:23:01 -04:00
Richard Feldman	3e5627689f	Add basic inline function and a failing test	2020-07-04 10:22:55 -04:00
Richard Feldman	053db8449a	Fix inlining and test	2020-07-03 23:16:32 -04:00
Richard Feldman	a1870457bf	Add basic inline function and a failing test	2020-07-03 21:36:51 -04:00
Richard Feldman	dec5c3a062	Get low-level ops compiling	2020-06-19 20:07:04 -04:00
Richard Feldman	1b3b9ee1c4	Merge remote-tracking branch 'origin/trunk' into specialize-separately	2020-06-13 23:54:30 -04:00
Richard Feldman	269da82840	Make VarStore no longer use atomics	2020-06-13 21:59:01 -04:00
Richard Feldman	245a9fc951	Merge remote-tracking branch 'origin/trunk' into specialize-separately	2020-06-13 21:03:38 -04:00
Richard Feldman	a4338f0406	Remove lots of unnecessary clones (thanks clippy!)	2020-06-07 15:43:07 -04:00
Richard Feldman	887ec9860a	wip	2020-05-26 21:19:46 -04:00
Richard Feldman	101dc80ae5	Move parse::operator into module::operator	2020-05-01 21:58:53 -04:00
Folkert	7e4a1ef4bd	better message for duplicate fields/tags	2020-04-14 21:18:37 +02:00
Folkert	f6af66f342	record, tag, alias errors ... - duplicate fields and tags are reported - circular aliases are reported	2020-04-13 20:53:16 +02:00
Folkert	7632a4b484	highlight code snippets better	2020-04-12 20:59:16 +02:00
Folkert	98479511f5	when_if_guard	2020-04-05 00:15:38 +02:00
Folkert	11c8e2bfaa	improve Precedence error message	2020-03-31 23:11:35 +02:00
Richard Feldman	d213c7316b	Fix missing report for precedence problem	2020-03-31 00:08:56 -04:00
Folkert	4947e2638c	remove RuntimeError panics in canonicalization	2020-03-30 15:59:00 +02:00
Chad Stearns	221581432a	Two non-functional problem reports	2020-03-29 14:28:06 -04:00
Folkert	97acf1363d	cleanup after review	2020-03-21 12:52:10 +01:00
Folkert	920928399a	type inference for pattern guards	2020-03-21 00:39:52 +01:00
Folkert	b43be95b19	add record_var to Access and Accessor	2020-03-14 01:13:44 +01:00
Folkert	e62ddc9ef5	make record variable names clearer	2020-03-14 01:01:14 +01:00
Folkert	fb8e8570bc	Merge remote-tracking branch 'origin/trunk' into num	2020-03-11 14:30:50 +01:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04:00
Folkert	7fea957979	hardcode Bool	2020-03-10 14:50:35 +01: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
Richard Feldman	908e485fca	Move constrain and its deps into their own crates	2020-03-06 01:43:39 -05:00
Richard Feldman	5b5f800c70	cargo fmt	2020-03-05 23:03:49 -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/expr.rs (Browse further)