Skip to content

Issues: johnynek/bosatsu

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

112 Open 199 Closed
112 Open 199 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Inlining across packages
#1315 opened Dec 12, 2024 by johnynek
investigate egglog for term rewriting
#1270 opened Nov 21, 2024 by johnynek
change the package names from org.bykn.bosatsu to dev.bosatsu
#1265 opened Nov 20, 2024 by johnynek
Reconsider equality checking in patterns
#1263 opened Nov 19, 2024 by johnynek
weird creation of closures where they don't need to exist
#1260 opened Nov 18, 2024 by johnynek
rewrite some closures to just be normal functions
#1258 opened Nov 16, 2024 by johnynek
get codecoverage showing up again
#1256 opened Nov 13, 2024 by johnynek
Add a way to convert ints to strings in interpolation
#1241 opened Nov 1, 2024 by johnynek
1
Add Int32, Int64 and Int8 types
#1191 opened Mar 31, 2024 by johnynek
Add a constant access time Array type
#1190 opened Mar 31, 2024 by johnynek
Use cats-effect in core
#1185 opened Mar 24, 2024 by johnynek
1
2
use parallelism and streaming in bosatsu test
#1180 opened Mar 22, 2024 by johnynek
1
add a todo function when running type check
#1173 opened Mar 17, 2024 by johnynek
syntax to require recursions to be tail recursive.
#1172 opened Mar 16, 2024 by johnynek
1
design for bosatsu libraries
#1152 opened Feb 24, 2024 by johnynek
6
flake in Kind test: we enumerate from most to superkinds
#1123 opened Feb 4, 2024 by johnynek
1
Improving pattern compilation
#1118 opened Feb 3, 2024 by johnynek
3
changing how we compile/render values
#1115 opened Jan 27, 2024 by johnynek
2
add a safe floating point type with internal optimizations for correctness
#1103 opened Jan 15, 2024 by johnynek
fix flakey subkind test
#1002 opened Jun 25, 2023 by johnynek
3
compiling with thunks
#978 opened Mar 31, 2023 by johnynek
Implement deforestation optimizations
#966 opened Mar 6, 2023 by johnynek
1
keep the pattern region in Declaration Bindings and Lambdas
#962 opened Mar 5, 2023 by johnynek
1
Add captures list to TypedExpr.AnnotatedLambda
#948 opened Feb 26, 2023 by johnynek
Auto import of some types
#946 opened Feb 26, 2023 by johnynek
1
ProTip! Add no:assignee to see everything that’s not assigned.