Skip to content
This repository has been archived by the owner on Jun 1, 2022. It is now read-only.

Issues: tony-lang/tony

38 Open 196 Closed
38 Open 196 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

Generate Rust code code generation During code generation the AST is transformed into the emit enhancement New feature or request
#626 opened Apr 10, 2021 by jonhue
@jonhue
Config file api Work on the public interface enhancement New feature or request
#617 opened Mar 21, 2021 by jonhue 0.2.0
Error on duplicate object keys in the same literal analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request
#616 opened Mar 21, 2021 by jonhue 0.2.0
Exploratory mode api Work on the public interface enhancement New feature or request
#615 opened Mar 20, 2021 by jonhue
Partial function checking analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request type inference During type inference the types of nodes in the AST are inferred
#614 opened Mar 20, 2021 by jonhue
Remove Void type enhancement New feature or request
#612 opened Mar 19, 2021 by jonhue
@jonhue
Termination checking analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request type inference During type inference the types of nodes in the AST are inferred
#611 opened Mar 19, 2021 by jonhue
Add syntax error if tagged types appear outside the rhs of a type declaration analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request error handling Work on the handling and specifics of errors
#593 opened Feb 21, 2021 by jonhue 0.2.0
Prevent cyclic dependency errors analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table enhancement New feature or request
#592 opened Feb 19, 2021 by jonhue
Immediately report ambiguous type errors enhancement New feature or request type inference During type inference the types of nodes in the AST are inferred
#591 opened Feb 18, 2021 by jonhue 0.2.0
Import prelude code generation During code generation the AST is transformed into the emit enhancement New feature or request
#573 opened Feb 9, 2021 by jonhue 0.2.0
1
Refactor tests refactoring Changing internals tests Work on the test framework
#563 opened Feb 7, 2021 by jonhue 0.2.0
1
Refactor traversing terms and patterns during code generation refactoring Changing internals wontfix This will not be worked on
#562 opened Feb 7, 2021 by jonhue
Check deferred type variable assignments type inference During type inference the types of nodes in the AST are inferred
#545 opened Jan 21, 2021 by jonhue 0.2.0
Track tag bindings analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
#539 opened Jan 18, 2021 by jonhue 0.2.0
Don’t normalize as part of unification refactoring Changing internals type inference During type inference the types of nodes in the AST are inferred
#496 opened Jan 15, 2021 by jonhue 0.2.0
Exhaustiveness analysis analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
#492 opened Jan 13, 2021 by jonhue 0.2.0
Provide function to print errors api Work on the public interface error handling Work on the handling and specifics of errors
#491 opened Jan 13, 2021 by jonhue 0.2.0
Annotate syntax errors analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table error handling Work on the handling and specifics of errors
#490 opened Jan 13, 2021 by jonhue 0.2.0
Check that the types of term bindings with the same name do not overlap analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table refactoring Changing internals type inference During type inference the types of nodes in the AST are inferred
#476 opened Jan 10, 2021 by jonhue 0.2.0
Build refinement type type inference During type inference the types of nodes in the AST are inferred
#464 opened Jan 10, 2021 by jonhue 0.2.0
Ensure that patterns include an identifier_pattern_name analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
#455 opened Jan 10, 2021 by jonhue 0.2.0
Throw an error if no term binding is declared in the scope of a refined type type inference During type inference the types of nodes in the AST are inferred
#450 opened Jan 8, 2021 by jonhue 0.2.0
Add missing binding error when a used type was not defined analyze The analyze component comprises exploring the AST to find dependencies and build a symbol table
#446 opened Jan 6, 2021 by jonhue 0.2.0
Generate TypeScript type declarations for emit code generation During code generation the AST is transformed into the emit enhancement New feature or request
#438 opened Jan 5, 2021 by jonhue
ProTip! Exclude everything labeled bug with -label:bug.