Skip to content

Issues: enlightware/ferlium

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
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

Issues list

Constraint validation and simplification code is ugly enhancement New feature or request type The HM(X) type system, excluding the trait part
#44 opened Feb 6, 2025 by stephanemagnenat
Type substitution is not preserving representation of equirecursive types bug Something isn't working error messages Make users understand why their code is wrong type The HM(X) type system, excluding the trait part
#43 opened Feb 6, 2025 by stephanemagnenat
Treat each input of REPL as a different virtual file bug Something isn't working repl Read–eval–print loop
#39 opened Jan 31, 2025 by stephanemagnenat
REPL crashes when using first-class function referencing a replaced module functions bug Something isn't working repl Read–eval–print loop
#36 opened Jan 30, 2025 by stephanemagnenat
REPL interpreter does not support defining variables any more bug Something isn't working repl Read–eval–print loop
#35 opened Jan 30, 2025 by stephanemagnenat
Properly display values of record type enhancement New feature or request type The HM(X) type system, excluding the trait part
#34 opened Jan 30, 2025 by stephanemagnenat
Document the language documentation Improvements or additions to documentation enhancement New feature or request
#33 opened Jan 30, 2025 by stephanemagnenat
Effect tracking with recursive functions and extra effect incorrectly depends on call order bug Something isn't working effect The side-effect tracking system
#32 opened Jan 30, 2025 by stephanemagnenat
Add serialization/deserialization enhancement New feature or request std The standard library
#31 opened Jan 30, 2025 by stephanemagnenat
Show execution errors in IDE/playground enhancement New feature or request ide Integrated Development Environment and Playground
#30 opened Jan 29, 2025 by stephanemagnenat
Improve TypeMismatch errors when match exhaustiveness fails enhancement New feature or request error messages Make users understand why their code is wrong
#29 opened Jan 29, 2025 by stephanemagnenat
Add generic partial evaluation enhancement New feature or request optimisation They make your code go faster, and your compiler go slower
#28 opened Jan 29, 2025 by stephanemagnenat
Compiler plugin for compile-time code validation enhancement New feature or request longer term Not very urgent compared to other issues macro Macro-style extra source processing
#27 opened Jan 29, 2025 by stephanemagnenat
Add JIT (Just In Time) compilation enhancement New feature or request jit Just In Time compilation
#26 opened Jan 29, 2025 by stephanemagnenat
Represent IR as a control flow graph (CFG) enhancement New feature or request ir Typed Intermediate Representation
#25 opened Jan 29, 2025 by stephanemagnenat
Allow to trait blanket implementation enhancement New feature or request trait The trait system provides ad hoc polymorphism
#24 opened Jan 29, 2025 by stephanemagnenat
Add iterators enhancement New feature or request std The standard library
#23 opened Jan 29, 2025 by stephanemagnenat
Unit testing in modules enhancement New feature or request testing Let's catch bugs early!
#22 opened Jan 29, 2025 by stephanemagnenat
Short-circuiting boolean operators (and, or) control flow Control flow, likely affects AST and IR desugar A syntaxic sugar to be processed early enhancement New feature or request
#21 opened Jan 29, 2025 by stephanemagnenat
Early return and breaks control flow Control flow, likely affects AST and IR enhancement New feature or request ir Typed Intermediate Representation
#20 opened Jan 29, 2025 by stephanemagnenat
User-defined closures desugar A syntaxic sugar to be processed early enhancement New feature or request
#19 opened Jan 29, 2025 by stephanemagnenat
Co-routine/async control flow Control flow, likely affects AST and IR enhancement New feature or request
#18 opened Jan 29, 2025 by stephanemagnenat
Recursive modules enhancement New feature or request maybe A feature we might or might not want
#17 opened Jan 29, 2025 by stephanemagnenat
Type casting enhancement New feature or request needs design Some design thinking is needed std The standard library
#16 opened Jan 28, 2025 by stephanemagnenat
Optional type annotations enhancement New feature or request type The HM(X) type system, excluding the trait part
#15 opened Jan 28, 2025 by stephanemagnenat
ProTip! Updated in the last three days: updated:>2025-02-10.