Skip to content

Feat/stack machine #88

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
croyzor wants to merge 206 commits into
base: main
Choose a base branch
from
Draft

Feat/stack machine #88

croyzor wants to merge 206 commits into from

Conversation

@croyzor
Copy link
Collaborator

@croyzor croyzor commented Dec 9, 2025 •
edited
Loading

Resolves #89

croyzor and others added 30 commits August 19, 2024 14:04
@croyzor
Add "hoping" variables
04c52ac
@croyzor
Expand Free monad with Define and Yield
3a1d6fe
@croyzor
Add Define/Yield cases to handler functions
bf6cfcf
@croyzor
Handle Yield in toplevel handler
a6f00dd
@mark-koch
Add bang parsing
4204c50
@croyzor
Turn on ApplicativeDo
3b8fdc1
@croyzor
Add some dummy code for typechecking !
8f904bc
@croyzor
Revert "Add "hoping" variables"
8b852a2 
This reverts commit 04c52ac.
@croyzor
Some parallelisation
77b92fe
@croyzor
Add hope set to monad
3a1288d
@croyzor
Move occur check logic to Eval
b979c70
@croyzor
misc changes
a197fb2
@croyzor
[broken] update eqworker
b115f84
@croyzor
Revert "[broken] update eqworker"
ce1d1cf 
This reverts commit b115f84.
@croyzor
Add !,! test
c064466
@mark-koch
Rewrite typeEq
b33f100
@croyzor
feat: Solve numbers that are just variables
c093ced
@acl-cqc
typeEqRow returns sub-problems
7986539
@acl-cqc
sequence_ -> traverse_ id
7afa2c4
@croyzor
[broken] Build things to wire into solved hopes
265a5b6
@croyzor
Don't hide that error
2a360b6
@croyzor
Fix typechecking for infer example
6be252b
@croyzor
feat: Complain when we have remaining Nat-kinded holes
646f6f9
@croyzor
Incude file context in hopeSet
c2c8bbe
@croyzor
Allow comparing VInx
3765a8a
@croyzor
Rewrite dynamic num refinements to work on srcs and tgts
a22531b
@croyzor
Fix demandEven logic
af75834
@croyzor
Flip that hypo node back around
283ccae
@croyzor
Rewrite computeMeta to do definition as well
0da9554
@acl-cqc
SolvePatterns build fixes; unified.brat+infer.brat fail with non-clos…
2139140 
…ed Nat value
croyzor and others added 24 commits December 10, 2025 13:56
@croyzor
Missing depEnds case
712a2c0
@croyzor
Comment out remaining tests (to follow up on in #92)
1e0756a
@croyzor
Unname unused vars
8d994dc
@croyzor
Dont be so strict about syntax in test suite
c5d7ae4
@croyzor
Update golden values
c25f627
@croyzor
Turn off traceChecking
88b0487
@croyzor
infer2 passes now
f851e73
@croyzor
Merge branch 'main' into inference-wip/ownership
38c002e
@croyzor
Delete unused didNotMatchCase
f854fc1
@croyzor
Fix more warning-errors
6a5ac13
@acl-cqc @croyzor
WIP add Machine.hs
52de1f8
@acl-cqc @croyzor
Evaluates constant 4
0947512
@acl-cqc @croyzor
And simple arithmetic
77e9ace
@acl-cqc @croyzor
WIP Eval, Box with captureSets and ReturnTo
a365977
@acl-cqc @croyzor
start pattern matching - works if no tests
4d36c33
@acl-cqc @croyzor
WIP commented-out / copied-from-Mark code
afd0f10
@acl-cqc @croyzor
The test file I've been using
58b9ca6
@croyzor
Do tests for pattern matching
336bf4a
@croyzor
Tests for vector even/odd tests (example falls over)
5c2bc9c
@conormcb @croyzor
tracing the machine
54eb862
@croyzor
Eval constructors
80d853b
@croyzor
Eval unification inputs in pattern matching; add dummy value for *
f72edbb
@croyzor
WIP: Try to wire up when unifying In vs In
40aa6d1
@croyzor
tracing
5d6ccde
@croyzor croyzor force-pushed the feat/stack_machine branch 2 times, most recently from f01d809 to 5d6ccde Compare December 12, 2025 09:49
This was referenced Jan 2, 2026
Draft
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

BRAT interpreter to produce BRAT kernels

5 participants

@croyzor @mark-koch @acl-cqc @conormcb