development/tokei
development/tokei
1
0
Fork 0
mirror of https://github.com/XAMPPRocky/tokei synced 2024-10-05 23:39:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse source
This commit is contained in:
Lucas Franceschino 2020-12-15 22:10:48 +01:00 committed by GitHub
parent 47a066cc00
commit 5cd3a38392
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
languages.json
View file

@ -387,6 +387,7 @@
"Fstar": {
"name": "F*",
"quotes": [["\\\"", "\\\""]],
"line_comment": ["//"],
"multi_line_comments": [["(*", "*)"]],
"extensions": ["fst"]
},

5
tests/data/fstar.fst
View file

@ -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 *)