Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

TypeScript Compiler Testing in Hephaestus #46

Closed
wants to merge 79 commits into from
Closed

TypeScript Compiler Testing in Hephaestus #46

wants to merge 79 commits into from

Conversation

alexisthedev
Copy link

This pull request consists of the required modules and additions to test the TypeScript compiler with Hephaestus.

Important additions include:

  • AST-to-TypeScript Translator
  • Core API extension to allow generation of programs with native types of any language (eg. TypeScript's unique union types)
  • Null and Undefined Types
  • Null Constant
  • Literal Types (Native TypeScript)
  • Type Aliases (Native TypeScript)
  • Union Types (Native TypeScript)

A more detailed overview is available here.

alexisthedev and others added 30 commits July 29, 2022 11:13
@alexisthedev
compile to empty typescript files
665ae6b
@alexisthedev
Add representation for typescript types and lowercase object type
9e70548
@alexisthedev
delete dead code in Kotlin ClassDecleration visitor
b4e430b
@alexisthedev
remove dead kotlin translator code
cd0e2ff
@alexisthedev
Add argument validation for typescript, must use decline-use-site-var…
bc05ef2 
…iance flag
@alexisthedev
Change typescript equality operators
0124585
@alexisthedev
Added most of typescript functionality. Changed generator so no defau…
1cd0535 
…lt values in typescript params.
@alexisthedev
Add file for typescript keywords
93b0d26
@alexisthedev
add typescript translator functionality
581c5c4
@alexisthedev
add regex for tsc errors
ffe9880
@theosotr @alexisthedev
Fix regex for identifying TS errors
b2350ba
@alexisthedev
added regex for compiler crashes
875ac18
@alexisthedev
add braces around binary operands
652bbed
@alexisthedev
style & code changes based on comments from typescript-translator PR#1
0cc8d64
@theosotr @alexisthedev
Fix some minor stylish issues
dd9cc56
@alexisthedev
Add arrow functions for nested functions in methods, update .gitignore
6cd52e1
@alexisthedev
Modify compiler to filter out error patterns and add reserved words
7b2f22d
@alexisthedev @theosotr
Add null type and support in typescript + kotlin. Add undefined type …
2f8c31e 
…in typescript
@alexisthedev @theosotr
Change supertypes of NullType in typescript and kotlin, change supert…
f48061d 
…ype of UndefinedType in typescript
@alexisthedev @theosotr
Correct the primitive status of typescript built-in types
9271b16
@alexisthedev @theosotr
Change NullType and UndefinedType to primitives
ee4ddca
@alexisthedev @theosotr
change primitive status for typescript types
e752905
@alexisthedev
(WIP) Add AST Nodes for type alias decls and begin adapting generator
81a677a
@alexisthedev
Pass bt_factory to ast.Program node to circumvent circular imports
830c47c
@alexisthedev
add type alias ast node to typescript-specific AST file extension
c9bc3f8
@alexisthedev
(WIP) Add TypeAlias type, extend generator, context, and visitors for…
23d266b 
… language specific features
@alexisthedev
Add support for type alias, extend typescript translator for builting…
dd50a30 
… typescript features
@alexisthedev @theosotr
Correct the primitive status of typescript built-in types
e74b680
@alexisthedev @theosotr
Merge support for literal types and null, undefined types
2211142
@alexisthedev @theosotr
remove comment
38316d1
alexisthedev and others added 21 commits November 23, 2022 16:54
@alexisthedev @theosotr
Change default is_subtype function for builtin types. Add unit tests …
338420b 
…for typescript
@alexisthedev @theosotr
Fix subtyping relations for union types
09ccae6
@alexisthedev @theosotr
Add an extra subtyping check for when additional subtyping relations …
ab9c0d7 
…exist
@alexisthedev @theosotr
Refactoring of Type Substitution Mechanism
2182d54
@alexisthedev @theosotr
Add functionality for union types type substitution
ff26ffe
@alexisthedev @theosotr
Add more unit tests for union type substitution
3e06d6f
@alexisthedev @theosotr
Add type unification support for union types
291397b
@alexisthedev @theosotr
Add unit tests for union type unification
123d20a
@alexisthedev @theosotr
Change assertion statement to include union type cases
4bf17c6
@alexisthedev @theosotr
Refactor and fully outline the procedure for type unification for uni…
832c73a 
…on types.
@alexisthedev @theosotr
Add more unit tests for type unification, solve bugs in the type unif…
e385331 
…ication algorithm
@theosotr
Remove dead import
137b474
@theosotr
Fix type unification for type params and combound types
26e58f9
@theosotr
Correctly remove type variables from a union type
2ee782c
@theosotr
Add one more typescript keyword
cbd3399
@alexisthedev @theosotr
Name changes and resolving PR comments
d13bc03
@theosotr
Make builtin factory set up factories for individual types
93ce961
@alexisthedev @theosotr
Add description comments to unit tests
790fff8
@alexisthedev @theosotr
Change name of dynamic_subtyping
adea32d
@theosotr
substitute_type_args => substitute_type
8574c78
@theosotr
Merge branch 'hephaestus-compiler-project:main' into main
081fea7
@StefanosChaliasos
Copy link
Collaborator

@alexisthedev, please resolve any conflicts.

@StefanosChaliasos
Copy link
Collaborator

@alexisthedev, could you please add some example instructions and expected results in the description of that PR?

@alexisthedev
Copy link
Author

Closing this PR and reopening it in order to merge from a different branch from my fork. This has been done in order to keep GSOC.md on my project's main branch but not on the central repo.

@alexisthedev alexisthedev mentioned this pull request Dec 7, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@StefanosChaliasos StefanosChaliasos StefanosChaliasos left review comments

@theosotr theosotr Awaiting requested review from theosotr

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@alexisthedev @StefanosChaliasos @theosotr