kaleidawave/ezno
A fast and correct TypeScript type checker and compiler with additional experiments
RustMIT
Pinned issues
Issues
- 2
- 2
BigInts
#215 opened by kaleidawave - 2
[repl] Errors use bad code format
#210 opened by Brayan-724 - 10
`npx ezno check` does not check code?
#204 opened by rotu - 2
Incorrect prototype handling
#207 opened by SeeSpring - 5
Template literal type printing
#188 opened by kaleidawave - 3
Generic names leak out of functions
#196 opened by kaleidawave - 1
Watch mode
#164 opened by kaleidawave - 5
`never` type lookup - "Cannot find type never"
#136 opened by CharlesTaylor7 - 0
Add `Object.seal` and `Object.preventExtensions`
#198 opened by kaleidawave - 1
Reverse Uppercase argument (possibly linked to trailing when looking up properties)
#174 opened by kaleidawave - 0
Disjoint on object properties and functions
#212 opened by kaleidawave - 0
- 8
npx ezno repl spews error message
#205 opened by rotu - 1
Unsound conditional property
#208 opened by SeeSpring - 2
Support emitting multiple parser errors
#203 opened by Chriscbr - 0
Improve comparison document
#201 opened by kaleidawave - 0
- 6
- 0
- 2
Add regex checking
#183 opened by kaleidawave - 1
Allow type-only import labels
#194 opened by noahbald - 0
Save narrowing results
#193 opened by kaleidawave - 2
Narrowing
#122 opened by kaleidawave - 1
Add missing import / export diagnostics
#182 opened by kaleidawave - 0
Add fuzzers for the checker crate
#153 opened by jasikpark - 2
Error on hashbang
#176 opened by rotu - 0
Labelled block and switch statements
#189 opened by kaleidawave - 3
Cannot parse `<T>(t: T) => T` under JSX mode (problems with expression prefix)
#165 opened by kaleidawave - 1
Nominal classes
#128 opened by kaleidawave - 3
Non-type subtyping and type pairing
#159 opened by kaleidawave - 3
Assigning excess properties can break type system
#177 opened by kaleidawave - 0
Array slice infer patterns
#181 opened by kaleidawave - 14
- 0
Cyclic extends generics
#179 opened by kaleidawave - 3
Parsing bug w/ `do while` found by `parser/fuzz/module_roundtrip_structured`
#171 opened by jasikpark - 3
Parse error found via `module_roundtrip_naive`
#161 opened by jasikpark - 5
- 0
Tuple modification by method diagnostics
#170 opened by kaleidawave - 1
Interface extends and type parameters extends
#123 opened by kaleidawave - 1
Proposal: Support `unknown`, rename `TypeId::ANY_TYPE` -> `TypeId::UNKNOWN_TYPE`
#137 opened by CharlesTaylor7 - 0
Promises, async and await
#168 opened by kaleidawave - 1
Closure TDZ
#124 opened by kaleidawave - 0
Print reasons for subtyping mismatches
#167 opened by kaleidawave - 5
Simple example of typechecking from code?
#162 opened by jloganolson - 1
- 0
Add more options for printing types
#148 opened by kaleidawave - 0
Parsing import meta
#140 opened by Brayan-724 - 2
`console.log` not variadic
#133 opened by CharlesTaylor7 - 3