Merge pull request #125 from abevoelker/detect-coq-language

Add detection for the Coq language - fixes #116
github-linguist · Mar 5, 2012 · d80ee60 · d80ee60
2 parents 5ff5cab + daef609
commit d80ee60
Show file tree

Hide file tree

Showing 6 changed files with 535 additions and 0 deletions.
diff --git a/lib/linguist/blob_helper.rb b/lib/linguist/blob_helper.rb
@@ -511,6 +511,17 @@ def guess_t_language
       end
     end
 
+    # Internal: Guess language of .v files.
+    #
+    # Returns a Language
+    def guess_v_language
+      if lines.grep(/^(\/\*|\/\/|module|parameter|input|output|wire|reg|always|initial|begin|\`)/).any?
+        Language['Verilog']
+      else
+        Language['Coq']
+      end
+    end
+
     # Internal: Guess language of .gsp files.
     #
     # Returns a Language.

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
@@ -220,6 +220,12 @@ Common Lisp:
   - .lisp
   - .ny
 
+Coq:
+  type: programming
+  lexer: Coq
+  extensions:
+  - .v
+
 Cpp-ObjDump:
   type: data
   lexer: cpp-objdump
@@ -1063,6 +1069,8 @@ Vala:
 Verilog:
   type: programming
   lexer: verilog
+  overrides:
+  - .v
   extensions:
   - .v