-
Notifications
You must be signed in to change notification settings - Fork 429
Issues: HigherOrderCO/Bend
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Type binds are incorrectly added to the functions ASTs as 'use' terms on import
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#729
opened Oct 9, 2024 by
developedby
Constructor patterns in pattern matching functions are not renamed when imported
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#724
opened Oct 7, 2024 by
developedby
Potential bug with float combinators pass
bug
Something isn't working
help wanted
Extra attention is needed
#721
opened Sep 27, 2024 by
developedby
The children iterators stop at Term::Def variants
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#719
opened Sep 23, 2024 by
developedby
References with names bound by a match term are not shadowed
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#718
opened Sep 20, 2024 by
developedby
ERROR: attempt to clone a non-affine global reference
bug
Something isn't working
#709
opened Sep 6, 2024 by
angeloocana
Add benchmark runs to the github actions
enhancement
New feature or request
tests
#704
opened Sep 4, 2024 by
developedby
HVM inline pass not inlining definitions that have hvm variable indirections.
bug
Something isn't working
compilation
Compilation of terms and functions to HVM
#703
opened Sep 4, 2024 by
developedby
HOAS evaluator of Interaction Calculus returns wrong result when computing 2^2
#702
opened Sep 3, 2024 by
VictorTaelin
Implement List/sum and List/range functions in Bend built-ins
enhancement
New feature or request
#695
opened Aug 22, 2024 by
Sipher
Document existing IO functionalities
documentation
Improvements or additions to documentation
enhancement
New feature or request
Document single-line and multi-line commenting for Bend users
documentation
Improvements or additions to documentation
enhancement
New feature or request
#692
opened Aug 21, 2024 by
kings177
Add all compiler options to documentation
documentation
Improvements or additions to documentation
enhancement
New feature or request
#690
opened Aug 21, 2024 by
developedby
Add IO function for calling subprocesses
enhancement
New feature or request
prelude
Bend's builtin types and functions
Add IO functions for moving files and directories
enhancement
New feature or request
prelude
Bend's builtin types and functions
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-09-19.