issues
search
jinko-core
/
jinko
Jinko is a small and safe interpreted language with fast Rust and C FFI
GNU General Public License v2.0
32
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove mutability from the language
#679
CohenArthur
opened
1 month ago
0
Rename parser functions
#678
CohenArthur
opened
1 month ago
0
Flatten typesets
#677
CohenArthur
closed
1 week ago
7
Add record update syntax
#676
CohenArthur
opened
4 months ago
0
Add `List.ify` as a core function to create lists out of an element
#675
CohenArthur
opened
5 months ago
0
Add typeset flattening
#674
CohenArthur
closed
1 week ago
0
Typecheck literal types
#673
CohenArthur
closed
1 week ago
1
Handle type literals in name resolution
#672
CohenArthur
closed
1 month ago
0
xparser: Parse literals as types
#671
CohenArthur
closed
1 month ago
0
Add string interpolation parsing
#670
CohenArthur
opened
6 months ago
0
Define bool as a multi type
#669
CohenArthur
closed
5 months ago
1
Handle type annotations when typechecking bindings
#668
CohenArthur
opened
6 months ago
0
Replace `name_resolver::Scoper` visitor by an `fir::TreeLike` visitor
#667
CohenArthur
opened
6 months ago
0
Call the typechecker `tyck`
#666
CohenArthur
opened
6 months ago
0
Switch `TreeLike` to be a walk-visitor
#665
CohenArthur
opened
6 months ago
0
Switch `name_resolve::Scoper` from a `fir::Traversal` to a `fir::TreeLike`
#664
CohenArthur
closed
6 months ago
1
Remove `recursive_typecheck` package
#663
CohenArthur
opened
6 months ago
0
Fix relationship between `Kind::Binding` and `Kind::TypedValue`
#662
CohenArthur
closed
6 months ago
0
Specify the exact relationship between `Kind::TypedValue` and `Kind::Binding`
#661
CohenArthur
closed
6 months ago
2
Monomorphize generic types
#660
CohenArthur
opened
6 months ago
1
Build generic constraints
#659
CohenArthur
opened
7 months ago
0
chore: cargo update
#658
CohenArthur
closed
7 months ago
0
FIR bind API
#657
CohenArthur
opened
7 months ago
0
Execute record type instantiations
#656
CohenArthur
opened
8 months ago
0
Typecheck type instantiations properly
#655
CohenArthur
opened
8 months ago
0
Name resolve field instantiations
#654
CohenArthur
opened
8 months ago
0
Remove mutability from the language
#653
CohenArthur
opened
8 months ago
0
xrepl: Declare unit type
#652
CohenArthur
closed
8 months ago
0
fir: Improve field order, fix checks
#651
CohenArthur
closed
8 months ago
0
Handle extra useless semicolons after expression
#650
CohenArthur
opened
8 months ago
0
Improve documentation links
#649
CohenArthur
closed
8 months ago
0
Define `bool` as a a union type in the standard library
#648
CohenArthur
opened
8 months ago
0
Implement proper parser errors
#647
CohenArthur
opened
8 months ago
0
Explore copy and update syntax
#646
CohenArthur
opened
8 months ago
1
chore: Fix clippy warning
#645
CohenArthur
closed
8 months ago
0
fire: Add logic for handling floats and chars properly
#644
CohenArthur
closed
8 months ago
0
Allow specifying a multi type's type to help with type widening ambiguities
#643
CohenArthur
opened
9 months ago
4
REPL v2
#642
CohenArthur
closed
8 months ago
2
Implement base type-level interpreter and subtyping
#641
CohenArthur
closed
8 months ago
3
Add `fir::Kind::UnionType`
#640
CohenArthur
closed
10 months ago
0
Start working on type-level interpreter
#639
CohenArthur
closed
8 months ago
3
Arithmetic operations type errors should hint that the type must be the exact same
#638
CohenArthur
opened
10 months ago
0
Design and handle first class types
#637
CohenArthur
opened
11 months ago
2
Name resolve multi types
#636
CohenArthur
closed
10 months ago
4
Design and handle tuple types
#635
CohenArthur
opened
11 months ago
0
Typecheck and execute arithmetic ops properly
#634
CohenArthur
closed
11 months ago
1
Design syntax for function parameters and lambdas
#633
CohenArthur
opened
11 months ago
4
Parse multi-types
#632
CohenArthur
closed
8 months ago
2
typecheck: start typechecking function calls
#631
CohenArthur
closed
11 months ago
0
Perform basic arithmetic operations
#630
CohenArthur
closed
11 months ago
2
Next