TypeScript Compiler Testing Support#47

Open

alexisthedev wants to merge 81 commits intohephaestus-compiler-project:mainfrom

alexisthedev:merge-with-central-repo

Commits on Jul 29, 2022

Commits on Aug 24, 2022

Commits on Aug 25, 2022

Pass bt_factory to ast.Program node to circumvent circular imports
alexisthedev
committed
add type alias ast node to typescript-specific AST file extension
alexisthedev
committed
(WIP) Add TypeAlias type, extend generator, context, and visitors for language specific features
alexisthedev
committed

Commits on Aug 26, 2022

Add support for type alias, extend typescript translator for builting typescript features
alexisthedev
committed

Commits on Aug 30, 2022

Correct the primitive status of typescript built-in types

alexisthedev
authored and
theosotr
committed
Merge support for literal types and null, undefined types

alexisthedev
authored and
theosotr
committed
remove comment

alexisthedev
authored and
theosotr
committed
add newline to end of file

alexisthedev
authored and
theosotr
committed
Add full support for typescript number and string literal types

alexisthedev
authored and
theosotr
committed
Provide generator with both a string and number literal type, change num and string LiteralType supertypes, add comments

alexisthedev
authored and
theosotr
committed
Rename method and add spaces

alexisthedev
authored and
theosotr
committed

Commits on Sep 15, 2022

Commits on Sep 16, 2022

Add requested type alias changes
alexisthedev
committed

Commits on Oct 11, 2022

Add GSOC.md
alexisthedev
committed

Commits on Nov 9, 2022

Add deployment script for running and installing typescript, npm
alexisthedev
committed

Commits on Nov 23, 2022

Correct the primitive status of typescript built-in types

alexisthedev
authored and
theosotr
committed
Merge literal types from main to ts-type-alias

alexisthedev
authored and
theosotr
committed
Add full support for typescript number and string literal types

alexisthedev
authored and
theosotr
committed
Add UnionType class and UnionTypeFactory

alexisthedev
authored and
theosotr
committed
Add limit for types in a union

alexisthedev
authored and
theosotr
committed
Pass union types to generator and translate them to typescript

alexisthedev
authored and
theosotr
committed
Fix union type handling of literal types

alexisthedev
authored and
theosotr
committed
Expand generator to generate union type constants

alexisthedev
authored and
theosotr
committed
Pass and generate union types with previously generated types

alexisthedev
authored and
theosotr
committed
Add union type assignment test, update tests to pass builtin factory when creating ast.Program node.

alexisthedev
authored and
theosotr
committed
Change default is_subtype function for builtin types. Add unit tests for typescript

alexisthedev
authored and
theosotr
committed
Fix subtyping relations for union types

alexisthedev
authored and
theosotr
committed
Add an extra subtyping check for when additional subtyping relations exist

alexisthedev
authored and
theosotr
committed
Refactoring of Type Substitution Mechanism

alexisthedev
authored and
theosotr
committed
Add functionality for union types type substitution

alexisthedev
authored and
theosotr
committed
Add more unit tests for union type substitution

alexisthedev
authored and
theosotr
committed
Add type unification support for union types

alexisthedev
authored and
theosotr
committed
Add unit tests for union type unification

alexisthedev
authored and
theosotr
committed
Change assertion statement to include union type cases

alexisthedev
authored and
theosotr
committed
Refactor and fully outline the procedure for type unification for union types.

alexisthedev
authored and
theosotr
committed
Add more unit tests for type unification, solve bugs in the type unification algorithm

alexisthedev
authored and
theosotr
committed
Remove dead import
theosotr
committed
Fix type unification for type params and combound types
theosotr
committed
Correctly remove type variables from a union type
theosotr
committed
Add one more typescript keyword
theosotr
committed
Name changes and resolving PR comments

alexisthedev
authored and
theosotr
committed
Make builtin factory set up factories for individual types
theosotr
committed
Add description comments to unit tests

alexisthedev
authored and
theosotr
committed
Change name of dynamic_subtyping

alexisthedev
authored and
theosotr
committed
substitute_type_args => substitute_type
theosotr
committed
Merge branch 'hephaestus-compiler-project:main' into main
theosotr
authored

Commits on Dec 7, 2022