| .. |
|
cli
|
Add cli test for input file not found
|
2024-07-10 22:07:19 -03:00 |
|
compile_entrypoint
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
compile_file
|
Add test with unscoped pattern on definition rule
|
2024-06-25 18:10:26 -03:00 |
|
compile_file_o_all
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
compile_file_o_no_all
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
compile_long
|
Add Tree syntax and builtins
|
2024-06-05 16:00:43 +02:00 |
|
desugar_file
|
Reorder local defs lifting
|
2024-06-28 11:08:03 -03:00 |
|
encode_pattern_match
|
Add full_map test
|
2024-06-17 12:29:51 -03:00 |
|
hangs
|
Add unbound refs check
|
2024-05-31 18:52:22 +02:00 |
|
import_system
|
Substitute imported type names
|
2024-07-30 18:37:50 -03:00 |
|
io
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
linear_readback
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
mutual_recursion
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
parse_file
|
Improve pattern parsing and rule parsing error messages
|
2024-07-26 12:05:45 -03:00 |
|
readback_hvm
|
Fix dictionary and rename readback test
|
2024-05-30 23:37:26 +02:00 |
|
run_entrypoint
|
Update tests to use .bend extension, fix test uite
|
2024-05-15 00:25:46 +02:00 |
|
run_file
|
Expand references in main inside constructors
|
2024-07-24 17:04:19 +02:00 |
|
run_lazy
|
Change comments to #
|
2024-05-15 21:26:16 +02:00 |
|
scott_triggers_unused
|
Use the same keyword 'type' for adt definitions
|
2024-05-22 11:51:35 -03:00 |
|
simplify_matches
|
Fix bugs with the irrefutable case optimization
|
2024-07-04 16:22:34 -03:00 |
