tokei/tests/data/fstar.fst

(* 11 lines 3 code 5 comments 3 blanks *)

module Hello

(* multi
   line
   comment *)
open FStar.IO // uncounted comment

// single line comment
let main = print_string "Hello, F*!\n" (* uncounted comment *)
FStar language: add single-line comments (#670) 2020-12-15 21:10:48 +00:00			`(* 11 lines 3 code 5 comments 3 blanks *)`
Improve and extend test data (#99) * Add uncounted comments in Ur/Web files * Add Cogent test file * Add F* test file 2017-01-29 22:31:54 +00:00
			`module Hello`

			`(* multi`
			`line`
			`comment *)`
FStar language: add single-line comments (#670) 2020-12-15 21:10:48 +00:00			`open FStar.IO // uncounted comment`
Improve and extend test data (#99) * Add uncounted comments in Ur/Web files * Add Cogent test file * Add F* test file 2017-01-29 22:31:54 +00:00
FStar language: add single-line comments (#670) 2020-12-15 21:10:48 +00:00			`// single line comment`
Improve and extend test data (#99) * Add uncounted comments in Ur/Web files * Add Cogent test file * Add F* test file 2017-01-29 22:31:54 +00:00			`let main = print_string "Hello, F!\n" ( uncounted comment *)`