[WIP] .d.ts generator

.vscode/settings.json

@@ -21,5 +21,7 @@
   "rust-client.revealOutputChannelOn": "warn",
   "rust-client.logToFile": true,
   "editor.formatOnSave": true,
-  "git.ignoreLimitWarning": true
+  "git.ignoreLimitWarning": true,
+  "rust-analyzer.procMacro.enable": true,
+  "rust-analyzer.cargo.loadOutDirsFromCheck": true
 }

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace]
-members = ["ecmascript", "ecmascript/jsdoc", "native", "spack", "wasm"]
+members = ["typescript", "ecmascript", "ecmascript/jsdoc", "native", "spack", "wasm"]
 
 [package]
 authors = ["강동윤 <[email protected]>"]
@@ -52,4 +52,3 @@ lto = true
 
 [profile.bench]
 codegen-units = 1
-debug = true

ecmascript/codegen/src/typescript.rs

@@ -82,7 +82,11 @@ impl<'a> Emitter<'a> {
     fn emit_ts_constructor_signature_decl(&mut self, n: &TsConstructSignatureDecl) -> Result {
         self.emit_leading_comments_of_pos(n.span().lo())?;
 
-        unimplemented!("emit_ts_constructor_signature_decl")
+        keyword!("constructor");
+
+        punct!("(");
+        self.emit_list(n.span, Some(&n.params), ListFormat::Parameters)?;
+        punct!(")");
     }
 
     #[emitter]
@@ -253,10 +257,11 @@ impl<'a> Emitter<'a> {
         self.emit_list(n.span, Some(&n.params), ListFormat::Parameters)?;
         punct!("]");
 
-        punct!(":");
-        formatting_space!();
-        emit!(n.type_ann);
-        semi!();
+        if let Some(type_ann) = &n.type_ann {
+            punct!(":");
+            formatting_space!();
+            emit!(type_ann);
+        }
     }
 
     #[emitter]

testing/src/lib.rs

@@ -1,6 +1,7 @@
 #![feature(test)]
 
 pub use self::output::{NormalizedOutput, StdErr, StdOut, TestOutput};
+use crate::paths::manifest_dir;
 use difference::Changeset;
 use once_cell::sync::Lazy;
 pub use pretty_assertions::{assert_eq, assert_ne};
@@ -11,6 +12,7 @@ use std::{
     fs::{create_dir_all, File},
     io::Write,
     path::Path,
+    process::Command,
     thread,
 };
 use swc_common::{
@@ -245,3 +247,25 @@ pub fn diff(l: &str, r: &str) -> String {
 
     format!("{}", cs)
 }
+
+/// This methods do multiple things.
+///
+///  - Run `npm install` if `$CARGO_MANIFEST_DIR/package.json` is found.
+pub fn prepare() {
+    fn npm_install() {
+        let f = manifest_dir().join("package.json");
+
+        if manifest_dir().join("node_modules").exists() {
+            return;
+        }
+
+        if f.exists() {
+            Command::new("npm")
+                .arg("i")
+                .output()
+                .expect("failed to install node dependencies");
+        }
+    }
+
+    npm_install();
+}

typescript/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+authors = ["강동윤 <[email protected]>"]
+edition = "2018"
+name = "swc_typescript"
+publish = false
+version = "0.1.0"
+
+[dependencies]
+swc_ts_checker = {path = "./checker"}
+swc_ts_dts = {path = "./dts"}

typescript/checker/.gitignore

@@ -0,0 +1,3 @@
+tests/reference/
+tests/success.txt
+tests/done_sorted.txt

typescript/checker/Cargo.toml

@@ -0,0 +1,46 @@
+[package]
+authors = ["강동윤 <[email protected]>"]
+edition = "2018"
+name = "swc_ts_checker"
+publish = false
+version = "0.1.0"
+
+[dependencies]
+macros = {package = "swc_ts_checker_macros", path = "./macros"}
+ordered-float = "1.0.2"
+swc_atoms = {path = "../../atoms"}
+swc_common = {path = "../../common", features = ["concurrent"]}
+swc_ecma_ast = {path = "../../ecmascript/ast"}
+swc_ecma_parser = {path = "../../ecmascript/parser"}
+swc_ecma_utils = {path = "../../ecmascript/utils"}
+swc_ecma_visit = {path = "../../ecmascript/visit"}
+swc_ts_builtin_types = {path = "./builtin"}
+swc_ts_types = {path = "../types"}
+swc_visit = {path = "../../visit"}
+
+anyhow = "1"
+backtrace = {version = "0.3", features = ["serde"]}
+bitflags = "1"
+crossbeam = "0.7.1"
+dashmap = "3.5.1"
+derive_more = {version = "0.99.2", default-features = false, features = ["display"]}
+either = "1"
+fxhash = "0.2"
+itertools = "0.8"
+log = "0.4"
+node-resolve = "2.2"
+once_cell = "1.3.1"
+petgraph = "0.5"
+rayon = "1"
+serde_json = "1"
+smallvec = "0.6"
+
+[dev-dependencies]
+env_logger = "0.7.1"
+pretty_assertions = "0.5"
+serde = {version = "1", features = ["derive"]}
+sourcemap = "2.2"
+swc_ecma_codegen = {path = "../../ecmascript/codegen"}
+tempfile = "3"
+testing = {path = "../../testing"}
+walkdir = "2"

typescript/checker/TODOs.md

@@ -0,0 +1,11 @@
+- Type narrowing
+
+- Infer of generic arguments
+
+- Getter in class
+
+- Getter / Setter in class
+
+- Type::TypeOf
+
+http://www.typescriptlang.org/play/?noImplicitAny=false&strictNullChecks=false&strictFunctionTypes=false&strictPropertyInitialization=false&strictBindCallApply=false&noImplicitThis=false&noImplicitReturns=false&alwaysStrict=false&ts=3.7-Beta&ssl=6&ssc=1&pln=3&pc=1#code/G4QwTgBAHhC8EBcwFcCmBuAUJ0kDGAXBMAPYCWAJnNFrhBUQgJ4AOqJAZhMgHYWocyPVFXhRa4CKiK9+g4aJqYgA

typescript/checker/builtin/Cargo.toml

@@ -0,0 +1,16 @@
+[package]
+authors = ["강동윤 <[email protected]>"]
+edition = "2018"
+name = "swc_ts_builtin_types"
+version = "0.1.0"
+
+[dependencies]
+fxhash = "0.2.1"
+indexmap = "1.3.2"
+once_cell = "1"
+swc_atoms = {path = "../../../atoms"}
+swc_common = {path = "../../../common"}
+swc_ecma_ast = {path = "../../../ecmascript/ast"}
+swc_ecma_parser = {path = "../../../ecmascript/parser"}
+swc_ecma_visit = {path = "../../../ecmascript/visit"}
+swc_ts_builtin_macro = {path = "./macros"}

typescript/checker/builtin/lib/README.md

@@ -0,0 +1,8 @@
+# Read this!
+
+The files within this directory are used to generate `lib.d.ts` and `lib.es6.d.ts`.
+
+## Generated files
+
+Any files ending in `.generated.d.ts` aren't meant to be edited by hand.
+If you need to make changes to such files, make a change to the input files for [**our library generator**](https://github.com/Microsoft/TSJS-lib-generator).