imaqtkatt
|
168892ddb7
|
Don't allow tabs
|
2024-06-10 10:04:09 -03:00 |
|
imaqtkatt
|
3a023c6928
|
Update builtins.rs and redefinition error messages for types and objects
|
2024-06-07 18:57:45 -03:00 |
|
imaqtkatt
|
0d2d2bb01e
|
Improve function redefinition error message
|
2024-06-07 17:25:23 -03:00 |
|
Nicolas Abril
|
ae5e79c1be
|
Fix readback of numeric operations
|
2024-06-07 17:59:41 +02:00 |
|
imaqtkatt
|
be7248638d
|
Display lambda bind patterns as lets
|
2024-06-06 11:35:47 -03:00 |
|
imaqtkatt
|
3a62e01d86
|
Implement le and ge operators
|
2024-06-05 17:44:05 -03:00 |
|
Nicolas Abril
|
94cada901d
|
Expand refs in main, don't float combinators in main
|
2024-06-05 19:02:44 +02:00 |
|
Nicolas Abril
|
b4bf3dede2
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
Nicolas Abril
|
ce4f6c7067
|
Rename hvm bin option to hvm-bin, add env var with same name
|
2024-06-03 17:26:39 +02:00 |
|
Nicolas Abril
|
3705094b6d
|
Add unbound refs check
|
2024-05-31 18:52:22 +02:00 |
|
Nicolas Abril
|
137591f7ae
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
|
Nicolas Abril
|
6182ac74fa
|
Make monadic blocks lazy by defering execution of continuations with free vars
|
2024-05-30 23:30:44 +02:00 |
|
imaqtkatt
|
ad34a2165b
|
Implement in-place mapper
|
2024-05-29 16:51:38 -03:00 |
|
NaoEhSavio
|
01506fd96c
|
replace data with type
|
2024-05-29 11:59:58 -03:00 |
|
Nicolas Abril
|
7697acd137
|
Make with clauses take a bind and an argument
|
2024-05-29 09:57:40 +02:00 |
|
imaqtkatt
|
ea4a79ca6d
|
Change 'do' keyword to 'with'
|
2024-05-28 16:49:00 -03:00 |
|
imaqtkatt
|
9f7871709a
|
Move huge_tree test to compile_long
|
2024-05-28 12:25:39 -03:00 |
|
imaqtkatt
|
3316964893
|
Add compile_long test
|
2024-05-28 12:01:52 -03:00 |
|
imaqtkatt
|
24b3219016
|
Implement elif
|
2024-05-27 08:15:36 -03:00 |
|
imaqtkatt
|
b436232a3f
|
Implement getter generation for map setter keys
|
2024-05-24 12:22:42 -03:00 |
|
imaqtkatt
|
20a20027d3
|
Dont allow variable names contain '__'
|
2024-05-24 10:50:04 -03:00 |
|
imaqtkatt
|
4d303ac99c
|
Fix variable generation for nested map gets
|
2024-05-24 08:35:44 -03:00 |
|
imaqtkatt
|
af8d6e3e0b
|
Dont allow top level names start with '//'
|
2024-05-23 14:43:25 -03:00 |
|
Nicolas Abril
|
e700294e1d
|
Add new IO, fix pruning
|
2024-05-23 19:25:24 +02:00 |
|
Nicolas Abril
|
b0fd8dfb91
|
Add guide examples to tests
|
2024-05-22 21:25:31 +02:00 |
|
imaqtkatt
|
d2e4a7a7a6
|
Add tuple eta test
|
2024-05-22 16:21:05 -03:00 |
|
Nicolas Abril
|
5c811da531
|
Update docs, examples, fix scope of fork
|
2024-05-22 19:48:53 +02:00 |
|
imaqtkatt
|
97f7a40907
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
imaqtkatt
|
61c73c68dd
|
Implement to_fun for comprehension
|
2024-05-21 17:06:51 -03:00 |
|
imaqtkatt
|
c7ba4b1ce7
|
Add ops test
|
2024-05-21 12:53:56 -03:00 |
|
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
|
f7a238c58a
|
[sc-663] Add num-scott adt encoding, it a cli opt
|
2024-05-20 14:47:50 +02:00 |
|
imaqtkatt
|
33756cbd3a
|
Fix comma in superposition parsing
|
2024-05-20 09:15:58 -03: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
|
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
|
a763052c11
|
[sc-686] Add record types and record type destructuring
|
2024-05-15 17:53:50 +02:00 |
|
imaqtkatt
|
6b1a5ef9f4
|
Add eraser expression
|
2024-05-15 09:33:16 -03:00 |
|
Nicolas Abril
|
e1dd23d96c
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
Nicolas Abril
|
46ec41141e
|
Merge remote-tracking branch 'origin/main' into feature/sc-678/add-run-c-and-run-cuda-commands-to-bend
|
2024-05-14 23:38:28 +02:00 |
|
Nicolas Abril
|
f8cfd5bebd
|
[sc-682] Allow branching statements to end with assignment
|
2024-05-14 23:36:43 +02:00 |
|
imaqtkatt
|
b0fd7a7f71
|
Add run c and run cuda commands
|
2024-05-14 17:03:37 -03: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 |
|
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
|
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
|
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 |
|
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
|
37fe1116d6
|
re-add test for unused let
|
2024-04-18 08:59:30 -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 |
|
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 |
|
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
|
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
|
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
|
b18df385a2
|
[sc-517] Update docs, fix not checking fn arity, refactor match def checks
|
2024-03-29 10:50:16 +01:00 |
|
Nicolas Abril
|
58f1f53a7d
|
[sc-517] Update tests after rebase
|
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 |
|