issues
search
escalier-lang
/
escalier
A compile-to-JavaScript language with tight TypeScript integration.
https://escalier-lang.github.io/escalier/
MIT License
21
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rename escalier_codegen to escalier_old_codegen
#673
kevinbarabash
closed
1 year ago
1
Replace Errors enum with TypeError struct in escalier_hm
#672
kevinbarabash
closed
1 year ago
1
Misc cleanup of type param handling code
#671
kevinbarabash
closed
1 year ago
1
Add Checker struct and make existing functions methods on it
#670
kevinbarabash
closed
1 year ago
1
Add support for mapped object types
#669
kevinbarabash
closed
1 year ago
1
Support mapped object and mapped array types
#668
kevinbarabash
opened
1 year ago
0
Add 'Folder' to replace old types 'Visitor' for most use cases
#667
kevinbarabash
closed
1 year ago
1
Type-level arithmetic
#666
kevinbarabash
closed
1 year ago
1
Add support for basic const type folding
#665
kevinbarabash
closed
1 year ago
1
Track rejection type for promises returned from async functions
#664
kevinbarabash
closed
1 year ago
1
Basic type checking of 'throws' clauses
#663
kevinbarabash
closed
1 year ago
1
Parse 'throws' clause in functions and function types
#662
kevinbarabash
closed
1 year ago
1
Unify syntax for function/methods and their type annotations
#661
kevinbarabash
closed
1 year ago
1
Infer throws types [work-in-progress]
#660
kevinbarabash
closed
1 year ago
1
Infer optional chaining
#659
kevinbarabash
closed
1 year ago
1
Handle multiple returns
#658
kevinbarabash
closed
1 year ago
1
Add 'Self' type to the context when inferring object type annotations
#657
kevinbarabash
closed
11 months ago
1
Making types more consistent
#656
kevinbarabash
opened
1 year ago
0
Add "match" types
#655
kevinbarabash
closed
1 year ago
1
update how we unify tuples with arrays and other tuples
#654
kevinbarabash
opened
1 year ago
0
rest args in function calls
#653
kevinbarabash
closed
1 year ago
0
Initial support for rest elements in tuple types
#652
kevinbarabash
closed
1 year ago
1
Rename `TypeKind::Constructor` to `TypeKind::TypeRef` or something like that
#651
kevinbarabash
closed
1 year ago
1
Create a separate `Array` type
#650
kevinbarabash
closed
1 year ago
2
use ':' instead of 'extends' everywhere
#649
kevinbarabash
closed
1 year ago
1
Initial implementation for handling rest params in escalier_hm
#648
kevinbarabash
closed
1 year ago
1
Figure out how to make getters work with pattern matching
#647
kevinbarabash
opened
1 year ago
0
Parse 'infer' and wildcard type annotations
#646
kevinbarabash
closed
1 year ago
1
Actually call unify_mut()
#645
kevinbarabash
closed
1 year ago
1
Add support for `infer T` in conditional types
#644
kevinbarabash
closed
1 year ago
1
If-else chaining
#643
kevinbarabash
closed
1 year ago
1
Add proper spans to type annotations in type_ann_parser.rs
#642
kevinbarabash
opened
1 year ago
0
Allow Object.prototype methods to be called on objects
#641
kevinbarabash
opened
1 year ago
0
Basic support for conditional types in escalier_hm
#640
kevinbarabash
closed
1 year ago
1
Allow numbers as keys in object types
#639
kevinbarabash
opened
1 year ago
0
Handle `never` and `unknown` unification correctly
#638
kevinbarabash
opened
1 year ago
0
Translate between Escalier's `keyof` and TypeScript's `keyof`
#637
kevinbarabash
opened
1 year ago
0
update expand_keyof() to handle arrays and tuples
#636
kevinbarabash
closed
1 year ago
1
Implement basic assignment operator
#635
kevinbarabash
closed
1 year ago
1
Add proper mutability checking
#634
kevinbarabash
closed
1 year ago
1
Refactor how we handle mutability in hm_escalier
#633
kevinbarabash
closed
1 year ago
1
Support multiple constraints on type params
#632
kevinbarabash
opened
1 year ago
0
Add provenance to Type from TypeAnn and Expr AST nodes
#631
kevinbarabash
closed
1 year ago
1
move set_instance() into bind(), update param names in prune()
#630
kevinbarabash
closed
1 year ago
1
Refactor TypeKind::Mutable into TypeKind::Binding
#629
kevinbarabash
closed
1 year ago
1
mutable binders instead of mutable types
#628
kevinbarabash
closed
1 year ago
2
Make each utility type its own TypeKind in escalier_hm
#627
kevinbarabash
closed
1 year ago
0
Improve obj-obj unification
#626
kevinbarabash
closed
1 year ago
1
Update TObjElem's method, getter, setter variants to explicitly include the `self` param in the param list
#625
kevinbarabash
opened
1 year ago
0
Update `escalier_hm`'s `get_prop` to behave differently when used as an lvalue vs and rvalue
#624
kevinbarabash
opened
1 year ago
0
Previous
Next