42 Commits

Author	SHA1	Message	Date
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
Nicolas Abril	b1488439cf	[sc-119] Remove byte-unit dependency	2023-11-10 18:54:00 +01:00
imaqtkatt	b617dc0dbd	WIP generate scott adts	2023-11-10 14:49:38 -03:00
Nicolas Abril	f3dc189610	Enable link time optimizations	2023-10-17 11:35:13 +02:00
Nicolas Abril	12a1a0b0cd	Small cleanups	2023-10-17 10:29:52 +02:00
Nicolas Abril	c10ea546a4	Implement If term, partial fix for op2, stabilize nums!	2023-10-10 21:29:26 +02:00
imaqtkatt	67616abf11	Fix wrong error outputs by using miette	2023-10-09 18:33:12 -03:00
Nicolas Abril	bc280b750f	Update to latest hvm-core version, add numbers back, breaks readback	2023-10-09 20:07:48 +02:00
Nicolas Abril	0bfe5fa361	Complete type inference pass (not working)	2023-10-05 22:16:34 +02:00
Nicolas Abril	c320fad0eb	Make runtime memory size configurable	2023-09-26 17:53:58 +02:00
Nicolas Abril	6904e81e67	Put numbers behind a disabled feature after hvm update	2023-09-25 17:33:55 +02:00
Nicolas Abril	292ad27593	Detach def names from the id sent to hvm-core	2023-09-22 19:56:04 +02:00
Victor Maia	bf45ac884a	update hvm	2023-09-20 23:23:49 -03:00
Nicolas Abril	a7a856821d	Add explicit cargo bin, make clap dep for cli only	2023-09-09 10:59:23 +02:00
Nicolas Abril	3faedc1057	Avoid copying definition names so much; Separate semantic checking into module	2023-09-09 10:49:49 +02:00
Nicolas Abril	e2633b4abf	Add correct error displaying on test	2023-09-08 18:40:40 +02:00
Nicolas Abril	0e35f20e65	Remove numops, update to new hvm repo	2023-09-08 16:10:28 +02:00
Nicolas Abril	493b518a52	Use hvm OP; Add test that runs in hvm	2023-09-05 20:23:23 +02:00
Nicolas Abril	1005f4072e	Use the hvm repo types and fns; Switch to u64 nodes	2023-09-04 18:39:22 +02:00
Nicolas Abril	3996edac56	Add dup inference	2023-09-04 17:51:26 +02:00
Nicolas Abril	1a1d331c35	Implement a golden testing model for tests	2023-08-31 22:11:19 +02:00
Nicolas Abril	7731d2487c	Finish initial version of hvm-lang to hvm-core compilation	2023-08-31 20:35:41 +02:00
Nicolas Abril	9f1ef68ea3	Add first part of hvm-lang to hvm-core compilation	2023-08-30 19:18:40 +02:00
Nicolas Abril	c2eaa8502d	Initial commit of hvm-lang with basic parser	2023-08-29 22:43:01 +02:00