Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jinko-core/jinko issues and pull requests
#676 - Add record update syntax
Issue -
State: open - Opened by CohenArthur 3 months ago
Labels: design
#675 - Add `List.ify` as a core function to create lists out of an element
Issue -
State: open - Opened by CohenArthur 4 months ago
Labels: stdlib, priority [low]
#674 - Add typeset flattening
Issue -
State: open - Opened by CohenArthur 4 months ago
Labels: typechecker, priority [high]
#673 - Typecheck literal types
Pull Request -
State: open - Opened by CohenArthur 4 months ago
#672 - Handle type literals in name resolution
Pull Request -
State: open - Opened by CohenArthur 4 months ago
#671 - xparser: Parse literals as types
Pull Request -
State: open - Opened by CohenArthur 4 months ago
#670 - Add string interpolation parsing
Pull Request -
State: open - Opened by CohenArthur 5 months ago
#669 - Define bool as a multi type
Pull Request -
State: closed - Opened by CohenArthur 5 months ago
- 1 comment
#668 - Handle type annotations when typechecking bindings
Issue -
State: open - Opened by CohenArthur 5 months ago
Labels: enhancement, typechecker
#667 - Replace `name_resolver::Scoper` visitor by an `fir::TreeLike` visitor
Issue -
State: open - Opened by CohenArthur 5 months ago
Labels: enhancement
#666 - Call the typechecker `tyck`
Issue -
State: open - Opened by CohenArthur 5 months ago
Labels: misc
#665 - Switch `TreeLike` to be a walk-visitor
Issue -
State: open - Opened by CohenArthur 5 months ago
#664 - Switch `name_resolve::Scoper` from a `fir::Traversal` to a `fir::TreeLike`
Issue -
State: closed - Opened by CohenArthur 5 months ago
- 1 comment
#663 - Remove `recursive_typecheck` package
Issue -
State: open - Opened by CohenArthur 5 months ago
Labels: good first issue
#662 - Fix relationship between `Kind::Binding` and `Kind::TypedValue`
Pull Request -
State: closed - Opened by CohenArthur 5 months ago
#661 - Specify the exact relationship between `Kind::TypedValue` and `Kind::Binding`
Issue -
State: closed - Opened by CohenArthur 5 months ago
- 2 comments
Labels: typechecker, priority [high]
#660 - Monomorphize generic types
Pull Request -
State: open - Opened by CohenArthur 5 months ago
- 1 comment
#659 - Build generic constraints
Pull Request -
State: open - Opened by CohenArthur 6 months ago
#658 - chore: cargo update
Pull Request -
State: closed - Opened by CohenArthur 6 months ago
#657 - FIR bind API
Pull Request -
State: open - Opened by CohenArthur 6 months ago
#656 - Execute record type instantiations
Pull Request -
State: open - Opened by CohenArthur 7 months ago
#655 - Typecheck type instantiations properly
Issue -
State: open - Opened by CohenArthur 7 months ago
Labels: typechecker, priority [high]
#654 - Name resolve field instantiations
Pull Request -
State: open - Opened by CohenArthur 7 months ago
#653 - Remove mutability from the language
Issue -
State: open - Opened by CohenArthur 7 months ago
Labels: parser, typechecker
#652 - xrepl: Declare unit type
Pull Request -
State: closed - Opened by CohenArthur 7 months ago
#651 - fir: Improve field order, fix checks
Pull Request -
State: closed - Opened by CohenArthur 7 months ago
#650 - Handle extra useless semicolons after expression
Issue -
State: open - Opened by CohenArthur 7 months ago
Labels: parser
#649 - Improve documentation links
Pull Request -
State: closed - Opened by CohenArthur 7 months ago
#648 - Define `bool` as a a union type in the standard library
Issue -
State: open - Opened by CohenArthur 7 months ago
Labels: stdlib, typechecker
#647 - Implement proper parser errors
Issue -
State: open - Opened by CohenArthur 7 months ago
Labels: parser, priority [high]
#646 - Explore copy and update syntax
Issue -
State: open - Opened by CohenArthur 7 months ago
- 1 comment
Labels: parser, design
#645 - chore: Fix clippy warning
Pull Request -
State: closed - Opened by CohenArthur 7 months ago
#644 - fire: Add logic for handling floats and chars properly
Pull Request -
State: closed - Opened by CohenArthur 7 months ago
#643 - Allow specifying a multi type's type to help with type widening ambiguities
Issue -
State: open - Opened by CohenArthur 8 months ago
- 4 comments
Labels: design, typechecker, generics
#642 - REPL v2
Pull Request -
State: closed - Opened by CohenArthur 8 months ago
- 2 comments
#641 - Implement base type-level interpreter and subtyping
Pull Request -
State: closed - Opened by CohenArthur 8 months ago
- 3 comments
#640 - Add `fir::Kind::UnionType`
Pull Request -
State: closed - Opened by CohenArthur 9 months ago
#639 - Start working on type-level interpreter
Pull Request -
State: closed - Opened by CohenArthur 9 months ago
- 3 comments
#638 - Arithmetic operations type errors should hint that the type must be the exact same
Issue -
State: open - Opened by CohenArthur 9 months ago
#637 - Design and handle first class types
Issue -
State: open - Opened by CohenArthur 10 months ago
- 2 comments
Labels: parser, design, typechecker
#636 - Name resolve multi types
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
- 4 comments
#635 - Design and handle tuple types
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: parser, design, typechecker
#634 - Typecheck and execute arithmetic ops properly
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
- 1 comment
#633 - Design syntax for function parameters and lambdas
Issue -
State: open - Opened by CohenArthur 10 months ago
- 4 comments
Labels: parser, design
#632 - Parse multi-types
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
- 2 comments
#631 - typecheck: start typechecking function calls
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
#630 - Perform basic arithmetic operations
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
- 2 comments
#629 - Do not export bindings named `_` in modules
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: design, priority [high]
#628 - Make outermost block parsing more consistent with block parsing
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: good first issue, parser, priority [low]
#627 - Add experimental kind system
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: design, typechecker
#626 - Fix parser requiring extra semicolons in blocks
Pull Request -
State: open - Opened by CohenArthur 10 months ago
#625 - Figure out runtime first class typing and monomorphization
Issue -
State: open - Opened by CohenArthur 10 months ago
- 1 comment
Labels: typechecker, generics, priority [low]
#624 - fire: Add early returns
Pull Request -
State: closed - Opened by CohenArthur 10 months ago
#623 - Decide on copy/move/value semantics
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: design, priority [high]
#622 - Remove `unwrap`s from `Fire`
Issue -
State: open - Opened by CohenArthur 10 months ago
Labels: good first issue, coding_style, priority [high]
#621 - Remove `mock` functions from the language
Issue -
State: open - Opened by CohenArthur 11 months ago
Labels: enhancement, design
#620 - Fix function binding name resolution
Pull Request -
State: closed - Opened by CohenArthur 11 months ago
- 1 comment
#619 - cargo: Update dependencies
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#618 - Invalid function parameter type resolution
Issue -
State: closed - Opened by CohenArthur over 1 year ago
Labels: bug, enhancement, typechecker
#617 - Add simple Fir executor
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
- 3 comments
#616 - typecheck: Allow proper typechecking of primitive types
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
Labels: enhancement, typechecker
#615 - Name resolution does not scope bindings properly
Issue -
State: closed - Opened by CohenArthur over 1 year ago
Labels: bug, enhancement, priority [high]
#614 - Flatten: keep references to the AST throughout
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
Labels: enhancement, typechecker
#613 - Perform mutability checks in new `Fir` typechecker
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement, typechecker
#612 - typecheck: Improve type errors and typecheck assignments
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#611 - Add `RefIdx::unwrap`
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#610 - Add Fir typechecking
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#609 - Add `fir::Consumer` trait
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#608 - fir: Add `MultiMapper`
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#607 - Add stack generation FIR pass - `stag`
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#606 - Rename FIR Visitor `traversal`
Issue -
State: closed - Opened by CohenArthur over 1 year ago
- 1 comment
Labels: enhancement
#605 - Remove code coverage from CI
Pull Request -
State: closed - Opened by tanguysegarra over 1 year ago
#604 - Remove code coverage checks in CI
Issue -
State: closed - Opened by CohenArthur over 1 year ago
Labels: enhancement, ci
#603 - Implement flatten properly
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#602 - Add starting point for `where` declarations
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#601 - Use `where` keyword to define variables?
Issue -
State: closed - Opened by CohenArthur over 1 year ago
- 1 comment
Labels: question, design
#600 - Fir: Add mapping functions and name-resolving
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#599 - Invalid span tuple for blocks in experimental parser
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#598 - Add AST Sanitizer
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#597 - Add string interpolation AST pass
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#596 - Add existing parser tests to experimental parser
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#595 - Move passes to their own `passes` folder
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#594 - Add include code resolver in new system as AST Visitor
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
- 1 comment
#593 - Implement name resolution in new FIR system
Issue -
State: closed - Opened by CohenArthur over 1 year ago
Labels: enhancement
#592 - Remove `concat` calls from parser
Issue -
State: open - Opened by CohenArthur over 1 year ago
Labels: enhancement
#591 - Use new AST and flatten crate
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
- 3 comments
#590 - Cratify splitify improfy
Pull Request -
State: closed - Opened by CohenArthur over 1 year ago
#589 - Show errors in REPL
Pull Request -
State: closed - Opened by CohenArthur almost 2 years ago
#588 - Cleanup jk constant
Pull Request -
State: closed - Opened by CohenArthur almost 2 years ago
#587 - Remove generics entirely for now
Issue -
State: closed - Opened by CohenArthur almost 2 years ago
#586 - Add function to emit `sorry` error messages
Issue -
State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement
#585 - fake commit
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
#584 - ci: fix job using cargo clippy instead of cargo check
Pull Request -
State: open - Opened by tanguysegarra almost 2 years ago
- 5 comments
#583 - parser: fix documentation
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
- 1 comment
#582 - ci: use tarpaulin for code coverage
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
- 2 comments
#581 - Remove mod.rs files
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
#580 - Prepare release v0.3.0-jinx7
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
#579 - ci: release on crates.io manually instead of using untrusted action
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
#578 - Release v0.3.0-jinx6
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago
#577 - release workflow: checkout before build
Pull Request -
State: closed - Opened by tanguysegarra almost 2 years ago