107 Commits

Author	SHA1	Message	Date
imaqtkatt	c8383d112b	Add test with mismatched ask branches	2024-08-01 15:44:11 -03:00
imaqtkatt	94bff60775	Add test with unscoped pattern on definition rule	2024-06-25 18:10:26 -03:00
Nicolas Abril	ea56af9048	Add file IO utils	2024-06-21 20:19:43 +02:00
imaqtkatt	8694b79500	Add elif chain to functional syntax	2024-06-20 16:12:49 -03:00
Nicolas Abril	b4bf3dede2	Add Tree syntax and builtins	2024-06-05 16:00:43 +02:00
imaqtkatt	9f7871709a	Move huge_tree test to compile_long	2024-05-28 12:25:39 -03:00
imaqtkatt	24b3219016	Implement elif	2024-05-27 08:15:36 -03:00
imaqtkatt	20a20027d3	Dont allow variable names contain '__'	2024-05-24 10:50:04 -03:00
imaqtkatt	af8d6e3e0b	Dont allow top level names start with '//'	2024-05-23 14:43:25 -03:00
Nicolas Abril	e700294e1d	Add new IO, fix pruning	2024-05-23 19:25:24 +02:00
imaqtkatt	97f7a40907	Use the same keyword 'type' for adt definitions	2024-05-22 11:51:35 -03:00
Nicolas Abril	0e26732c4e	Disable check-net-size by default	2024-05-20 17:12:08 +02:00
Nicolas Abril	076415d9ab	Increase max net size and make the check optional	2024-05-19 00:29:37 +02:00
Nicolas Abril	08480c40e1	Fix parsing of empty switch	2024-05-16 13:47:28 +02:00
Nicolas Abril	5b4524e4a7	Change comments to #	2024-05-15 21:26:16 +02:00
imaqtkatt	372ae8a384	Update lambda syntax and built-in constructor names	2024-05-15 15:23:26 -03:00
Nicolas Abril	e1dd23d96c	Update tests to use .bend extension, fix test uite	2024-05-15 00:25:46 +02: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	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	1572e123cd	[sc-662] Add 'fold' logic and core syntax	2024-05-08 21:16:50 +02:00
Nicolas Abril	1313a73aa1	[sc-653] Reorder compiled redexes recursive last	2024-05-02 16:55:26 +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
tjjfvi	87bda56a4d	add tests for vicious circles	2024-04-18 11:45:33 -04:00
tjjfvi	37fe1116d6	re-add test for unused let	2024-04-18 08:59:30 -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
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	5f435033b8	Add inlining test for simple node types	2024-04-02 10:00:44 -03:00
Nicolas Abril	58f1f53a7d	[sc-517] Update tests after rebase	2024-03-29 10:50:16 +01:00
Nicolas Abril	7611eaadb0	[sc-517] Use kind2-like pattern matching terms, remove nested lets and adt lets	2024-03-29 10:49:36 +01:00
imaqtkatt	8cc2e54683	Add use expression	2024-03-15 15:35:41 -03:00
Nicolas Abril	3cc5a7a242	[sc-503] Refactor error passing	2024-03-12 19:26:05 +01:00
LunaAmora	b2d783c1d7	Update how warns are displayed, add repeated bind warning	2024-03-07 14:25:46 -03:00
Nicolas Abril	3eff3e28cd	[sc-489] Use the AST iterators in more places, fixing some bugs	2024-03-06 19:56:20 +01:00
imaqtkatt	cfb054c3d1	Merge pull request #220 from HigherOrderCO/feature/sc-490/remove-restriction-of-types-not-sharing-names ... [sc-490] Remove restriction of types not sharing names with constructors	2024-03-04 10:35:52 -03:00
imaqtkatt	e39c66fbbf	Add duplicated data with defname test	2024-03-04 10:29:57 -03:00
imaqtkatt	a179e1042f	Allow constructors share names with data types	2024-03-04 09:05:32 -03:00
Nicolas Abril	68afe6afa3	Add crlf test	2024-03-02 00:39:31 +01:00
imaqtkatt	8425bf0ae8	Change write macro to writeln	2024-03-01 14:32:14 -03:00
imaqtkatt	5870f0d6e5	Remove static arguments compilation	2024-02-29 14:39:30 -03:00
Nicolas Abril	39ffe05d72	[sc-301] Add pattern matching on non-zero numbers	2024-02-27 18:16:16 +01:00
LunaAmora	79ee00125e	Fix parser hanging with large generated file	2024-02-22 15:38:14 -03:00
LunaAmora	b41abe8edb	Refactor error handling	2024-02-20 10:30:40 -03:00
LunaAmora	7dc78cac6f	Remove Missing Parenthesis parser error	2024-02-16 10:06:50 -03:00
LunaAmora	c56693eb23	Fix some parser error diagnostics	2024-02-15 11:54:38 -03:00
imaqtkatt	727ad370c9	Fix nam token priority	2024-02-14 08:22:58 -03:00
imaqtkatt	0ff494397e	Move long_name test to compile_file	2024-02-07 13:58:22 -03:00