Merge pull request #855 from username231419/master

Matafou · web-flow · commit 1a466bf3a906 · 2026-01-06T12:05:39.000+01:00
Add support for Class definitions to coqtags
diff --git a/coq/coqtags b/coq/coqtags
@@ -59,13 +59,13 @@ while(<>)
     elsif($stmt=~/^([ \t]*((Axiom)|(Hypothesis)|(Parameter)|(Variable))\s+[\w\']+)/)
       { adddecs($stmt,$1); }
 
-    elsif($stmt=~/^([ \t]*((Definition)|(Fixpoint)|(Inductive)|(CoInductive)|(Record)|(Variant))\s+([\w\']+))/)
+    elsif($stmt=~/^([ \t]*((Definition)|(Fixpoint)|(Inductive)|(CoInductive)|(Record|Class)|(Variant))\s+([\w\']+))/)
     {
 	$tagstring.=$1."\177".$9."\001".$lp.",".$cp."\n";
 	if($2 eq "Inductive" || $2 eq "CoInductive" || $2 eq "Variant"){
 	    add_constructors($stmt);
 	}
-	elsif($2 eq "Record"){
+	elsif($2 eq "Record" || $2 eq "Class"){
 	    add_record_labels($stmt, $8);
 	}
     }

Original file line number	Diff line number	Diff line change
`@@ -59,13 +59,13 @@ while(<>)`
`59`	`59`	`elsif($stmt=~/^([ \t]*((Axiom)\|(Hypothesis)\|(Parameter)\|(Variable))\s+[\w\']+)/)`
`60`	`60`	`{ adddecs($stmt,$1); }`
`61`	`61`
`62`		`- elsif($stmt=~/^([ \t]*((Definition)\|(Fixpoint)\|(Inductive)\|(CoInductive)\|(Record)\|(Variant))\s+([\w\']+))/)`
	`62`	`+ elsif($stmt=~/^([ \t]*((Definition)\|(Fixpoint)\|(Inductive)\|(CoInductive)\|(Record\|Class)\|(Variant))\s+([\w\']+))/)`
`63`	`63`	`{`
`64`	`64`	`$tagstring.=$1."\177".$9."\001".$lp.",".$cp."\n";`
`65`	`65`	`if($2 eq "Inductive" \|\| $2 eq "CoInductive" \|\| $2 eq "Variant"){`
`66`	`66`	`add_constructors($stmt);`
`67`	`67`	`}`
`68`		`- elsif($2 eq "Record"){`
	`68`	`+ elsif($2 eq "Record" \|\| $2 eq "Class"){`
`69`	`69`	`add_record_labels($stmt, $8);`
`70`	`70`	`}`
`71`	`71`	`}`