You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Compiling tokei v6.0.0 (file:///home/kmodi/downloads/git/tokei)
error[E0001]: unreachable pattern
--> /home/kmodi/downloads/git/tokei/target/x86_64-unknown-linux-musl/release/build/tokei-cfa6d5ef49951a7c/out/language_type.rs:875:25
|
875 | "v" |
| ^^^ this is an unreachable pattern
error: aborting due to previous error
error: Could not compile `tokei`.
I believe it's because the .v extension is already taken by Coq:
"Coq":{
"base":"func",
"extensions":[
"v"
]
},
I have never coded in Coq.. So would there be a way to add a smarter detection of languages.. based on some language keywords may be? Or simply config options?
The text was updated successfully, but these errors were encountered:
Hello,
I am not a Rust programmer but I was following the
CONTRIBUTING/md
to add support for Verilog and SystemVerilog.So I added these to the
languages.json
(in alphabetical order):But then on building, I get:
I believe it's because the
.v
extension is already taken by Coq:I have never coded in Coq.. So would there be a way to add a smarter detection of languages.. based on some language keywords may be? Or simply config options?
The text was updated successfully, but these errors were encountered: