Skip to content

Commit

Permalink
Adding Move on Sui to languages (#296)
Browse files Browse the repository at this point in the history
- [X ] I ran `make setup && make` to update the generated code after
editing a `.atd` file (TODO: have a CI check)
- [X ] I made sure we're still backward compatible with old versions of
the CLI.
For example, the Semgrep backend need to still be able to *consume* data
generated
	  by Semgrep 1.17.0.
See
https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades
      I assume that adding a new language is backwards compatiable?
  • Loading branch information
maxmysten authored Oct 10, 2024
1 parent c302316 commit 2351c5e
Show file tree
Hide file tree
Showing 4 changed files with 45 additions and 0 deletions.
17 changes: 17 additions & 0 deletions Language.ml
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ type t =
| Kotlin
| Lisp
| Lua
| Move_on_sui
| Move_on_aptos
| Ocaml
| Php
Expand Down Expand Up @@ -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
*)
Expand Down
1 change: 1 addition & 0 deletions Language.mli
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ type t =
| Kotlin
| Lisp
| Lua
| Move_on_sui
| Move_on_aptos
| Ocaml
| Php
Expand Down
9 changes: 9 additions & 0 deletions generate.py
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down
18 changes: 18 additions & 0 deletions lang.json
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down

0 comments on commit 2351c5e

Please sign in to comment.