Change kind's translated word to follow type theory manners

shelarcy · Nov 29, 2011 · 7e260ae · 7e260ae
1 parent 01a26bf
commit 7e260ae
Show file tree

Hide file tree

Showing 4 changed files with 31 additions and 31 deletions.
diff --git a/flags.xml b/flags.xml
@@ -864,7 +864,7 @@
 	    </row>
 	    <row>
 	      <entry><option>-XKindSignatures</option></entry>
-	      <entry><link linkend="kinding">類シグネチャ</link>を有効にする。</entry>
+	      <entry><link linkend="kinding">種シグネチャ</link>を有効にする。</entry>
 	      <entry>動</entry>
 	      <entry><option>-XNoKindSignatures</option></entry>
 	    </row>

diff --git a/ghci.xml b/ghci.xml
@@ -1396,7 +1396,7 @@ Prelude> :. cmds.ghci
           <indexterm><primary><literal>:kind</literal></primary></indexterm>
         </term>
 	<listitem>
-          <para><replaceable>type</replaceable>の類を推論し、印字する。<replaceable>type</replaceable>は任意の型式で、<literal>Either Int</literal>のような型構築子の部分適用であっても構わない。</para>
+          <para><replaceable>type</replaceable>の種を推論し、印字する。<replaceable>type</replaceable>は任意の型式で、<literal>Either Int</literal>のような型構築子の部分適用であっても構わない。</para>
 	</listitem>
       </varlistentry>