3179 commits

Author	SHA1	Message	Date
Folkert	c1d0af5b39	make things compile/run	2021-03-09 20:19:34 +01:00
Folkert	2031488d1a	give maxI128 an explicit annotation	2021-03-09 20:19:10 +01:00
Folkert	91c1b6c382	write LLVM IR to file when validation fails	2021-03-09 20:14:26 +01:00
Eric Henry	4d046abefa	builtin maxI128 initial	2021-03-09 12:47:42 -05:00
Richard Feldman	c2525d2407	Merge pull request #1056 from rtfeldman/parse-operators ... Parse operators	2021-03-07 23:19:49 -05:00
Richard Feldman	eee4cb1456	Merge pull request #1055 from rtfeldman/err-void ... Err with void type	2021-03-07 23:07:43 -05:00
Folkert	0f648e1d16	rename	2021-03-07 22:17:20 +01:00
Folkert	1b622774fc	refactor	2021-03-07 20:37:05 +01:00
Folkert	7f7593f63e	move when and if into expression	2021-03-07 19:52:07 +01:00
Folkert	1b750149c0	error messages for bad operators	2021-03-07 18:50:44 +01:00
Folkert	6b2119a54d	refactor	2021-03-07 02:42:06 +01:00
Folkert	bfe027e2f0	cleanup	2021-03-07 01:49:32 +01:00
Folkert	8e9339a83d	improved binop parser	2021-03-07 01:48:31 +01:00
Folkert	2faeda29f2	Err with void type	2021-03-06 23:07:03 +01:00
Folkert	dbb4758cb9	Merge remote-tracking branch 'origin/trunk' into backpassing	2021-03-06 19:01:39 +01:00
Folkert	1416d2e47f	clippy	2021-03-06 16:39:16 +01:00
Folkert	3304f54ca8	format backpassing	2021-03-06 16:34:13 +01:00
Folkert	88737ebbcf	centralize def indent check	2021-03-06 16:17:56 +01:00
Folkert	e2d08b8f78	make backpassing an expr	2021-03-06 16:05:18 +01:00
Folkert	5d9e4d8e3b	we don't need this	2021-03-06 15:41:12 +01:00
Anton-4	480666e4e3	removed unused dependencies using cargo-udeps #1036	2021-03-06 12:07:09 +01:00
Richard Feldman	1211fa93f7	Merge pull request #1049 from rtfeldman/map2 ... List.map2	2021-03-05 22:55:12 -05:00
Folkert	9306c3698c	clippy	2021-03-06 01:56:30 +01:00
Folkert	9364fd591c	add test for backpassing	2021-03-06 01:53:44 +01:00
Folkert	d8bc44fd47	add Result.after	2021-03-06 01:53:37 +01:00
Folkert	d7904b1d41	remove comma parsing in backpassing	2021-03-06 01:10:02 +01:00
Folkert	3303798a5e	refactor	2021-03-05 22:41:50 +01:00
Folkert	42654debbf	basic backpassing	2021-03-05 22:33:34 +01:00
Folkert	4a89ecca2a	even more refactor	2021-03-05 20:27:17 +01:00
Folkert	e07ef4e744	refactor refactor	2021-03-05 20:16:09 +01:00
Folkert	5b2c2bee33	refactor	2021-03-04 22:54:05 +01:00
Folkert	00440f350c	substitute either!	2021-03-04 22:15:15 +01:00
Folkert	14d389e5d1	add tests	2021-03-04 15:46:55 +01:00
Folkert	0bc4d2c514	implement logic in zig	2021-03-04 15:41:03 +01:00
Folkert	baef33fc0c	llvm bindings ... map the lowlevel op into LLVM code; it calls zig code, but the zig code does not do anything yet	2021-03-04 14:54:41 +01:00
Folkert	2e73e47673	setup ... just some stuff we need in place for the parser to recognice map2 and to give it a (hardcoded) type	2021-03-04 14:42:43 +01:00
Folkert	74388e8cc8	fix mono tests	2021-03-03 23:14:31 +01:00
Folkert	d4bff7bcdc	fix List.walkBackwards logic	2021-03-03 23:14:23 +01:00
Folkert	f2770fb579	show me the error	2021-03-03 22:37:23 +01:00
Folkert	b4dd1cd751	off by 1	2021-03-03 22:37:08 +01:00
Folkert	ee5d68a6cc	better debug reporting	2021-03-03 22:31:17 +01:00
Folkert	b4f86c449f	try harder to find a list element type	2021-03-03 21:34:10 +01:00
Folkert	86ebad4d95	don't send RecursionVar as FlexVar; use the structure var instead	2021-03-03 21:33:16 +01:00
Folkert	1c9cc6bc9b	extra debug info	2021-03-03 20:10:36 +01:00
Folkert	25827fc70e	more debug info	2021-03-03 20:09:21 +01:00
Folkert	b7ed6929ba	append must now own its first argument too	2021-03-03 20:08:50 +01:00
Folkert	ca8c23e448	fix up zig code	2021-03-03 20:05:50 +01:00
Folkert	9873eb358b	write List.append in zig	2021-03-03 15:29:22 +01:00
Folkert	050958d053	add some bad error messages	2021-03-03 02:04:02 +01:00
Folkert	a255805331	Merge branch 'parse-record-expr' into import-alias	2021-03-03 00:51:27 +01:00