550 Commits

Author	SHA1	Message	Date
Nicolas Abril	c1a9bf2e41	[sc-682] Make the imp parser indentation based	2024-05-14 17:42:41 +02:00
imaqtkatt	1aaa5ad7be	Update tests	2024-05-14 09:33:16 -03:00
imaqtkatt	02b6baaa71	Add unscoped lambdas and improve patterns	2024-05-14 09:00:56 -03:00
Nicolas Abril	b223e34893	[sc-681] Add monadic ask mixed with other terms, complete do syntax in imp	2024-05-13 17:23:20 +02:00
imaqtkatt	204024500c	Re add old constructor syntax, adjust cases and lambdas	2024-05-11 15:53:17 -03:00
Nicolas Abril	26e79255bc	[sc-669] Allow both syntaxes at the same time	2024-05-11 19:18:24 +02:00
imaqtkatt	89d9728351	Update tests	2024-05-10 17:39:06 -03:00
imaqtkatt	6948e1b3fb	Constructors inherit type name	2024-05-10 17:31:16 -03:00
Nicolas Abril	2f8a12bceb	[sc-670] Add priority redexes and order dups correctly in compilation	2024-05-10 21:08:29 +02:00
Nicolas Abril	b5e89aa129	[sc-667] Switch to new syntax by default	2024-05-10 13:23:09 +02:00
Nicolas Abril	c67f688a84	Improve mutual recursion err msg and add some colors	2024-05-09 18:32:30 +02:00
Nicolas Abril	da4e2511ce	[sc-662] Add fold and bend to bend syntax	2024-05-09 17:42:35 +02:00
Nicolas Abril	1572e123cd	[sc-662] Add 'fold' logic and core syntax	2024-05-08 21:16:50 +02:00
Nicolas Abril	7d140ab0bd	[sc-662] Reorganize and rename modules	2024-05-08 14:07:36 +02:00
imaqtkatt	16fcf89798	Add inference for do notation	2024-05-07 17:07:00 -03:00
Nicolas Abril	cf680f559d	[sc-630] Rename the crate to bend and update docs for it	2024-05-07 21:58:06 +02:00
Nicolas Abril	03fcf344f1	[sc-548] Add support for i24 and f24	2024-05-06 14:36:54 +02:00
Nicolas Abril	1313a73aa1	[sc-653] Reorder compiled redexes recursive last	2024-05-02 16:55:26 +02:00
Nicolas Abril	334ad80eee	[sc-654] Fix linearize binds before match	2024-05-01 19:09:15 +02:00
Nicolas Abril	cad606671a	Improve some error messages, add radixsort example	2024-05-01 16:56:22 +02:00
Nicolas Abril	79e1ee6bad	[sc-629] Fix parsing of keywords	2024-04-29 20:49:20 +02:00
Nicolas Abril	1c124e9a83	[sc-609] Update for fixed version of TSPL	2024-04-29 20:31:42 +02:00
Nicolas Abril	c8ce05520a	Update tests for hvm32	2024-04-26 22:38:20 +02:00
Nicolas Abril	2cba162ded	Update for new hvm32 number syntax	2024-04-24 22:17:49 +02:00
Nicolas Abril	7c9557127f	Update for op2 fix	2024-04-22 21:18:52 +02:00
Nicolas Abril	3a80ac0d96	[sc-627] Initial update for hvm32	2024-04-22 19:03:56 +02:00
Nicolas Abril	5e1120c107	[sc-623] Fix eta-reducible match linearization	2024-04-22 13:20:47 +02:00
imaqtkatt	983713f2b5	Implement monadic bind syntax	2024-04-19 13:39:15 -03:00
tjjfvi	87bda56a4d	add tests for vicious circles	2024-04-18 11:45:33 -04:00
tjjfvi	807bf5c826	update tests	2024-04-18 11:45:31 -04:00
tjjfvi	37fe1116d6	re-add test for unused let	2024-04-18 08:59:30 -04:00
tjjfvi	eff2b274e1	support unscoped readback in all pattern-binding terms	2024-04-18 07:28:07 -04:00
tjjfvi	a975f888d4	add erased_side_effect test	2024-04-17 16:54:26 -04:00
tjjfvi	bc13b5d7e2	add 360_no_scope test	2024-04-17 16:47:54 -04:00
tjjfvi	3594414368	refactor: use patterns in more of the ast	2024-04-17 16:45:34 -04:00
imaqtkatt	361410dbeb	Change unscoped lambda readback approach	2024-04-16 11:59:33 -03:00
imaqtkatt	57ab78dfcd	Change readback vars insertion	2024-04-16 10:38:55 -03:00
imaqtkatt	9dddf7b44e	Add scopeless lambdas and variables readback	2024-04-16 09:57:35 -03:00
Nicolas Abril	f1270dacba	[sc-608] Update pretty printing	2024-04-15 17:24:08 +02:00
Nicolas Abril	9199e3afaa	[sc-608] Make binding mandatory in match, simplify and improve match and linearization	2024-04-15 14:22:37 +02:00
imaqtkatt	b07fb4e6d1	Implement term pretty printing	2024-04-12 11:23:13 -03:00
imaqtkatt	a0ccd7eb26	Add more examples	2024-04-11 14:17:46 -03:00
Nicolas Abril	9db85265c4	[sc-501] Use TSPL for the parser	2024-04-10 20:33:47 +02:00
imaqtkatt	570ad97833	Fix unused definition with scott adt	2024-04-10 10:16:05 -03:00
imaqtkatt	a89663b003	Remove unused golden tests directory	2024-04-10 09:22:05 -03:00
imaqtkatt	10559b6df7	Change examples test to read from examples directory	2024-04-09 20:24:25 -03:00
imaqtkatt	60e4cc6eb4	Add test on example programs	2024-04-09 15:46:13 -03:00
imaqtkatt	269aae28a8	Implement debug for lazy evaluation	2024-04-08 14:24:12 -03:00
Nicolas Abril	dba81b00bd	[sc-603] Update for new hvmc number/op type	2024-04-08 19:15:29 +02:00
Nicolas Abril	3dc09cf167	[sc-523] Improve cli and error for pre-reduce loop check	2024-04-08 16:27:25 +02:00