65 commits

Author	SHA1	Message	Date
Jared Ramirez	d69b9173fc	Also store f64 for things like pattern comparisons, etc	2021-08-18 17:18:13 -07:00
Folkert	894ef2b7b2	Merge remote-tracking branch 'origin/trunk' into alias-nominal-equality	2021-07-30 23:34:16 +02:00
Folkert	e0648d348d	new formatting	2021-07-30 17:13:50 +02:00
Folkert	13b05e54e8	Merge remote-tracking branch 'origin/clippy-1.54' into alias-nominal-equality	2021-07-30 14:25:50 +02:00
Folkert	899cbeabd7	fix extra ampersands	2021-07-29 17:32:08 +02:00
Folkert	4cefbec5c7	store lambda set in alias types	2021-07-28 15:26:25 +02:00
Richard Feldman	53ccef0506	nightly clippy ... I was on nightly for benchmarks, and these all seem reasonable.	2021-06-18 15:21:11 -04:00
Folkert	700e7d9686	parse expect	2021-04-22 23:00:44 +02:00
Folkert	ebd6ee3f14	optimize cycleentry generation	2021-04-10 22:00:45 +02:00
Folkert	112e97c4a2	improve circular definition error reporting	2021-04-10 21:39:20 +02:00
Folkert	ce98da9d04	remove Nested from Def	2021-03-21 21:14:32 +01:00
Folkert	7731ab38d1	update tests	2021-01-21 22:41:47 +01:00
Folkert	b8c0c85395	tell me what function has no implementation	2021-01-20 16:29:19 +01:00
Folkert	4dd7ea1356	add some failing tests	2021-01-17 00:38:30 +01:00
rvcas	127c4e1bcc	feat: add inner var to IntLiteral and FloatLiteral	2020-12-29 20:52:54 -05:00
Anton-4	b085469602	Replaced large_enum_variant explanation with link to issue #800	2020-12-14 16:09:16 +01:00
Folkert	815b942f29	cleanup	2020-11-13 01:59:09 +01:00
Folkert	55b26277ca	properly sort recursive definitions	2020-11-12 00:32:45 +01:00
Folkert	33f65caedd	alias referenced by another alias is not unused!	2020-11-09 22:22:00 +01:00
Folkert	4868c0bd25	fix problem with patterns and optional record fields	2020-11-09 01:04:40 +01:00
Sébastien Besnier	f4c1af0f19	test_can pass	2020-11-08 13:43:11 +01:00
Sébastien Besnier	014131dabe	handle AnnotatedBody everywhere. It compiles now!	2020-11-08 13:43:11 +01:00
Richard Feldman	2f2e67059b	Merge branch 'trunk' into fuzz	2020-11-01 08:57:19 -05:00
Folkert	8b3b677439	remove aliases from Let and LetCon	2020-10-31 15:27:24 +01:00
Brendan Hansknecht	d00189530a	Add fuzzing to the parser. ... As part of this, todos and panics where moved outside of this module to elsewhere when they would cause fuzzing to fail.	2020-10-30 22:04:54 -07:00
Folkert	93a1baad1d	use only references (no Vec) in canonical AST	2020-10-26 01:03:33 +01:00
Folkert	7d2cc3aac2	WIP	2020-10-25 22:16:27 +01:00
Folkert	f13c28fe7f	collect and instantiate hidden variables	2020-10-25 19:11:03 +01:00
Folkert	c05ae4929f	make sure aliases are added to the scope	2020-10-24 01:20:22 +02:00
Folkert	d931c8994a	fix most type inference issues	2020-10-16 20:50:42 +02:00
Folkert	e656363cc0	restrain the set of captured variables further	2020-10-16 01:42:06 +02:00
Folkert	40ffca2b7b	IT WORKS	2020-10-16 00:18:40 +02:00
Folkert	b7e099a6c8	add captured symbols field to Closure	2020-10-15 16:08:35 +02:00
Folkert	e9f5c1a73c	actually infer the size	2020-10-02 22:33:31 +02:00
Folkert	2e1e87ad6a	add closure size variable	2020-10-02 00:53:02 +02:00
Richard Feldman	3c39a331d7	Remove obsolete parse::ast::TypedBody	2020-09-07 09:19:25 -04:00
Richard Feldman	71f929aba2	Count default exprs as having used things	2020-07-20 21:58:05 -04:00
Richard Feldman	1cd49689c2	Merge remote-tracking branch 'origin/trunk' into low-level-ops	2020-07-07 21:09:50 -04:00
Folkert	58dfeba043	accept a newline and body when patterns are different	2020-07-07 17:26:45 +02:00
Folkert	0c7a4179aa	report malformed int and float patterns	2020-07-04 20:29:37 +02:00
Folkert	98ac988e99	use symbols instead of identifiers; prevents cloning	2020-07-03 19:23:58 +02:00
Folkert	667233a00d	report error for invalid alias argument patterns	2020-07-03 16:54:28 +02:00
Folkert	0cfb16c7d5	implement canonicalization error when signature pattern does not match definition pattern.	2020-07-02 23:24:10 +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
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	0a9989e75f	wip	2020-06-06 23:41:12 -04:00