Nicolas Abril
1c124e9a83
[sc-609] Update for fixed version of TSPL
2024-04-29 20:31:42 +02:00
Nicolas Abril
c8ce05520a
Update tests for hvm32
2024-04-26 22:38:20 +02:00
Nicolas Abril
2cba162ded
Update for new hvm32 number syntax
2024-04-24 22:17:49 +02:00
Nicolas Abril
7c9557127f
Update for op2 fix
2024-04-22 21:18:52 +02:00
Nicolas Abril
3a80ac0d96
[sc-627] Initial update for hvm32
2024-04-22 19:03:56 +02:00
Nicolas Abril
5e1120c107
[sc-623] Fix eta-reducible match linearization
2024-04-22 13:20:47 +02:00
imaqtkatt
983713f2b5
Implement monadic bind syntax
2024-04-19 13:39:15 -03:00
tjjfvi
87bda56a4d
add tests for vicious circles
2024-04-18 11:45:33 -04:00
tjjfvi
807bf5c826
update tests
2024-04-18 11:45:31 -04:00
tjjfvi
37fe1116d6
re-add test for unused let
2024-04-18 08:59:30 -04:00
tjjfvi
eff2b274e1
support unscoped readback in all pattern-binding terms
2024-04-18 07:28:07 -04:00
tjjfvi
a975f888d4
add erased_side_effect test
2024-04-17 16:54:26 -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
imaqtkatt
361410dbeb
Change unscoped lambda readback approach
2024-04-16 11:59:33 -03:00
imaqtkatt
57ab78dfcd
Change readback vars insertion
2024-04-16 10:38:55 -03:00
imaqtkatt
9dddf7b44e
Add scopeless lambdas and variables readback
2024-04-16 09:57:35 -03:00
Nicolas Abril
f1270dacba
[sc-608] Update pretty printing
2024-04-15 17:24:08 +02: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
b07fb4e6d1
Implement term pretty printing
2024-04-12 11:23:13 -03:00
imaqtkatt
a0ccd7eb26
Add more examples
2024-04-11 14:17:46 -03:00
Nicolas Abril
9db85265c4
[sc-501] Use TSPL for the parser
2024-04-10 20:33:47 +02:00
imaqtkatt
570ad97833
Fix unused definition with scott adt
2024-04-10 10:16:05 -03:00
imaqtkatt
10559b6df7
Change examples test to read from examples directory
2024-04-09 20:24:25 -03:00
imaqtkatt
60e4cc6eb4
Add test on example programs
2024-04-09 15:46:13 -03:00
imaqtkatt
269aae28a8
Implement debug for lazy evaluation
2024-04-08 14:24:12 -03: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
imaqtkatt
99021be778
Add use switch desugar test
2024-04-03 17:13:27 -03:00
imaqtkatt
e972fd856f
Call apply use pass after unique naming
2024-04-03 17:08:25 -03:00
Nicolas Abril
3b9903c897
[sc-513] Add new match linearization algorithm and with clauses in match terms
2024-04-03 18:10:18 +02:00
imaqtkatt
7cae4f5535
Add no optimization tests
2024-04-03 09:35:45 -03:00
imaqtkatt
3635d6da71
Add store fail and load fail tests
2024-04-03 08:28:55 -03:00
imaqtkatt
5ca0186b06
Add tests using HVM.store and HVM.load
2024-04-02 16:30:37 -03:00
imaqtkatt
8ec8fcc9bb
Call inline after pre reduce
2024-04-02 12:02:51 -03:00
imaqtkatt
88c9a7d1cf
Readd missing cli inline test
2024-04-02 10:14:28 -03:00
imaqtkatt
5f435033b8
Add inlining test for simple node types
2024-04-02 10:00:44 -03:00
imaqtkatt
e9d61dd37a
Update desugar inline to compile inline
2024-04-02 08:50:01 -03:00
imaqtkatt
2cf3b8c4ba
Remove simplify ref passes and use inet level inlining
2024-04-02 08:43:40 -03:00
imaqtkatt
3126eba2ba
Readd oall eta tests
2024-04-01 11:26:53 -03:00
imaqtkatt
b8a9632f5c
Use inet level eta reduction pass
2024-04-01 11:24:39 -03:00
Nicolas Abril
d60935d3de
[sc-517] Remove snapshots of removed tests
2024-03-29 11:06:22 +01:00
Nicolas Abril
b18df385a2
[sc-517] Update docs, fix not checking fn arity, refactor match def checks
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
30d7888d23
Update combinators test and improve docs
2024-03-28 19:10:49 -03:00
imaqtkatt
c695bbcf2c
Update float children lambda case and docs
2024-03-28 16:59:03 -03:00
imaqtkatt
1f273c4fc4
Refactor float combinator logic and implement float iterator
2024-03-28 15:34:42 -03:00
imaqtkatt
bd8fb66b8c
Refactor float combinators
2024-03-28 09:10:10 -03:00
imaqtkatt
ec24ae2a80
Update float combinators doc and combinators test
2024-03-27 16:41:30 -03:00
imaqtkatt
b4a79fee1b
Add deref loop test and remove unnecessary clone
2024-03-27 11:22:12 -03:00
imaqtkatt
92aa4b3d4a
Refactor float combinators to extract unsafe terms
2024-03-27 11:18:37 -03:00
imaqtkatt
3ccd408a26
Improve cycle display for merged definitions
2024-03-25 14:21:47 -03:00
imaqtkatt
175a6f6d5c
Merge pull request #242 from HigherOrderCO/feature/sc-526/improve-deref-loop-warning-in-strict-evaluation
...
[sc-526] Improve deref loop warning in strict evaluation
2024-03-22 14:32:13 +00:00
imaqtkatt
76d26d61b0
Update tests snapshots
2024-03-22 10:52:09 -03:00
imaqtkatt
a8dc4ac4b8
Remove generated functions from error message
2024-03-22 10:49:20 -03:00
imaqtkatt
ad4f1bba95
Update recursion error message and update docs
2024-03-22 10:21:48 -03:00
imaqtkatt
f97b7c1379
Update recursion error message and update docs
2024-03-22 09:35:44 -03:00
imaqtkatt
e90644d706
Update mutual recursion error message
2024-03-21 20:13:26 -03:00
tjjfvi
b9ef2a0f9d
update snapshots
2024-03-21 08:11:16 -04:00
imaqtkatt
a010f4faef
Improve mutual recursion error message
2024-03-20 16:50:22 -03:00
imaqtkatt
26da3d3284
Merge pull request #241 from HigherOrderCO/feature/sc-519/add-syntax-sugar-for-nats
...
[sc-519] Add syntax sugar for Nats
2024-03-19 19:43:02 +00:00
imaqtkatt
3da5db0c01
Change swap_remove to shift_remove
2024-03-19 14:37:30 -03:00
imaqtkatt
6b7cbeb7be
Update cspell and add nat resugar test
2024-03-19 13:59:17 -03:00
FranchuFranchu
8dc9ec79fc
Remove irrelevant tests.
2024-03-19 10:43:23 -03:00
FranchuFranchu
5690bee2fc
Update hvm-lang to make it compatible with hvm-core n-ary nodes.
2024-03-19 10:43:21 -03:00
imaqtkatt
cf69b99e5a
Add builtin and syntax sugar for Nats
2024-03-18 16:37:56 -03:00
imaqtkatt
13f08ea26b
Merge pull request #239 from HigherOrderCO/feature/sc-518/add-non-duping-use-expressions
...
[sc-518] Add non-duping use expressions
2024-03-18 17:56:01 +00:00
FranchuFranchu
45720629a7
Update tests.
2024-03-15 15:58:52 -03:00
imaqtkatt
8cc2e54683
Add use expression
2024-03-15 15:35:41 -03:00
imaqtkatt
148a0e2e03
Change to use substitutions instead of creating let terms
2024-03-14 15:47:13 -03:00
Nicolas Abril
41a526ec0f
[sc-504] Fix wrong variable being used on match binds with same name
2024-03-13 17:30:54 +01:00
Nicolas Abril
227b723377
Merge pull request #234 from HigherOrderCO/fix-debug-mode-panic
...
Remove expand in debug hook
2024-03-12 19:30:33 +00:00
imaqtkatt
85c5c45fb7
Add debug flag cli test
2024-03-12 16:21:44 -03:00
Nicolas Abril
6b5581972e
[sc-507] Update generated name of floated combinators
2024-03-12 20:17:05 +01:00
Nicolas Abril
69fc8423cc
Remove unreviewed test snapshot
2024-03-12 19:57:24 +01:00
Nicolas Abril
3cc5a7a242
[sc-503] Refactor error passing
2024-03-12 19:26:05 +01: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
4e7c204697
Add mutual recursion check for strict mode
2024-03-12 10:10:43 -03:00
imaqtkatt
5fd3865f18
[sc-505] Include strict and lazy results
2024-03-08 15:28:43 -03:00
imaqtkatt
52c64b71a7
Show HVM_log output in run_file tests
2024-03-07 17:41:37 -03:00
LunaAmora
518a513707
Update test snap
2024-03-07 14:38:51 -03:00
LunaAmora
6375099cf4
Fix typo, update tests snaps
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
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
3eff3e28cd
[sc-489] Use the AST iterators in more places, fixing some bugs
2024-03-06 19:56:20 +01:00
imaqtkatt
b29ced1bb2
Include cli tests stderr output
2024-03-06 11:54:24 -03: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
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
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
Nicolas Abril
54af9f1a5b
Merge remote-tracking branch 'origin/main' into feature/sc-479/update-encodings-to-make-use-of-hvmc-n-ary
2024-03-01 22:00:46 +01:00
Nicolas Abril
b5fd2e2af7
[sc-479] Update encodings for better performance, add n-ary dup/tup
2024-03-01 21:22:10 +01:00
imaqtkatt
8425bf0ae8
Change write macro to writeln
2024-03-01 14:32:14 -03:00
imaqtkatt
2e9b3d3949
Merge pull request #217 from HigherOrderCO/feature/sc-483/add-an-option-to-pass-arguments-to-hvm-lang
...
[sc-483] Add an option to pass arguments to hvm-lang programs
2024-03-01 11:42:49 -03:00
imaqtkatt
5870f0d6e5
Remove static arguments compilation
2024-02-29 14:39:30 -03:00
LunaAmora
216175a7f2
Impl clone for Term, remove unecessary clones
2024-02-29 13:19:45 -03:00
Nicolas Abril
fb8f3fefc7
[sc-441] Fix encoding of string patterns
2024-02-28 13:09:00 +01:00
Nicolas Abril
0fc957ea6e
[sc-441] Add string patterns
2024-02-27 21:58:03 +01:00
Nicolas Abril
0c509b4367
[sc-301] Some small improvements on mathing code
2024-02-27 19:35:19 +01:00
Nicolas Abril
5f2d835a77
[sc-441] Add char patterns
2024-02-27 18:16:16 +01:00
Nicolas Abril
39ffe05d72
[sc-301] Add pattern matching on non-zero numbers
2024-02-27 18:16:16 +01:00
LunaAmora
65fd779598
Revert linearize_extra to an linearize_matches argument
2024-02-26 15:43:04 -03:00
LunaAmora
19181598da
Make supercombinators work with non-linear match arms
2024-02-26 12:43:01 -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
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
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
LunaAmora
2667e58b17
Add cargo.lock, remove unused snap
2024-02-22 15:15:19 -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
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
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
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
LunaAmora
2171a3ae6d
Fix linearize with erased patterns let
2024-02-20 17:01:00 -03:00
LunaAmora
b41abe8edb
Refactor error handling
2024-02-20 10:30:40 -03:00
imaqtkatt
a24772f6f4
Merge pull request #196 from HigherOrderCO/chore/sc-446/separate-the-different-match-expression-transformations
...
[sc-446] Separate the different match expression transformations
2024-02-20 10:04:50 -03:00
imaqtkatt
d1d874489f
Refactor cleanup and update tests
2024-02-19 15:55:52 -03:00
LunaAmora
fe057eab51
Refactor var-use counting when linearizing
2024-02-16 15:31:46 -03:00
LunaAmora
7dc78cac6f
Remove Missing Parenthesis parser error
2024-02-16 10:06:50 -03:00
LunaAmora
0776b48781
Revert to using soft_keyword instead of Token::Data
2024-02-16 09:29:03 -03:00
LunaAmora
cfd6e10888
Parser adjustments to accept Data as non-top-level names
2024-02-15 14:48:02 -03:00
LunaAmora
c56693eb23
Fix some parser error diagnostics
2024-02-15 11:54:38 -03:00
imaqtkatt
a9d1d22f3b
Add id_undescore test
2024-02-14 08:37:02 -03:00
imaqtkatt
727ad370c9
Fix nam token priority
2024-02-14 08:22:58 -03:00
Nicolas Abril
222637ab71
[sc-443] Rename builtin constructors
2024-02-12 18:09:40 +01:00
Nicolas Abril
33344c69db
Merge pull request #189 from HigherOrderCO/chore/sc-440/update-rust-toolchain-version-for-hvml
...
[sc-440] Update rust toolchain, solve new deprecation warnings
2024-02-12 18:07:29 +01:00
Nicolas Abril
343c38d5ae
[sc-440] Apply new clippy lints
2024-02-12 15:23:13 +01:00
imaqtkatt
a57343f85f
Refactor rename old match field occurrences
2024-02-12 10:50:21 -03:00
Nicolas Abril
89471c2032
[sc-438] Simplify user vs builtin logic
2024-02-09 18:08:35 +01:00
Nicolas Abril
daf34d3784
[sc-437] Implement fmt::Display for more things
2024-02-09 14:58:18 +01:00
Nicolas Abril
25a6926ab1
[sc-436] Separate adt and builtin resugaring into separate passes
2024-02-09 13:04:45 +01:00
Nicolas Abril
3e9b3d7e58
[sc-410] Add untagged scott encoding option for ADTs
2024-02-09 12:50:59 +01:00
imaqtkatt
e32af0e447
Add tests for custom entrypoint
2024-02-08 16:14:46 -03:00
imaqtkatt
999b3d789a
Update tests snapshots
2024-02-07 14:02:41 -03:00
imaqtkatt
0ff494397e
Move long_name test to compile_file
2024-02-07 13:58:22 -03:00
imaqtkatt
483388d495
Change inline criteria to only small nodes
2024-02-07 13:58:22 -03:00
imaqtkatt
c8ab1b31f6
Minor adjustments and update tests snapshots
2024-02-07 13:55:18 -03:00
Nicolas Abril
b8c25e50df
[sc-407] Refactor how names are stored and defs are referenced
2024-02-07 15:52:38 +01:00
LunaAmora
05651707ef
Fix escaped char inside strings literals
2024-02-06 08:27:30 -03:00
Luna
422876c503
Merge pull request #176 from HigherOrderCO/feature/sc-433/fix-unreachable-on-invalid-op2-op2-interaction
...
[sc-433] Add Term::Invalid for invalid readbacks
2024-02-05 14:54:46 -03:00
imaqtkatt
9b7719d7f0
Dont desugar snil in errors
2024-02-05 14:43:27 -03:00
LunaAmora
a492a7f683
Update Term default , update tests
2024-02-05 14:15:53 -03:00
LunaAmora
0bcabe93bc
Add Term::Invalid for invalid readbacks
2024-02-05 12:53:27 -03:00
imaqtkatt
38b479d731
Implement simpler resugar for string and list
2024-02-05 11:52:29 -03:00
imaqtkatt
0a00d27144
Fix list app resugar
2024-02-05 08:12:42 -03:00
LunaAmora
6a500bcf1e
Revert unlabeled dups/sups being 0
2024-02-02 19:11:20 -03:00
Nicolas Abril
212d1b69e2
[sc-389] Fix flattening with era and num patterns
2024-02-02 20:37:12 +01:00
Nicolas Abril
c8dd3fd5fd
[sc-403] Fix rebase and update tests
2024-02-02 20:35:54 +01:00
Nicolas Abril
4800367ddc
[sc-389] Fix incorrect unreachable in rule flattening
2024-02-02 20:35:54 +01:00
Nicolas Abril
211ba7d098
Merge pull request #173 from HigherOrderCO/bug/sc-428/constructor-arity-is-not-checked-in-patterns
...
[sc-428] Constructor arity is not checked in patterns
2024-02-02 20:30:42 +01:00
imaqtkatt
9d382aca54
Update constructor arity error message
2024-02-02 16:19:50 -03:00
imaqtkatt
af732179b8
Add constructor as var name arity test
2024-02-02 16:12:14 -03:00
imaqtkatt
5e858f6024
Add arity check for constructor patterns
2024-02-02 15:51:36 -03:00
LunaAmora
51dcee3fbd
Add lazy mode tests, update normal tests
2024-02-02 13:44:06 -03:00
LunaAmora
9be542b0c2
Improve lazy mode diagnostics and usability with the rebase
...
And update tests
2024-02-02 10:59:44 -03:00
LunaAmora
8771b9ae0e
Re-add unlabeled sup/dup compiling to tag 0
2024-02-02 10:58:46 -03:00
LunaAmora
d0480aa1be
Fix dup tree var names on linearization pass
2024-02-01 21:49:46 -03:00
imaqtkatt
113ce9738b
Merge pull request #168 from HigherOrderCO/feature/sc-419/show-code-highlight-and-location-on-parse
...
[sc-419] Show code highlight and location on parse error
2024-02-01 16:21:57 -03:00
LunaAmora
eb96960ae9
Add recursive merge test
2024-02-01 12:29:24 -03:00
LunaAmora
cef06bf71d
Fix order of the merge_definitions pass
2024-02-01 12:12:03 -03:00
LunaAmora
27fd28ecd8
Add merge pass to encode_pattern_match golden tests
2024-02-01 11:18:38 -03:00
imaqtkatt
29177fa52d
Fix extra slash at end of path
2024-01-31 14:45:58 -03:00
imaqtkatt
6e93dbc316
Add location and highlight on parser errors
2024-01-31 13:50:10 -03:00
LunaAmora
24f64d4c15
Fix merge_definitions stack overflow
2024-01-31 12:57:55 -03:00
LunaAmora
a1a90486c5
Add merge definitions pass
2024-01-31 10:17:10 -03:00
imaqtkatt
1b932afeba
Merge pull request #164 from HigherOrderCO/feature/sc-420/accept-in-variable-names
...
[sc-420] Accept `-` in variable names
2024-01-31 10:07:28 -03:00
LunaAmora
0a618244c2
Refactor built-ins pruning, update tests
2024-01-31 09:03:42 -03:00
LunaAmora
c03d54f1b5
Fix and update tests because of recent pr merges
2024-01-30 15:36:45 -03:00
imaqtkatt
4409cf0a60
Allow hyphen in variable names
2024-01-30 15:06:21 -03:00
imaqtkatt
ce885a29fd
Add test for hangs directory
2024-01-30 11:57:03 -03:00
imaqtkatt
54b9d580f9
Add pattern names to ref resolution scope
2024-01-29 08:54:41 -03:00
imaqtkatt
912e20f79f
Refactor encoding, add more builtin tests
2024-01-28 15:54:01 -03:00
imaqtkatt
114e971352
Fix used builtin logic
2024-01-28 15:53:39 -03:00
Luna
22a4fb8e06
Merge pull request #151 from HigherOrderCO/chore/sc-400/refactor-adt-resugaring-in-readback
...
[sc-400] Refactor adt resugaring in readback
2024-01-27 01:20:01 -03:00
LunaAmora
02b5705549
Fix readback of adts and adts matches with wrong tags, improve docs
2024-01-26 17:58:21 -03:00
Nicolas Abril
70ee56860a
Merge pull request #155 from HigherOrderCO/bug/sc-409/unused-unscoped-lambda-in-match-arm-shows
...
[sc-409] Unused unscoped lambda in match arm shows wrong error
2024-01-26 21:44:42 +01:00
imaqtkatt
cc3dd6d71f
Fix unused unscoped lambda error
2024-01-26 16:00:54 -03:00
imaqtkatt
7751430b15
Remove warning on generated functions
2024-01-26 08:09:08 -03:00
imaqtkatt
dad6c8295a
Implement unused definition warning
...
To keep consistency in tests I got to use index based hashing
2024-01-25 17:17:53 -03:00
LunaAmora
0ea97ba87d
Simplify and fix resugar_string & resugar_list
...
Fixes nested mixed adts
Fixes list with vars
2024-01-25 12:05:27 -03:00
Nicolas Abril
074f043e69
Merge pull request #150 from HigherOrderCO/bug/sc-404/fix-string-list-removal-when-only-declared
...
[sc-404] Fix string/list removal when only declared on match arms
2024-01-25 15:26:08 +01:00
imaqtkatt
0ff4681dd8
Merge pull request #149 from HigherOrderCO/bug/sc-397/should-not-allow-for-str-and-list-ctr-names
...
[sc-397] Should not allow for str and list Ctr names to be used
2024-01-25 09:30:32 -03:00
imaqtkatt
b75aaead7e
Fix typos
2024-01-25 09:16:58 -03:00
LunaAmora
bf07d22654
Fix encode_str & encode_list to look inside match arms patterns
2024-01-24 20:45:47 -03:00
Nicolas Abril
4abe695a5e
Merge pull request #148 from HigherOrderCO/fix-linearization-unscoped
...
Fix linearization of unscoped vars in adt matches
2024-01-24 21:31:28 +01:00
