--wip-- [skip ci]

Author: hugoclrd

.vscode/settings.json

@@ -1,5 +1,5 @@
 {
-  "rust-analyzer.check.command": "clippy",
+  // "rust-analyzer.check.command": "clippy",
   // rust-analyzer hack:
   // manually set --workspace in extraArgs so that it's always set only one time
   "rust-analyzer.check.workspace": false,

Cargo.lock

@@ -34,6 +34,7 @@ clarinet-format = { path = "../clarinet-format" }
 clarinet-deployments = { path = "../clarinet-deployments" }
 hiro-system-kit = { path = "../hiro-system-kit" }
 stacks-network = { path = "../stacks-network" }
+ts-to-clar = { path = "../ts-to-clar" }
 
 [target.'cfg(unix)'.dependencies]
 nix = "0.29.0"

components/clarinet-cli/Cargo.toml

@@ -93,6 +93,9 @@ enum Command {
     /// Subcommands for Devnet usage
     #[clap(subcommand, name = "devnet")]
     Devnet(Devnet),
+    /// Subcommands ts-to-clar transpiler usage
+    #[clap(name = "build", aliases = &["transpile"], bin_name = "build")]
+    Build(Build),
     /// Get Clarity autocompletion and inline errors from your code editor (VSCode, vim, emacs, etc)
     #[clap(name = "lsp", bin_name = "lsp")]
     LSP,
@@ -104,6 +107,12 @@ enum Command {
     DAP,
 }
 
+#[derive(Parser, PartialEq, Clone, Debug)]
+struct Build {
+    #[clap(long = "path", short = 'p')]
+    pub path: Option<String>,
+}
+
 #[derive(Parser, PartialEq, Clone, Debug)]
 struct Formatter {
     #[clap(long = "manifest-path", short = 'm')]
@@ -1325,6 +1334,24 @@ pub fn main() {
             }
             Devnet::DevnetStart(cmd) => devnet_start(cmd, clarinetrc),
         },
+        Command::Build(Build { path }) => {
+            let file_name = path.unwrap_or_else(|| {
+                eprintln!("No file path provided. Please specify a .clar.ts file.");
+                process::exit(1);
+            });
+            let file_path = std::path::Path::new(&file_name);
+            let extension = file_path.extension().unwrap_or_default();
+            assert_eq!(extension, "ts");
+            assert!(file_path.is_file());
+            assert!(file_name.ends_with(".clar.ts"));
+
+            let output_path = file_name.strip_suffix(".ts").unwrap();
+
+            let src = std::fs::read_to_string(file_path).unwrap();
+            let clarity_code = ts_to_clar::transpile(&file_name, &src).unwrap();
+            std::fs::write(output_path, clarity_code).unwrap();
+            println!("Transpiled {file_name} to {output_path}");
+        }
     };
 }
 

components/clarinet-cli/src/frontend/cli.rs

@@ -9,12 +9,12 @@ license = "GPL-3.0"
 anyhow = "1.0.98"
 
 oxc_allocator = "0.75"
-oxc_ast = { version = "0.75", features = ["serialize"] }
+oxc_ast = { version = "0.75" }
 oxc_ast_visit = "0.75"
 oxc_parser = "0.75"
 oxc_span = "0.75"
 oxc_syntax = "0.75"
-oxc_traverse = "0.75"
+oxc_traverse = { version = "0.75" }
 oxc_semantic = "0.75"
 
 clarity = { workspace = true }

components/ts-to-clar/Cargo.toml

@@ -33,6 +33,7 @@ fn atom(name: &str) -> PreSymbolicExpression {
 
 fn get_clarity_binary_operator(operator: &ast::BinaryOperator) -> &str {
     use ast::BinaryOperator::*;
+
     match operator {
         Addition => "+",
         Subtraction => "-",

components/ts-to-clar/src/expression_converter.rs

@@ -9,7 +9,7 @@
 
 use std::marker::PhantomData;
 
-use anyhow::{anyhow, Result};
+use anyhow::{Result, anyhow};
 use oxc_allocator::{Allocator, CloneIn};
 use oxc_ast::ast::{
     self, Expression, Function, ObjectPropertyKind, Program, PropertyKey, Statement,
@@ -18,7 +18,7 @@ use oxc_ast::ast::{
 use oxc_parser::Parser;
 use oxc_semantic::SemanticBuilder;
 use oxc_span::SourceType;
-use oxc_traverse::{traverse_mut, Traverse};
+use oxc_traverse::{Traverse, traverse_mut};
 
 use clarity::vm::types::TypeSignature;
 
@@ -345,25 +345,25 @@ pub fn get_ir<'a>(allocator: &'a Allocator, file_name: &str, source: &'a str) ->
 mod test {
     use crate::{
         clarity_std::STD_PKG_NAME,
-        parser::{get_ir, IRConstant, IRDataMap, IRDataVar, IR},
+        parser::{IR, IRConstant, IRDataMap, IRDataVar, get_ir},
         types::{get_ascii_type, get_utf8_type},
     };
 
     use clarity::vm::{
+        ClarityName,
         types::{
             TupleTypeSignature,
             TypeSignature::{self, *},
         },
-        ClarityName,
     };
     use indoc::{formatdoc, indoc};
     use oxc_allocator::{Allocator, Box, FromIn};
     use oxc_ast::{
+        AstBuilder,
         ast::{
             BinaryOperator, Expression, NumberBase, ObjectPropertyKind, PropertyKey, PropertyKind,
             Statement,
         },
-        AstBuilder,
     };
     use oxc_span::{Atom, Span};