From 75246a42e22716eaa2700468ab843e8ea6590c22 Mon Sep 17 00:00:00 2001 From: maxmysten Date: Wed, 9 Oct 2024 22:19:08 -0400 Subject: [PATCH] Adding Move on Sui to languages --- Language.ml | 17 +++++++++++++++++ Language.mli | 1 + generate.py | 9 +++++++++ lang.json | 18 ++++++++++++++++++ 4 files changed, 45 insertions(+) diff --git a/Language.ml b/Language.ml index 9ade2498..43e3bc3b 100644 --- a/Language.ml +++ b/Language.ml @@ -24,6 +24,7 @@ type t = | Kotlin | Lisp | Lua +| Move_on_sui | Move_on_aptos | Ocaml | Php @@ -369,6 +370,22 @@ let list = [ shebangs = [{|lua|}]; tags = []; }; +(* + Move language with SUI flavor +*) +{ + id = Move_on_sui; + id_string = "move_on_sui"; + name = "Move on Sui"; + keys = [{|move_on_sui|}]; + exts = [{|.move|}]; + maturity = Develop; + example_ext = None; + excluded_exts = []; + reverse_exts = None; + shebangs = []; + tags = []; +}; (* Move language with Aptos flavor *) diff --git a/Language.mli b/Language.mli index d48b2698..d8b1f06e 100644 --- a/Language.mli +++ b/Language.mli @@ -24,6 +24,7 @@ type t = | Kotlin | Lisp | Lua +| Move_on_sui | Move_on_aptos | Ocaml | Php diff --git a/generate.py b/generate.py index f8866296..3c53599b 100755 --- a/generate.py +++ b/generate.py @@ -410,6 +410,15 @@ def to_json(self): maturity=Maturity.ALPHA, shebangs=["lua"] ), + Language( + comment="Move language with SUI flavor", + id_="move_on_sui" , + name="Move on Sui", + keys=["move_on_sui"], + exts=[".move"], + maturity=Maturity.DEVELOP, + shebangs=[] + ), Language( comment="Move language with Aptos flavor", id_="move_on_aptos", diff --git a/lang.json b/lang.json index 3d9add86..af1658f2 100644 --- a/lang.json +++ b/lang.json @@ -434,6 +434,24 @@ "is_target_language": true, "tags": [] }, + { + "comment": "Move language with SUI flavor", + "id": "move_on_sui", + "name": "Move on Sui", + "keys": [ + "move_on_sui" + ], + "maturity": "develop", + "exts": [ + ".move" + ], + "example_ext": null, + "excluded_exts": [], + "reverse_exts": null, + "shebangs": [], + "is_target_language": true, + "tags": [] + }, { "comment": "Move language with Aptos flavor", "id": "move_on_aptos",