tangled
alpha
login
or
join now
eldridge.cam
/
trilogy
Actually just three programming languages in a trenchcoat
1
fork
atom
overview
issues
pulls
pipelines
trilogy
/
testsuite
/
at
string-repr-callable
187 folders
1 file
array-comprehension
implement record comprehension
5 months ago
array-pattern-complete
added array patterns and many tests, but found some bug ...
10 months ago
array-pattern-extras
fix remaining bugs
10 months ago
array-pattern-spread-end
added array patterns and many tests, but found some bug ...
10 months ago
array-pattern-spread-entirely
added array patterns and many tests, but found some bug ...
10 months ago
array-pattern-spread-middle
added array patterns and many tests, but found some bug ...
10 months ago
array-pattern-spread-start
added array patterns and many tests, but found some bug ...
10 months ago
arrays
also array assignment was implemented, so added a test for it
9 months ago
assert-fail
replace slow testsuite with faster rust-integrated testsuite
11 months ago
assert-fail-computed-message
replace slow testsuite with faster rust-integrated testsuite
11 months ago
assert-fail-with-message
replace slow testsuite with faster rust-integrated testsuite
11 months ago
assert-pass
move llvm versions of old code into primary position
1 year ago
binding-across-function-call
added array patterns and many tests, but found some bug ...
10 months ago
binding-across-procedure-call
replace slow testsuite with faster rust-integrated testsuite
11 months ago
bits
implement invert operator and fix a few more bits things
10 months ago
boolean-and
add boolean and/or
11 months ago
boolean-or
add boolean and/or
11 months ago
compose
implement the missing operators/operator references
4 months ago
constant-def
put the constant expression restriction code in, somewhat over aggressively
7 months ago
constant-illegal
adjusting tests so they are reflecting long term goal again
7 months ago
constant-reference
adjusting tests so they are reflecting long term goal again
7 months ago
do-closure
replace slow testsuite with faster rust-integrated testsuite
11 months ago
do-closure-closed
replace slow testsuite with faster rust-integrated testsuite
11 months ago
do-closure-mut
replace slow testsuite with faster rust-integrated testsuite
11 months ago
do-closure-mut-closed
replace slow testsuite with faster rust-integrated testsuite
11 months ago
do-first-class-return
a few extra tests around do closures
11 months ago
do-multi-use
a few extra tests around do closures
11 months ago
do-no-closure
move llvm versions of old code into primary position
1 year ago
do-returned
implement top level defined functions
10 months ago
effects-break-after-resume
reimplement module syntax according to new specification
3 months ago
effects-cancel-mid-resume
reimplement module syntax according to new specification
3 months ago
effects-handle-and-end
replace slow testsuite with faster rust-integrated testsuite
11 months ago
effects-just-cancel
a bunch more tests, looks like cancel is actually working
1 year ago
effects-just-resume
replace slow testsuite with faster rust-integrated testsuite
11 months ago
effects-none-yielded
start theorizing about how to do effect handlers
1 year ago
effects-resume-multiple
ok there are still bugs
1 year ago
effects-skip-handler
nearly non-regressive attempt at implementing while loops, but i am considering if this approach is valid
11 months ago
effects-through-more-returns
reimplement module syntax according to new specification
3 months ago
effects-through-return
add more failing tests
11 months ago
effects-yield-fallback
replace slow testsuite with faster rust-integrated testsuite
11 months ago
effects-yield-in-loop
reimplement module syntax according to new specification
3 months ago
effects-yield-into-call
add new test for something that is failing
1 year ago
effects-yield-unhandled
replace slow testsuite with faster rust-integrated testsuite
11 months ago
exit-deep
replace slow testsuite with faster rust-integrated testsuite
11 months ago
exit-invalid
replace slow testsuite with faster rust-integrated testsuite
11 months ago
exit-number
replace slow testsuite with faster rust-integrated testsuite
11 months ago
exit-unit
move llvm versions of old code into primary position
1 year ago
fn-basic
added array patterns and many tests, but found some bug ...
10 months ago
fn-passed
added array patterns and many tests, but found some bug ...
10 months ago
fn-returned
added array patterns and many tests, but found some bug ...
10 months ago
for-break-continue
new failing test
3 months ago
for-just-fail
starting the codegen f or queries, it works for pass and end so far
6 months ago
for-just-pass
starting the codegen f or queries, it works for pass and end so far
6 months ago
func-basic
implement top level defined functions
10 months ago
func-overloads
implement top level defined functions
10 months ago
func-overloads-none
implement top level defined functions
10 months ago
func-recursive
added array patterns and many tests, but found some bug ...
10 months ago
glue-patterns
implement glue patterns
3 months ago
goto-mid-array-construction
resolve bug with re-entrant collection construction
3 months ago
goto-mid-record-construction
resolve bug with re-entrant collection construction
3 months ago
goto-mid-set-construction
resolve bug with re-entrant collection construction
3 months ago
hygiene-with-c-functions
test and fix when names conflict with C functions
3 months ago
if-call-in-condition-false
move llvm versions of old code into primary position
1 year ago
if-call-in-condition-true
move llvm versions of old code into primary position
1 year ago
if-call-in-true
move llvm versions of old code into primary position
1 year ago
if-false
move llvm versions of old code into primary position
1 year ago
if-true
move llvm versions of old code into primary position
1 year ago
ifelse-call-in-condition-false
move llvm versions of old code into primary position
1 year ago
ifelse-call-in-condition-true
move llvm versions of old code into primary position
1 year ago
ifelse-call-in-false
move llvm versions of old code into primary position
1 year ago
ifelse-call-in-true
move llvm versions of old code into primary position
1 year ago
ifelse-false
move llvm versions of old code into primary position
1 year ago
ifelse-true
move llvm versions of old code into primary position
1 year ago
is-query
implement `not` in query
5 months ago
let-disjunction
reimplement module syntax according to new specification
3 months ago
let-lookup
reimplement module syntax according to new specification
3 months ago
let-nondet-fail
implement nondeterminism in let
3 months ago
main-return-captured
replace slow testsuite with faster rust-integrated testsuite
11 months ago
main-return-invalid
replace slow testsuite with faster rust-integrated testsuite
11 months ago
main-return-nonlocal
replace slow testsuite with faster rust-integrated testsuite
11 months ago
main-return-number
replace slow testsuite with faster rust-integrated testsuite
11 months ago
main-return-unit
move llvm versions of old code into primary position
1 year ago
match-else-binding
implement match statement
1 year ago
match-first-case
implement match statement
1 year ago
match-guarded
implement match statement
1 year ago
match-later-case
implement match statement
1 year ago
match-never-merges
fix one bug with diverging matches causing compiler to crash
10 months ago
match-statement-none-matched
implement match statement
1 year ago
match-typeof
discovering more bugs ...
10 months ago
match-value-used
discovered that match was actualy super broken all along and only working by coincidence
10 months ago
module-builtin-use
reimplement module syntax according to new specification
3 months ago
module-dynamic
reimplement module syntax according to new specification
3 months ago
module-equivalence
reimplement module syntax according to new specification
3 months ago
module-functor
reimplement module syntax according to new specification
3 months ago
module-functor-constant
reimplement module syntax according to new specification
3 months ago
module-functor-nested
reimplement module syntax according to new specification
3 months ago
module-functor-private
reimplement module syntax according to new specification
3 months ago
module-in-functor
reimplement module syntax according to new specification
3 months ago
module-inline-func
reimplement module syntax according to new specification
3 months ago
module-inline-parent
reimplement module syntax according to new specification
3 months ago
module-inline-private
reimplement module syntax according to new specification
3 months ago
module-inline-proc
reimplement module syntax according to new specification
3 months ago
module-relative
reimplement module syntax according to new specification
3 months ago
module-relative-deep
reimplement module syntax according to new specification
3 months ago
module-relative-reexport
reimplement module syntax according to new specification
3 months ago
module-relative-use
reimplement module syntax according to new specification
3 months ago
module-repeat
reimplement module syntax according to new specification
3 months ago
module-typeof
reimplement module syntax according to new specification
3 months ago
noop
move llvm versions of old code into primary position
1 year ago
numbers
implement integer powers
10 months ago
operator-reference-equality
test for case i know is wrong currently
3 months ago
pattern-match-bind-typeof
review spec, found one mismatch in implementation
9 months ago
pattern-match-conjunction
move llvm versions of old code into primary position
1 year ago
pattern-match-disj-after-conj
add tests to ensure i catch the things i just broke
11 months ago
pattern-match-disjunction-first
ws
1 year ago
pattern-match-disjunction-second
working on pattern matching..but i think something is more fundamentally wrong with the continuation points still
1 year ago
pattern-match-fail
replace slow testsuite with faster rust-integrated testsuite
11 months ago
pattern-match-literal
reimplement module syntax according to new specification
3 months ago
pattern-match-negate
implement `is {query}` and `-` pattern
5 months ago
pattern-match-rebind
fix one bug with pattern matches using the same variable twice
5 months ago
pattern-match-typeof
discovered that match was actualy super broken all along and only working by coincidence
10 months ago
pattern-match-wildcard
move llvm versions of old code into primary position
1 year ago
pipe
tests for pipe operator
10 months ago
pipe-precedence
tests for pipe operator
10 months ago
pipe-precedence-invalid
tests for pipe operator
10 months ago
proc-recursive
added array patterns and many tests, but found some bug ...
10 months ago
procedure-call-no-match
replace slow testsuite with faster rust-integrated testsuite
11 months ago
procedure-call-params
move llvm versions of old code into primary position
1 year ago
procedure-call-return
replace slow testsuite with faster rust-integrated testsuite
11 months ago
query-alternative
reimplement module syntax according to new specification
3 months ago
query-and-or-prec
reimplement module syntax according to new specification
3 months ago
query-conjunction
reimplement module syntax according to new specification
3 months ago
query-disjunction
reimplement module syntax according to new specification
3 months ago
query-disjunction-vs-alt
reimplement module syntax according to new specification
3 months ago
query-fully-unbound
reimplement module syntax according to new specification
3 months ago
query-implication
reimplement module syntax according to new specification
3 months ago
query-in
fixing some bugs, got `in` query working passably
3 months ago
query-in-expression
fixing some bugs, got `in` query working passably
3 months ago
query-is
reimplement module syntax according to new specification
3 months ago
query-not
reimplement module syntax according to new specification
3 months ago
qy-basic
implement qy syntax, probably
6 months ago
record-comprehension
implement record comprehension
5 months ago
record-elements-ref-eq
fixing some bugs, got `in` query working passably
3 months ago
record-empty
implement record literals
9 months ago
record-init
implement record assignment
9 months ago
record-mutations
implement record assignment
9 months ago
record-pattern
imlement set and record patterns
5 months ago
record-pattern-illegal
imlement set and record patterns
5 months ago
record-spread
implement spread for records and sets
5 months ago
referenced-operators
implement the missing operators/operator references
4 months ago
referential-eq
move llvm versions of old code into primary position
1 year ago
retry
reimplement module syntax according to new specification
3 months ago
rule-ban-return
explicitly disallow the use of `return` inside a rule
6 months ago
rule-both
reimplement module syntax according to new specification
3 months ago
rule-check
theoretically finishing up the rule entrypoint, not sure if its right
6 months ago
rule-continue-after-fail
reimplement module syntax according to new specification
3 months ago
rule-direct-assign
reimplement module syntax according to new specification
3 months ago
rule-duplicate
add testsuite (failing)
5 months ago
rule-imported
reimplement module syntax according to new specification
3 months ago
rule-never
starting the codegen f or queries, it works for pass and end so far
6 months ago
rule-only
the most basic of rule calls are working
6 months ago
rule-recursive
fixing some bugs, got `in` query working passably
3 months ago
rule-single-bind
test case for rules with bindings
6 months ago
rule-single-wildcard
test case for rules with a wildcard
6 months ago
rule-with-body-simple
add testsuite (failing)
5 months ago
set-comprehension
implement base set functionality
5 months ago
set-elements-ref-eq
fixing some bugs, got `in` query working passably
3 months ago
set-empty
implement base set functionality
5 months ago
set-init
implement base set functionality
5 months ago
set-pattern
imlement set and record patterns
5 months ago
set-pattern-illegal
imlement set and record patterns
5 months ago
set-spread
implement spread for records and sets
5 months ago
string-representation
string representation of set/record values
3 months ago
structural-eq
implement == for records
5 months ago
template-string
fix string representation of bits
1 year ago
temporary-across-procedure-call
move llvm versions of old code into primary position
1 year ago
typeof
discovered that match was actualy super broken all along and only working by coincidence
10 months ago
variable-assignment
move llvm versions of old code into primary position
1 year ago
variable-usage
move llvm versions of old code into primary position
1 year ago
while-break
reimplement module syntax according to new specification
3 months ago
while-break-inner
reimplement module syntax according to new specification
3 months ago
while-break-outer
reimplement module syntax according to new specification
3 months ago
while-continue
reimplement module syntax according to new specification
3 months ago
while-continue-captured-passed
reimplement module syntax according to new specification
3 months ago
while-continue-inner
reimplement module syntax according to new specification
3 months ago
while-continue-outer
reimplement module syntax according to new specification
3 months ago
while-loop
reimplement module syntax according to new specification
3 months ago
.gitignore
cleanup
11 months ago