jinko-core/jinko issues and pull requests

#679 - Remove mutability from the language

Pull Request - State: open - Opened by CohenArthur 3 months ago

#678 - Rename parser functions

Issue - State: open - Opened by CohenArthur 3 months ago
Labels: parser, misc

#677 - Flatten typesets

Pull Request - State: closed - Opened by CohenArthur 3 months ago - 7 comments

#676 - Add record update syntax

Issue - State: open - Opened by CohenArthur 6 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 7 months ago
Labels: stdlib, priority [low]

#674 - Add typeset flattening

Issue - State: closed - Opened by CohenArthur 7 months ago
Labels: typechecker, priority [high]

#673 - Typecheck literal types

Pull Request - State: closed - Opened by CohenArthur 7 months ago - 1 comment

#672 - Handle type literals in name resolution

Pull Request - State: closed - Opened by CohenArthur 7 months ago

#671 - xparser: Parse literals as types

Pull Request - State: closed - Opened by CohenArthur 7 months ago

#670 - Add string interpolation parsing

Pull Request - State: open - Opened by CohenArthur 8 months ago

#669 - Define bool as a multi type

Pull Request - State: closed - Opened by CohenArthur 8 months ago - 1 comment

#668 - Handle type annotations when typechecking bindings

Issue - State: open - Opened by CohenArthur 8 months ago
Labels: enhancement, typechecker

#667 - Replace `name_resolver::Scoper` visitor by an `fir::TreeLike` visitor

Issue - State: open - Opened by CohenArthur 8 months ago
Labels: enhancement

#666 - Call the typechecker `tyck`

Issue - State: open - Opened by CohenArthur 8 months ago
Labels: misc

#665 - Switch `TreeLike` to be a walk-visitor

Issue - State: open - Opened by CohenArthur 8 months ago

#664 - Switch `name_resolve::Scoper` from a `fir::Traversal` to a `fir::TreeLike`

Issue - State: closed - Opened by CohenArthur 8 months ago - 1 comment

#663 - Remove `recursive_typecheck` package

Issue - State: open - Opened by CohenArthur 8 months ago
Labels: good first issue

#662 - Fix relationship between `Kind::Binding` and `Kind::TypedValue`

Pull Request - State: closed - Opened by CohenArthur 8 months ago

#661 - Specify the exact relationship between `Kind::TypedValue` and `Kind::Binding`

Issue - State: closed - Opened by CohenArthur 9 months ago - 2 comments
Labels: typechecker, priority [high]

#660 - Monomorphize generic types

Pull Request - State: open - Opened by CohenArthur 9 months ago - 1 comment

#659 - Build generic constraints

Pull Request - State: open - Opened by CohenArthur 9 months ago

#658 - chore: cargo update

Pull Request - State: closed - Opened by CohenArthur 9 months ago

#657 - FIR bind API

Pull Request - State: open - Opened by CohenArthur 9 months ago

#656 - Execute record type instantiations

Pull Request - State: open - Opened by CohenArthur 10 months ago

#655 - Typecheck type instantiations properly

Issue - State: open - Opened by CohenArthur 10 months ago
Labels: typechecker, priority [high]

#654 - Name resolve field instantiations

Pull Request - State: open - Opened by CohenArthur 10 months ago

#653 - Remove mutability from the language

Issue - State: open - Opened by CohenArthur 10 months ago
Labels: parser, typechecker

#652 - xrepl: Declare unit type

Pull Request - State: closed - Opened by CohenArthur 10 months ago

#651 - fir: Improve field order, fix checks

Pull Request - State: closed - Opened by CohenArthur 10 months ago

#650 - Handle extra useless semicolons after expression

Issue - State: open - Opened by CohenArthur 10 months ago
Labels: parser

#649 - Improve documentation links

Pull Request - State: closed - Opened by CohenArthur 10 months ago

#648 - Define `bool` as a a union type in the standard library

Issue - State: open - Opened by CohenArthur 10 months ago
Labels: stdlib, typechecker

#647 - Implement proper parser errors

Issue - State: open - Opened by CohenArthur 10 months ago
Labels: parser, priority [high]

#646 - Explore copy and update syntax

Issue - State: open - Opened by CohenArthur 10 months ago - 1 comment
Labels: parser, design

#645 - chore: Fix clippy warning

Pull Request - State: closed - Opened by CohenArthur 11 months ago

#644 - fire: Add logic for handling floats and chars properly

Pull Request - State: closed - Opened by CohenArthur 11 months ago

#643 - Allow specifying a multi type's type to help with type widening ambiguities

Issue - State: open - Opened by CohenArthur 11 months ago - 4 comments
Labels: design, typechecker, generics

#642 - REPL v2

Pull Request - State: closed - Opened by CohenArthur 11 months ago - 2 comments

#641 - Implement base type-level interpreter and subtyping

Pull Request - State: closed - Opened by CohenArthur 12 months ago - 3 comments

#640 - Add `fir::Kind::UnionType`

Pull Request - State: closed - Opened by CohenArthur 12 months ago

#639 - Start working on type-level interpreter

Pull Request - State: closed - Opened by CohenArthur 12 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 12 months ago

#637 - Design and handle first class types

Issue - State: open - Opened by CohenArthur about 1 year ago - 2 comments
Labels: parser, design, typechecker

#636 - Name resolve multi types

Pull Request - State: closed - Opened by CohenArthur about 1 year ago - 4 comments

#635 - Design and handle tuple types

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: parser, design, typechecker

#634 - Typecheck and execute arithmetic ops properly

Pull Request - State: closed - Opened by CohenArthur about 1 year ago - 1 comment

#633 - Design syntax for function parameters and lambdas

Issue - State: open - Opened by CohenArthur about 1 year ago - 4 comments
Labels: parser, design

#632 - Parse multi-types

Pull Request - State: closed - Opened by CohenArthur about 1 year ago - 2 comments

#631 - typecheck: start typechecking function calls

Pull Request - State: closed - Opened by CohenArthur about 1 year ago

#630 - Perform basic arithmetic operations

Pull Request - State: closed - Opened by CohenArthur about 1 year ago - 2 comments

#629 - Do not export bindings named `_` in modules

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: design, priority [high]

#628 - Make outermost block parsing more consistent with block parsing

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: good first issue, parser, priority [low]

#627 - Add experimental kind system

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: design, typechecker

#626 - Fix parser requiring extra semicolons in blocks

Pull Request - State: open - Opened by CohenArthur about 1 year ago

#625 - Figure out runtime first class typing and monomorphization

Issue - State: open - Opened by CohenArthur about 1 year ago - 1 comment
Labels: typechecker, generics, priority [low]

#624 - fire: Add early returns

Pull Request - State: closed - Opened by CohenArthur about 1 year ago

#623 - Decide on copy/move/value semantics

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: design, priority [high]

#622 - Remove `unwrap`s from `Fire`

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: good first issue, coding_style, priority [high]

#621 - Remove `mock` functions from the language

Issue - State: open - Opened by CohenArthur about 1 year ago
Labels: enhancement, design

#620 - Fix function binding name resolution

Pull Request - State: closed - Opened by CohenArthur about 1 year 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 almost 2 years ago

#607 - Add stack generation FIR pass - `stag`

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#606 - Rename FIR Visitor `traversal`

Issue - State: closed - Opened by CohenArthur almost 2 years ago - 1 comment
Labels: enhancement

#605 - Remove code coverage from CI

Pull Request - State: closed - Opened by tanguysegarra almost 2 years ago

#604 - Remove code coverage checks in CI

Issue - State: closed - Opened by CohenArthur almost 2 years ago
Labels: enhancement, ci

#603 - Implement flatten properly

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago

#602 - Add starting point for `where` declarations

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago

#601 - Use `where` keyword to define variables?

Issue - State: closed - Opened by CohenArthur almost 2 years ago - 1 comment
Labels: question, design

#600 - Fir: Add mapping functions and name-resolving

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago

#599 - Invalid span tuple for blocks in experimental parser

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#598 - Add AST Sanitizer

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago

#597 - Add string interpolation AST pass

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#596 - Add existing parser tests to experimental parser

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#595 - Move passes to their own `passes` folder

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#594 - Add include code resolver in new system as AST Visitor

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago - 1 comment

#593 - Implement name resolution in new FIR system

Issue - State: closed - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#592 - Remove `concat` calls from parser

Issue - State: open - Opened by CohenArthur almost 2 years ago
Labels: enhancement

#591 - Use new AST and flatten crate

Pull Request - State: closed - Opened by CohenArthur almost 2 years ago - 3 comments

#590 - Cratify splitify improfy

Pull Request - State: closed - Opened by CohenArthur about 2 years ago

#589 - Show errors in REPL

Pull Request - State: closed - Opened by CohenArthur about 2 years ago

#588 - Cleanup jk constant

Pull Request - State: closed - Opened by CohenArthur about 2 years ago

#587 - Remove generics entirely for now

Issue - State: closed - Opened by CohenArthur about 2 years ago

#586 - Add function to emit `sorry` error messages

Issue - State: open - Opened by CohenArthur about 2 years ago
Labels: enhancement

#585 - fake commit

Pull Request - State: closed - Opened by tanguysegarra about 2 years ago

#584 - ci: fix job using cargo clippy instead of cargo check

Pull Request - State: open - Opened by tanguysegarra about 2 years ago - 5 comments

#583 - parser: fix documentation

Pull Request - State: closed - Opened by tanguysegarra over 2 years ago - 1 comment

#582 - ci: use tarpaulin for code coverage

Pull Request - State: closed - Opened by tanguysegarra over 2 years ago - 2 comments

#581 - Remove mod.rs files

Pull Request - State: closed - Opened by tanguysegarra over 2 years ago

#580 - Prepare release v0.3.0-jinx7

Pull Request - State: closed - Opened by tanguysegarra over 2 years ago

GitHub / jinko-core/jinko issues and pull requests