Skip to content

Issues: andrew-johnson-4/lambda-mountain

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

159 Open 472 Closed
159 Open 472 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

build system proposal
#1280 opened Feb 21, 2025 by alex-s168
1
Update macro system to support good error messages
#1279 opened Feb 21, 2025 by andrew-johnson-4
Overlapping cases in match statements
#1273 opened Feb 18, 2025 by andrew-johnson-4
Substructural typing for Phi stuff
#1269 opened Feb 17, 2025 by andrew-johnson-4
1
Ownership for Phi types
#1268 opened Feb 16, 2025 by andrew-johnson-4
allow function parameters to "poison" the input value
#1266 opened Feb 15, 2025 by alex-s168
6
TODO list during typechecking
#1265 opened Feb 15, 2025 by andrew-johnson-4
functions -> state machines (aka async functions / supsend functions / continuations)
#1263 opened Feb 14, 2025 by alex-s168
2
Maximum specialization depth error
#1258 opened Feb 14, 2025 by andrew-johnson-4
Interface types
#1257 opened Feb 14, 2025 by andrew-johnson-4
Prevent Cons parameters from unifying with single parameters
#1255 opened Feb 14, 2025 by andrew-johnson-4
Incremental compilation
#1254 opened Feb 14, 2025 by andrew-johnson-4
Missing source locations
#1253 opened Feb 13, 2025 by andrew-johnson-4
lots of C compile errors
#1249 opened Feb 13, 2025 by alex-s168
binary ops for U8 and others
#1248 opened Feb 13, 2025 by alex-s168
1
way to specify C export name of non-generic functions
#1246 opened Feb 13, 2025 by alex-s168
Re: subview/sublist/substring
#1244 opened Feb 13, 2025 by alex-s168
SmartString -> CString doesn't error in match cases but causes incorrect C code
#1242 opened Feb 13, 2025 by alex-s168
C compiler error with incorrect LSTS code
#1241 opened Feb 13, 2025 by alex-s168
2
Into for closed types in type constructors
#1237 opened Feb 12, 2025 by andrew-johnson-4
Add positional destructors for left-hand-sides
#1236 opened Feb 12, 2025 by andrew-johnson-4
Add nullary destructors for left-hand-sides
#1235 opened Feb 12, 2025 by andrew-johnson-4
Remove Seq term from AST
#1230 opened Feb 10, 2025 by andrew-johnson-4
parsing bug in LSTS
#1225 opened Feb 7, 2025 by andrew-johnson-4
parsing bug in LSTS
#1222 opened Feb 7, 2025 by andrew-johnson-4
@andrew-johnson-4
ProTip! Exclude everything labeled bug with -label:bug.