trilogy/samples/ at main · eldridge.cam/trilogy

circular

reimplement module syntax according to new specification

2 months ago

diamond

reimplement module syntax according to new specification

2 months ago

modules

reimplement module syntax according to new specification

2 months ago

array.tri

remove some unnecessary semis

2 years ago

array_pattern.tri

array patterns

2 years ago

call.tri

support for tuples in patterns

2 years ago

collect_iterator.tri

implement checking for mutability

2 years ago

compose.tri

implement compose and operator references

2 years ago

constants.tri

why this test like that

2 years ago

disj.tri

a lot of work done on binding declarations, but not much success

2 years ago

do_closure.tri

do closures

2 years ago

evaluate_unbound.tri

gracefully handle rules that try to evaluate unbound parameters

2 years ago

evaluate_unbound_iter.tri

gracefully handle rules that try to evaluate unbound parameters

2 years ago

export_submodule.tri

reimplement module syntax according to new specification

2 months ago

fac.tri

reimplement syntax for template strings

1 month ago

first_class_resume.tri

Redo `with` syntax.

1 month ago

first_class_return.tri

implement first class return

2 years ago

first_class_return_closure.tri

lock procedure calls so they cannot be called like functions etc

2 years ago

first_class_return_returned.tri

fix for exit 0

2 years ago

fn.tri

support function closures

2 years ago

for_failure.tri

implement checking for mutability

2 years ago

func.tri

support function declarations

2 years ago

glue.tri

Redo `match` syntax

1 month ago

handler.tri

Redo `with` syntax.

1 month ago

if_else.tri

fixing further tests

1 year ago

is_expr.tri

add extra work to the test

2 years ago

iterator_collection.tri

implement checking for mutability

2 years ago

iterator_query.tri

remove reset instruction, continuation stack must be handled by runtime

2 years ago

main_no_exit.tri

note down some bugs in tests for later

2 years ago

main_return.tri

note down some bugs in tests for later

2 years ago

match.tri

Redo `match` syntax

1 month ago

module_function.tri

reimplement module syntax according to new specification

2 months ago

module_params.tri

reimplement module syntax according to new specification

2 months ago

module_private_member.tri

reimplement module syntax according to new specification

2 months ago

module_rule.tri

reimplement module syntax according to new specification

2 months ago

mut_closure.tri

implement checking for mutability

2 years ago

negpattern.tri

Redo `match` syntax

1 month ago

not_main.tri

support non-main entrypoints

2 years ago

not_main_params.tri

ability to pass parameters to the non-main entrypoint

2 years ago

occurs_check.tri

another test for later

2 years ago

op_ref.tri

implement compose and operator references

2 years ago

proc_auto_return_unit.tri

quick check

2 years ago

query_alternative.tri

implement checking for mutability

2 years ago

query_conjunction.tri

implement checking for mutability

2 years ago

query_disjunction.tri

implement checking for mutability

2 years ago

query_implication.tri

implement checking for mutability

2 years ago

query_not.tri

query not, only lookup remains

2 years ago

qy.tri

implement qy closures

2 years ago

record.tri

fixing further tests

1 year ago

record_pattern.tri

Redo `match` syntax

1 month ago

reused_variable.tri

put in a test for later

2 years ago

rule.tri

implement checking for mutability

2 years ago

rule_fancy.tri

implement checking for mutability

2 years ago

rule_rec.tri

fix one more mut in unused sample

2 years ago

set.tri

support set literals

2 years ago

set_pattern.tri

Redo `match` syntax

1 month ago

simple.tri

set up the outline of the codegen phase

2 years ago

submodule_parameters.tri

reimplement module syntax according to new specification

2 months ago

tuple.tri

support for tuples in patterns

2 years ago

types.tri

add the typeof operator to expressions and patterns

2 years ago

while.tri

fixing further tests

1 year ago

while_break_continue.tri

fixing further tests

1 year ago

while_break_continue_higher_order.tri

implement checking for mutability

2 years ago