73 Commits

Author	SHA1	Message	Date
Nicolas Abril	1b56a20fbb	Bump version to 0.2.6	2024-05-17 18:24:47 +02:00
Nicolas Abril	276f92f6b2	Ignore big files in published package	2024-05-16 22:30:37 +02:00
Nicolas Abril	4f310d4df8	Bump version to 0.2.5	2024-05-16 22:24:40 +02:00
Nicolas Abril	01e1849988	Update for new version of hvm-core	2024-05-15 23:01:13 +02:00
Nicolas Abril	6e93b49df1	Add stuff to allow crates.io to publish	2024-05-15 22:17:01 +02:00
Nicolas Abril	2e421e0403	Use hvm-core from crates.io	2024-05-15 22:09:51 +02:00
Nicolas Abril	f724bbf541	Add list resugaring on readback	2024-05-15 22:07:58 +02:00
Nicolas Abril	2ae73384e2	update the package name to bend-lang	2024-05-15 21:45:48 +02:00
Nicolas Abril	62ab40f46c	Bump version to 0.2.2	2024-05-15 21:28:02 +02:00
Nicolas Abril	0ce59d9721	Bump version to 0.2.1	2024-05-15 09:13:50 +02:00
Nicolas Abril	c2f37ebfec	Increment version	2024-05-15 01:00:37 +02: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	1c124e9a83	[sc-609] Update for fixed version of TSPL	2024-04-29 20:31:42 +02:00
Nicolas Abril	3a80ac0d96	[sc-627] Initial update for hvm32	2024-04-22 19:03:56 +02:00
tjjfvi	092972f946	use published loaned	2024-04-19 12:18:10 -04:00
tjjfvi	105633153e	encode terms directly to hvmc nets	2024-04-18 11:45:30 -04:00
Nicolas Abril	aa3d49b269	Update for no-std hvm-core	2024-04-11 16:10:13 +02:00
Nicolas Abril	9db85265c4	[sc-501] Use TSPL for the parser	2024-04-10 20:33:47 +02: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
Nicolas Abril	28912c9280	[sc-523] Use pre-reduce to check for non-termination in strict mode	2024-04-08 16:27:25 +02:00
tjjfvi	d9b5a80c65	upgrade hvmc version	2024-03-21 08:09:01 -04:00
FranchuFranchu	e7f677f717	Update Cargo.toml	2024-03-15 15:55:37 -03:00
FranchuFranchu	accbaea0f1	[sc-509] Implement remaining hvm2 builtins.	2024-03-15 15:55:37 -03:00
Nicolas Abril	c85d01a817	Merge remote-tracking branch 'origin/main' into feature/sc-479/update-encodings-to-make-use-of-hvmc-n-ary	2024-03-01 22:11:22 +01:00
LunaAmora	216175a7f2	Impl clone for Term, remove unecessary clones	2024-02-29 13:19:45 -03:00
LunaAmora	b9edd06eae	Fix drop impl, remove crate	2024-02-29 13:19:45 -03:00
LunaAmora	7ab53c8a05	Add remove_trait_impls drop version	2024-02-29 13:19:45 -03:00
LunaAmora	6263b642bb	Wip stacker and drop impl	2024-02-29 13:19:45 -03:00
Nicolas Abril	45447b4d51	[sc-403] Change pat-match algorithm, add multi-arg matches	2024-02-22 20:38:00 +01:00
LunaAmora	79ee00125e	Fix parser hanging with large generated file	2024-02-22 15:38:14 -03:00
FranchuFranchu	f51e4eb22e	Make hvm lang compatible with ptr refactor [sc-362] ... Add `HVM.log` and `HVM.black_box`, together with their documentation. Add basic CLI support for limiting rewrites. Trimming names and adapting them for hvm-core is not necessary anymore. Update `pre_reduce`. `pre_reduce` can now reduce unrelated redexes in defs that use builtin defs. This is done by making builtin defs "inert" on pre-reduction, and then adding back their interactions to the reduced net. `pre_reduce_refs` is redundant now and has been removed. Make `Ctx` and `compile_book` take a mutable borrow of `Book`. Sister PR: https://github.com/HigherOrderCO/hvm-core/pull/60	2024-02-22 15:00:29 -03:00
LunaAmora	c56693eb23	Fix some parser error diagnostics	2024-02-15 11:54:38 -03:00
Nicolas Abril	b76a8fdf5c	[sc-440] Update rust toolchain, solve new deprecation warnings	2024-02-12 14:58:34 +01:00
Nicolas Abril	3e9b3d7e58	[sc-410] Add untagged scott encoding option for ADTs	2024-02-09 12:50:59 +01:00
LunaAmora	9c3aa73b75	Fix sup/dup behavior when not using lazy mode	2024-02-02 13:43:14 -03:00
LunaAmora	17b74c6fe0	Add lazy mode	2024-02-02 10:58:46 -03:00
imaqtkatt	2b3ec9853a	Update highlight_error to latest version	2024-01-31 14:26:39 -03:00
imaqtkatt	6e93dbc316	Add location and highlight on parser errors	2024-01-31 13:50:10 -03:00
LunaAmora	cfdf387e58	Update hvm-core git dep	2023-11-21 07:41:33 -04:00
imaqtkatt	e5a0119d3e	WIP opx term to net	2023-11-21 07:09:12 -04:00
LunaAmora	50b27e3d04	Start hvmc version update	2023-11-21 07:05:50 -04:00
LunaAmora	930b3593ea	Remove pretty_assertions dev-dependency	2023-11-13 08:38:21 -04:00
LunaAmora	e12433c19c	Migrate tests to cargo-insta	2023-11-13 08:38:21 -04:00
Victor Maia	513d969936	fix broken stuff	2023-11-12 16:53:29 -03:00
Victor Maia	51e4b76f03	update binary name for consistency with hvmc	2023-11-12 16:52:18 -03:00
Nicolas Abril	e8e81f331d	[sc-119] Remove anyhow dependency	2023-11-10 18:54:35 +01:00
Nicolas Abril	73f9f8c3b8	[sc-119] Remove bimap dependency	2023-11-10 18:54:35 +01:00
Nicolas Abril	27ff188477	Remove derive_more and thiserror dependencies	2023-11-10 18:54:35 +01:00
Nicolas Abril	4894c8b64c	[sc-119] Remove miette dependency	2023-11-10 18:54:35 +01:00