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

108 Open 189 Closed
108 Open 189 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
use parallelism and streaming in bosatsu test
#1180 opened Mar 22, 2024 by johnynek
1
using an unimported type gives a bad error message
#1174 opened Mar 17, 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
3
improve TypedExpr.substitute and Declaration.substitute
#1126 opened Feb 6, 2024 by johnynek
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
1
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
2
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
add type lambdas
#937 opened Feb 21, 2023 by johnynek
Try implementing simpler type inference
#869 opened Jun 3, 2022 by johnynek
syntax nits
#828 opened Dec 28, 2021 by johnynek
2
protobuf value generator
#815 opened Dec 10, 2021 by johnynek
type aliases
#792 opened Sep 13, 2021 by johnynek
starlark backend
#783 opened Aug 28, 2021 by johnynek
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.