FStar language: add single-line comments (#670)

XAMPPRocky · Dec 15, 2020 · 5cd3a38 · 5cd3a38
1 parent 47a066c
commit 5cd3a38
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/languages.json b/languages.json
@@ -387,6 +387,7 @@
     "Fstar": {
       "name": "F*",
       "quotes": [["\\\"", "\\\""]],
+      "line_comment": ["//"],
       "multi_line_comments": [["(*", "*)"]],
       "extensions": ["fst"]
     },

diff --git a/tests/data/fstar.fst b/tests/data/fstar.fst
@@ -1,10 +1,11 @@
-(* 10 lines 3 code 4 comments 3 blanks *)
+(* 11 lines 3 code 5 comments 3 blanks *)
 
 module Hello
 
 (* multi
    line
    comment *)
-open FStar.IO
+open FStar.IO // uncounted comment
 
+// single line comment
 let main = print_string "Hello, F*!\n" (* uncounted comment *)