imaqtkatt
2c35a13074
Add "tunr" as correct word
2024-02-27 15:31:23 -03:00
imaqtkatt
568d2b0157
Fix files filter patterns
2024-02-27 15:13:34 -03:00
Nicolas Abril
28d456da07
Merge pull request #209 from HigherOrderCO/feature/sc-455/improve-match-linearization-pass
...
[sc 455] improve match linearization pass
2024-02-27 18:14:56 +01:00
LunaAmora
d992c27670
Fix doc tipos
2024-02-27 14:05:53 -03:00
LunaAmora
d80639dcc9
Small doc fix
2024-02-27 11:47:07 -03:00
LunaAmora
5548cff89b
Rename pass, add flag docs
2024-02-27 10:00:02 -03:00
LunaAmora
ed190fa60c
Rename passes to be more descriptive
2024-02-27 09:30:11 -03:00
LunaAmora
3c4f0dbcf1
Fix lazy_mode flag check
2024-02-26 16:25:58 -03:00
LunaAmora
6ad080b5eb
Remove unused test file
2024-02-26 16:20:41 -03:00
LunaAmora
65fd779598
Revert linearize_extra to an linearize_matches argument
2024-02-26 15:43:04 -03:00
LunaAmora
e903af152f
Refactor lift_combinaotors to work with linearize_matches change
2024-02-26 13:42:29 -03:00
LunaAmora
19181598da
Make supercombinators work with non-linear match arms
2024-02-26 12:43:01 -03:00
imaqtkatt
85c75f38ab
WIP dont linearize used once variables in match arm
2024-02-26 12:43:01 -03:00
T6
244acd19a2
configure ci ( #204 )
2024-02-26 09:32:33 -05:00
imaqtkatt
20b01400aa
Merge pull request #208 from HigherOrderCO/bug/sc-471/oall-and-ono-all-reset-the-adt-encoding
...
[sc-471] Oall and Ono-all reset the adt encoding
2024-02-26 11:05:30 -03:00
FranchuFranchu
c03b1d233b
Add HVM.print [sc-469] ( #206 )
2024-02-26 10:01:55 -03:00
imaqtkatt
b2f3564ff2
Add set all and no_all methods
2024-02-26 09:12:25 -03:00
imaqtkatt
e7056da312
Merge pull request #207 from HigherOrderCO/feature/sc-470/add-missing-escape-sequences
...
[sc-470] Add missing escape sequences
2024-02-26 08:46:16 -03:00
imaqtkatt
59239ea822
Add escaped backtick
2024-02-26 08:44:12 -03:00
imaqtkatt
9efd21cdc5
Add single quote normalization
2024-02-26 08:06:18 -03:00
imaqtkatt
3b32ee6660
WIP add missing CR, null and quote escape sequences
2024-02-23 17:51:29 -03:00
imaqtkatt
ae257a441e
Merge pull request #205 from HigherOrderCO/bug/sc-468/pre-reduction-with-hvmc-builtins-is-broken
...
[sc-468] pre-reduction with hvmc builtins is broken
2024-02-23 15:53:35 -03:00
imaqtkatt
2fbfa5c3aa
Fix pre reduce inert redexes
2024-02-23 15:27:23 -03:00
Nicolas Abril
751af02f49
Add broken black box pre-reduce test
2024-02-23 14:04:00 +01:00
Nicolas Abril
53fea886c9
Merge pull request #201 from HigherOrderCO/chore/sc-403/refactor-pattern-match-encoding
...
[sc-403] Refactor pattern match encoding, add multi-arg match
2024-02-22 21:30:12 +01:00
Nicolas Abril
45447b4d51
[sc-403] Change pat-match algorithm, add multi-arg matches
2024-02-22 20:38:00 +01:00
Nicolas Abril
1876c8d6b3
Merge pull request #202 from HigherOrderCO/bug/sc-459/parser-hangs-with-large-generated-file
...
[sc-459] parser hangs with large file
2024-02-22 19:41:48 +01:00
LunaAmora
45bf357ceb
Improve Name fns, add Term::str
2024-02-22 15:40:24 -03:00
LunaAmora
72704f5c81
Fix comment typo
2024-02-22 15:38:14 -03:00
LunaAmora
36ede35e38
Change Token::Str and Term::Str to use the string interner
2024-02-22 15:38:14 -03:00
LunaAmora
79ee00125e
Fix parser hanging with large generated file
2024-02-22 15:38:14 -03:00
Nicolas Abril
4eb45c54f0
Merge pull request #203 from HigherOrderCO/add-cargo-lock-back
...
Update cargo.lock, remove unused snap
2024-02-22 19:19:14 +01:00
LunaAmora
2667e58b17
Add cargo.lock, remove unused snap
2024-02-22 15:15:19 -03:00
Nicolas Abril
c96d6f459f
Merge pull request #194 from HigherOrderCO/core-ptr-refactor/sc-362/basic-compatibility
...
Make hvm lang compatible with ptr refactor [sc-362]
2024-02-22 19:10:09 +01: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
imaqtkatt
d4874b951c
Merge pull request #200 from HigherOrderCO/feature/sc-457/don-t-show-1-in-linearized-variables-that
...
[sc-457] Don't show _1 in linearized variables that are only used 1 time
2024-02-22 12:20:42 -03:00
imaqtkatt
23d12f8ca6
Add used_once_names test
2024-02-22 10:36:04 -03:00
imaqtkatt
a264cd16bb
Change dup name when is used once
2024-02-22 10:31:44 -03:00
Luna
068d25fe10
Merge pull request #197 from HigherOrderCO/chore/sc-450/refactor-error-handling-to-handle-multiple
...
[sc-450] Refactor error handling
2024-02-21 14:12:53 -03:00
LunaAmora
e69a2c2a79
Add '.' to the end of all errors
2024-02-21 11:59:22 -03:00
Luna
37a0d1a495
Update src/term/check/exhaustiveness.rs
...
Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
2024-02-21 11:44:32 -03:00
LunaAmora
6210455866
Improve ExhaustivenessErr limit hint
2024-02-21 11:40:42 -03:00
LunaAmora
71c4a4e4ec
Add limit for exhaustiveness errors, and use verbose flag to remove it
2024-02-21 10:54:13 -03:00
imaqtkatt
96bad39eb0
Merge pull request #199 from HigherOrderCO/feature/sc-456/add-as-a-string-literal
...
[sc-456] Add backticks as a string literal
2024-02-21 10:11:39 -03:00
LunaAmora
589d47a5db
Merge errors from the same definition
2024-02-21 09:46:03 -03:00
imaqtkatt
9a03279a0c
Update str_backtick test
2024-02-21 09:30:16 -03:00
imaqtkatt
7c2a2be24a
Add string backtick support
2024-02-21 09:07:14 -03:00
Nicolas Abril
14a38c3ba6
Merge pull request #198 from HigherOrderCO/bug/sc-451/variable-linearization-not-working-in-some
...
Fix linearize with erased patterns let
2024-02-21 11:43:24 +01:00
LunaAmora
2171a3ae6d
Fix linearize with erased patterns let
2024-02-20 17:01:00 -03:00
LunaAmora
b6ca0f811d
Clarify get_possible_entry_points output order
2024-02-20 15:45:08 -03:00
