escalier-lang escalier-next issues

escalier-lang / escalier-next

Improved type safety with tight TypeScript interop

https://escalier-lang.github.io/escalier-next/

MIT License

14 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Handle more types of imports and exports

#366 kevinbarabash closed 3 hours ago
1
Support export controls

#365 kevinbarabash closed 6 days ago
1
remove Script from AST

#364 kevinbarabash closed 6 days ago
1
Add support for `as <ident>` to pattern matching

#363 kevinbarabash opened 1 week ago
0
Default to immutable methods and params when migrating types from .d.ts files

#362 kevinbarabash closed 1 week ago
1
Trea Array<T> the same as T[]

#361 kevinbarabash opened 1 week ago
0
Only require invariance on type params that are unions, not on all unions

#360 kevinbarabash opened 1 week ago
0
Migrate optional params from TypeScript types in .d.ts properly

#359 kevinbarabash closed 2 weeks ago
1
Handle function overloads with different param names and different numbers of params

#358 kevinbarabash closed 2 weeks ago
1
Update Visitor.fs and BuildGraph.fs to handle function declarations properly

#357 kevinbarabash opened 2 weeks ago
0
Update all ExprKinds to wrap structs

#356 kevinbarabash closed 2 weeks ago
1
Handle overloads with different param names

#355 kevinbarabash closed 2 weeks ago
1
Handle function overloads with different numbers of params

#354 kevinbarabash closed 2 weeks ago
0
Update type inference of string template literals to be more accurate

#353 kevinbarabash closed 2 weeks ago
1
Codegen overloaded function declarations

#352 kevinbarabash closed 2 weeks ago
1
Update getPropType to check for properties on the Extends type of an object type

#351 kevinbarabash opened 2 weeks ago
0
Fix optional function params in functions migrated from .d.ts files

#350 kevinbarabash closed 2 weeks ago
0
Make function params that are primitive types immutable when migrating the types from .d.ts files

#349 kevinbarabash closed 1 week ago
0
Allow optional chaining on `Obj | null`

#348 kevinbarabash opened 2 weeks ago
0
RFC-0003: Function Overloading

#347 kevinbarabash closed 2 weeks ago
1
Handle 'Infer T' inside template literal types

#346 kevinbarabash closed 3 weeks ago
1
Handle computed keys when the key is defined in the same file

#345 kevinbarabash opened 3 weeks ago
0
Implement key renaming in mapped types

#344 kevinbarabash closed 3 weeks ago
1
intrinsic types

#343 kevinbarabash closed 3 weeks ago
1
Allow primitives/literals to unify regardless of their mutability

#342 kevinbarabash opened 4 weeks ago
0
Give well-known symbols descriptions

#341 kevinbarabash opened 4 weeks ago
0
Merge all readonly types

#340 kevinbarabash closed 4 weeks ago
1
Handle member access on literals and primitives

#339 kevinbarabash closed 1 month ago
1
Don't allow redefinition of variables

#338 kevinbarabash opened 1 month ago
0
Update types for `Object.entries`, `Object.values`, and `Object.keys` to behave differently for exact objects

#337 kevinbarabash opened 1 month ago
0
Add test case to check that intersection with exact types is 'never'

#336 kevinbarabash closed 1 month ago
0
Check the mutability of binders in `inferMatchCases`

#335 kevinbarabash opened 1 month ago
0
maintain exactness

#334 kevinbarabash closed 1 month ago
1
Handle method calls on primitives

#333 kevinbarabash opened 1 month ago
0
Prevent pattern matching of unions of untagged inexact object types

#332 kevinbarabash opened 1 month ago
0
Have intersection types expand to `never` if any of the types are exact object types

#331 kevinbarabash closed 1 month ago
0
Check if pattern matching works with nested union types

#330 kevinbarabash closed 1 month ago
1
Implement property assignability and spread semantics for exact/inexact object types

#329 kevinbarabash closed 1 month ago
1
Allow partial destructuring of exact object types

#328 kevinbarabash closed 1 month ago
0
Update printObject to output the correct syntax for inexact object types

#327 kevinbarabash closed 1 month ago
1
Require `static` keyword when defining static methods on a class

#326 kevinbarabash opened 1 month ago
0
Special handling when applying mapped types to array and tuple types

#325 kevinbarabash opened 1 month ago
0
Implement keyof tuple type

#324 kevinbarabash closed 1 month ago
1
spread rest obj type elem

#323 kevinbarabash closed 1 month ago
1
Infer function params without type annotations as 'unknown'

#322 kevinbarabash closed 1 month ago
1
Parse ineaxct object type annotation syntax

#321 kevinbarabash closed 1 month ago
1
RFC: Exact object types

#320 kevinbarabash closed 1 month ago
1
Export regex validated string types as template literals types in .d.ts files

#319 kevinbarabash opened 1 month ago
0
Handle interpolation in regex validated string types

#318 kevinbarabash opened 1 month ago
0
Add support for basic regex validated string type

#317 kevinbarabash opened 1 month ago
0