Nicolas Abril
|
582ac2ba82
|
Add 'peekable' to cspell dictionary
|
2024-03-12 19:28:23 +01:00 |
|
Nicolas Abril
|
3cc5a7a242
|
[sc-503] Refactor error passing
|
2024-03-12 19:26:05 +01:00 |
|
imaqtkatt
|
d788c0a484
|
Merge pull request #232 from HigherOrderCO/feature/sc-500/add-simple-infinite-expansion-check-to-eagerly
[sc-500] Add mutual recursion cycle check
|
2024-03-12 17:03:45 +00:00 |
|
imaqtkatt
|
58ee6c732b
|
Update cycle error message
|
2024-03-12 13:43:52 -03:00 |
|
imaqtkatt
|
0271739d9f
|
Fix typo
|
2024-03-12 12:43:13 -03:00 |
|
imaqtkatt
|
4645b3231b
|
Update cycle error message
|
2024-03-12 12:41:08 -03:00 |
|
imaqtkatt
|
16b5743d77
|
Adjust automatic optimization section
|
2024-03-12 11:58:23 -03:00 |
|
imaqtkatt
|
c7d0c78646
|
Add linearization information
|
2024-03-12 11:55:10 -03:00 |
|
imaqtkatt
|
c2dca526c5
|
Apply clippy suggestions
|
2024-03-12 11:34:35 -03:00 |
|
imaqtkatt
|
203eb130b9
|
Update lazy definitions documentation
|
2024-03-12 11:19:15 -03:00 |
|
imaqtkatt
|
4e7c204697
|
Add mutual recursion check for strict mode
|
2024-03-12 10:10:43 -03:00 |
|
imaqtkatt
|
f79817ce68
|
Merge pull request #228 from HigherOrderCO/chore/sc-460/update-tests-to-show-hvm-log-output
[sc-460] Update tests to show HVM.log output
|
2024-03-11 12:03:04 +00:00 |
|
imaqtkatt
|
5fd3865f18
|
[sc-505] Include strict and lazy results
|
2024-03-08 15:28:43 -03:00 |
|
T6
|
ced2c80715
|
Merge pull request #230 from HigherOrderCO/simplify-multi-iterator
simplify multi iterator usage
|
2024-03-08 14:34:43 +00:00 |
|
imaqtkatt
|
b494f205ea
|
Merge pull request #229 from HigherOrderCO/feature/sc-502/allow-number-of-cli-arguments-to-be-different
[sc-502] Allow number of CLI arguments to be different than declared in main
|
2024-03-08 14:33:14 +00:00 |
|
tjjfvi
|
4f1a9e2e6e
|
simplify multi iterator usage
|
2024-03-08 09:28:38 -05:00 |
|
imaqtkatt
|
09492296f9
|
Update cli arguments doc
|
2024-03-08 11:19:03 -03:00 |
|
imaqtkatt
|
cdf8bba16e
|
Remove argument count restriction
|
2024-03-08 10:16:23 -03:00 |
|
Nicolas Abril
|
e9fbc96842
|
Trigger github actions on merge_group
|
2024-03-08 11:59:33 +01:00 |
|
imaqtkatt
|
482403ae63
|
Remove commented code
|
2024-03-07 17:51:29 -03:00 |
|
imaqtkatt
|
52c64b71a7
|
Show HVM_log output in run_file tests
|
2024-03-07 17:41:37 -03:00 |
|
Nicolas Abril
|
5eec67474f
|
Merge pull request #227 from HigherOrderCO/fix-merge-error
Fix pr merge error
|
2024-03-07 20:04:39 +01:00 |
|
LunaAmora
|
cd9bab42c7
|
Fix pr merge error
|
2024-03-07 15:19:47 -03:00 |
|
Luna
|
90c81f0547
|
Merge pull request #223 from HigherOrderCO/feature/sc-492/re-add-repeated-bind-in-match-warning
[sc 492] Re-add repeated bind in match-arm/rule patterns warning
|
2024-03-07 14:56:59 -03:00 |
|
Nicolas Abril
|
a107c1959b
|
Merge pull request #225 from HigherOrderCO/chore/sc-489/simplify-hvml-passes-using-term-iterators
[sc-489] Implement Clone for AST iterators, refactor iterator uses.
|
2024-03-07 18:39:59 +01:00 |
|
LunaAmora
|
518a513707
|
Update test snap
|
2024-03-07 14:38:51 -03:00 |
|
Nicolas Abril
|
9bd4e6d7f6
|
Merge pull request #226 from HigherOrderCO/feature/sc-499/add-documentation-on-passing-arguments-to
[sc-499] Add documentation on cli arguments
|
2024-03-07 18:27:40 +01:00 |
|
LunaAmora
|
d522994bd5
|
Rename info error fields
|
2024-03-07 14:25:46 -03:00 |
|
LunaAmora
|
6375099cf4
|
Fix typo, update tests snaps
|
2024-03-07 14:25:46 -03:00 |
|
LunaAmora
|
9215460110
|
Change CompileResult debug to not yell
|
2024-03-07 14:25:46 -03:00 |
|
LunaAmora
|
b2d783c1d7
|
Update how warns are displayed, add repeated bind warning
|
2024-03-07 14:25:46 -03:00 |
|
Nicolas Abril
|
5dc062764d
|
[sc-499] Add documentation on cli arguments
|
2024-03-07 17:19:28 +01:00 |
|
Nicolas Abril
|
e5fe6b7fef
|
[sc-489] Implement Clone for AST iterators, refactor some code using it. Add some doc comments
|
2024-03-07 15:10:22 +01:00 |
|
imaqtkatt
|
12f4806b82
|
Merge pull request #224 from HigherOrderCO/feature/sc-496/add-cli-tests-for-hvm-lang
[sc-496] Add CLI tests for hvm-lang
|
2024-03-07 08:26:09 -03:00 |
|
Nicolas Abril
|
093b2ea60b
|
Merge pull request #221 from HigherOrderCO/chore/sc-489/simplify-hvml-passes-using-term-iterators
[sc-489] Simplify passes by using iterators over the AST
|
2024-03-07 00:02:48 +01:00 |
|
Nicolas Abril
|
3eff3e28cd
|
[sc-489] Use the AST iterators in more places, fixing some bugs
|
2024-03-06 19:56:20 +01:00 |
|
Nicolas Abril
|
0cc4399e20
|
Remove unnecessary unstable feature
|
2024-03-06 18:43:32 +01:00 |
|
Nicolas Abril
|
5804450c34
|
[sc-489] Improve implementation of AST iterators
|
2024-03-06 18:37:54 +01:00 |
|
Nicolas Abril
|
323fd107f8
|
[sc-489] Simplify passes by using iterators over the AST
|
2024-03-06 18:37:54 +01:00 |
|
imaqtkatt
|
b29ced1bb2
|
Include cli tests stderr output
|
2024-03-06 11:54:24 -03:00 |
|
Nicolas Abril
|
24b6d511ea
|
Merge pull request #222 from HigherOrderCO/feature/sc-495/add-new-hvm-core-numeric-operator-to-hvm
[sc-495][sc-494] Update for new hvmc num ops and pre_reduce
|
2024-03-06 15:51:12 +01:00 |
|
imaqtkatt
|
68882962f3
|
Add more optargs cli tests
|
2024-03-06 10:58:53 -03:00 |
|
imaqtkatt
|
831eb07ede
|
Add tests using cli
|
2024-03-06 09:41:58 -03:00 |
|
Nicolas Abril
|
ecb213e91b
|
[sc-495][sc-494] Update for new hvmc num ops and pre_reduce
|
2024-03-05 20:37:20 +01:00 |
|
Nicolas Abril
|
319b2464ac
|
Merge pull request #219 from HigherOrderCO/feature/sc-479/update-encodings-to-make-use-of-hvmc-n-ary
[sc-479] Update encodings to make use of hvmc n-ary nodes. Add n-ary tups/dups
|
2024-03-04 15:15:10 +01:00 |
|
Nicolas Abril
|
fff7d688ab
|
[sc-479] Simplify match arg extraction in simplify_matches
|
2024-03-04 15:14:13 +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
|
1f1f281133
|
Update shared_names comments
|
2024-03-04 09:18:31 -03:00 |
|
imaqtkatt
|
a179e1042f
|
Allow constructors share names with data types
|
2024-03-04 09:05:32 -03:00 |
|