Nicolas Abril
|
f4620bc3f6
|
Add SHL and SHR
|
2024-05-21 17:32:13 +02:00 |
|
Nicolas Abril
|
3e9b3c4083
|
Adapt Bend to new hvm number operation format
|
2024-05-21 16:23:40 +02:00 |
|
Nicolas Abril
|
e81f990208
|
Make rules necessarily be in a single block
|
2024-05-21 09:39:43 +02:00 |
|
Nicolas Abril
|
0e26732c4e
|
Disable check-net-size by default
|
2024-05-20 17:12:08 +02:00 |
|
Nicolas Abril
|
d62b73ce83
|
[sc-663] Update tests for rebase
|
2024-05-20 14:50:49 +02:00 |
|
Nicolas Abril
|
f7a238c58a
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
|
imaqtkatt
|
8d8192127c
|
Update test snapshot
|
2024-05-20 09:25:10 -03:00 |
|
imaqtkatt
|
e0d1df39e8
|
Update test snapshot
|
2024-05-20 09:17:22 -03:00 |
|
imaqtkatt
|
33756cbd3a
|
Fix comma in superposition parsing
|
2024-05-20 09:15:58 -03:00 |
|
Nicolas Abril
|
22477b1807
|
Explain dependencies, add to FAQ, improve readback err msg
|
2024-05-19 14:37:54 +02:00 |
|
Nicolas Abril
|
076415d9ab
|
Increase max net size and make the check optional
|
2024-05-19 00:29:37 +02:00 |
|
Nicolas Abril
|
1585d2d5bc
|
[sc-699] Require , in list-like things in imp syntax
|
2024-05-17 18:11:07 +02:00 |
|
Nicolas Abril
|
7043f93293
|
[sc-697] Update documentation, add use stmts, fix list parser
|
2024-05-17 12:54:25 +02:00 |
|
Nicolas Abril
|
100cc90aee
|
[sc-692] Add simple readback of tuples
|
2024-05-17 02:12:50 +02:00 |
|
Nicolas Abril
|
faa6bdb9fc
|
[sc-694] Replace 'go' with 'fork' in 'bend'
|
2024-05-16 18:14:30 +02:00 |
|
Nicolas Abril
|
08480c40e1
|
Fix parsing of empty switch
|
2024-05-16 13:47:28 +02:00 |
|
Nicolas Abril
|
f724bbf541
|
Add list resugaring on readback
|
2024-05-15 22:07:58 +02:00 |
|
Nicolas Abril
|
5b4524e4a7
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
Nicolas Abril
|
36cb14e7fd
|
Merge pull request #312 from HigherOrderCO/feature/sc-690/update-lambda-and-constructor-names
[sc-690] Update lambda and constructor names
|
2024-05-15 20:44:39 +02:00 |
|
imaqtkatt
|
372ae8a384
|
Update lambda syntax and built-in constructor names
|
2024-05-15 15:23:26 -03:00 |
|
Nicolas Abril
|
f8b3787121
|
[sc-689] Make fold with require explicit state passing
|
2024-05-15 19:40:12 +02:00 |
|
Nicolas Abril
|
2f7ae6c276
|
[sc-688] Add string resugaring of readback term
|
2024-05-15 19:00:20 +02:00 |
|
Nicolas Abril
|
a763052c11
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
|
imaqtkatt
|
d194890495
|
Fix wrong unbound definitions
|
2024-05-15 10:42:16 -03:00 |
|
imaqtkatt
|
6b1a5ef9f4
|
Add eraser expression
|
2024-05-15 09:33:16 -03:00 |
|
Nicolas Abril
|
3a6c746fd6
|
[sc-684] Disable forwarding of free vars in ask terms
|
2024-05-15 12:29:14 +02:00 |
|
Nicolas Abril
|
4f45f392f5
|
Fix number parsing in imp, require \n after return
|
2024-05-15 09:13:50 +02:00 |
|
Nicolas Abril
|
0ec0ecd661
|
Add priority on all multiply recursive calls
|
2024-05-15 00:57:57 +02:00 |
|
Nicolas Abril
|
e1dd23d96c
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
Nicolas Abril
|
f8cfd5bebd
|
[sc-682] Allow branching statements to end with assignment
|
2024-05-14 23:36:43 +02:00 |
|
Nicolas Abril
|
c1a9bf2e41
|
[sc-682] Make the imp parser indentation based
|
2024-05-14 17:42:41 +02:00 |
|
imaqtkatt
|
1aaa5ad7be
|
Update tests
|
2024-05-14 09:33:16 -03:00 |
|
imaqtkatt
|
02b6baaa71
|
Add unscoped lambdas and improve patterns
|
2024-05-14 09:00:56 -03:00 |
|
Nicolas Abril
|
b223e34893
|
[sc-681] Add monadic ask mixed with other terms, complete do syntax in imp
|
2024-05-13 17:23:20 +02:00 |
|
imaqtkatt
|
204024500c
|
Re add old constructor syntax, adjust cases and lambdas
|
2024-05-11 15:53:17 -03:00 |
|
Nicolas Abril
|
26e79255bc
|
[sc-669] Allow both syntaxes at the same time
|
2024-05-11 19:18:24 +02:00 |
|
imaqtkatt
|
89d9728351
|
Update tests
|
2024-05-10 17:39:06 -03:00 |
|
imaqtkatt
|
6948e1b3fb
|
Constructors inherit type name
|
2024-05-10 17:31:16 -03:00 |
|
Nicolas Abril
|
2f8a12bceb
|
[sc-670] Add priority redexes and order dups correctly in compilation
|
2024-05-10 21:08:29 +02:00 |
|
Nicolas Abril
|
b5e89aa129
|
[sc-667] Switch to new syntax by default
|
2024-05-10 13:23:09 +02:00 |
|
Nicolas Abril
|
c67f688a84
|
Improve mutual recursion err msg and add some colors
|
2024-05-09 18:32:30 +02:00 |
|
Nicolas Abril
|
da4e2511ce
|
[sc-662] Add fold and bend to bend syntax
|
2024-05-09 17:42:35 +02:00 |
|
Nicolas Abril
|
1572e123cd
|
[sc-662] Add 'fold' logic and core syntax
|
2024-05-08 21:16:50 +02:00 |
|
imaqtkatt
|
16fcf89798
|
Add inference for do notation
|
2024-05-07 17:07:00 -03: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
|
03fcf344f1
|
[sc-548] Add support for i24 and f24
|
2024-05-06 14:36:54 +02:00 |
|
Nicolas Abril
|
1313a73aa1
|
[sc-653] Reorder compiled redexes recursive last
|
2024-05-02 16:55:26 +02:00 |
|
Nicolas Abril
|
334ad80eee
|
[sc-654] Fix linearize binds before match
|
2024-05-01 19:09:15 +02:00 |
|
Nicolas Abril
|
cad606671a
|
Improve some error messages, add radixsort example
|
2024-05-01 16:56:22 +02:00 |
|
Nicolas Abril
|
79e1ee6bad
|
[sc-629] Fix parsing of keywords
|
2024-04-29 20:49:20 +02:00 |
|
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 |
|