From 532705e364e72c7bebccc0186b42693f5656e29c Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Wed, 23 Oct 2024 19:42:25 +0300
Subject: [PATCH] Fix typo (Procude -> Product)

---
 haskell/soas/grammar/SOAS/Syntax.cf            | 2 +-
 haskell/soas/src/Language/SOAS/Syntax/Abs.hs   | 4 ++--
 haskell/soas/src/Language/SOAS/Syntax/Par.y    | 2 +-
 haskell/soas/src/Language/SOAS/Syntax/Print.hs | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/haskell/soas/grammar/SOAS/Syntax.cf b/haskell/soas/grammar/SOAS/Syntax.cf
index 81841eee..d8ba3825 100644
--- a/haskell/soas/grammar/SOAS/Syntax.cf
+++ b/haskell/soas/grammar/SOAS/Syntax.cf
@@ -40,7 +40,7 @@ ScopedTerm. ScopedTerm ::= Term ;
 TypeVarIdent. TypeVarIdent ::= VarIdent ;
 
 TypeFun.     Type ::= Type1 "→" Type1 ;
-TypeProduce. Type1 ::= Type1 "×" Type2 ;
+TypeProduct. Type1 ::= Type1 "×" Type2 ;
 TypeVar.     Type2 ::= TypeVarIdent ;
 coercions Type 2 ;
 separator Type "," ;
diff --git a/haskell/soas/src/Language/SOAS/Syntax/Abs.hs b/haskell/soas/src/Language/SOAS/Syntax/Abs.hs
index b7a37a39..e1494889 100644
--- a/haskell/soas/src/Language/SOAS/Syntax/Abs.hs
+++ b/haskell/soas/src/Language/SOAS/Syntax/Abs.hs
@@ -85,7 +85,7 @@ data TypeVarIdent' a = TypeVarIdent a VarIdent
 type Type = Type' BNFC'Position
 data Type' a
     = TypeFun a (Type' a) (Type' a)
-    | TypeProduce a (Type' a) (Type' a)
+    | TypeProduct a (Type' a) (Type' a)
     | TypeVar a (TypeVarIdent' a)
   deriving (C.Eq, C.Ord, C.Show, C.Read, C.Functor, C.Foldable, C.Traversable, C.Data, C.Typeable, C.Generic)
 
@@ -186,7 +186,7 @@ instance HasPosition TypeVarIdent where
 instance HasPosition Type where
   hasPosition = \case
     TypeFun p _ _ -> p
-    TypeProduce p _ _ -> p
+    TypeProduct p _ _ -> p
     TypeVar p _ -> p
 
 instance HasPosition TypeBinders where
diff --git a/haskell/soas/src/Language/SOAS/Syntax/Par.y b/haskell/soas/src/Language/SOAS/Syntax/Par.y
index 0c18b43b..265fb6cc 100644
--- a/haskell/soas/src/Language/SOAS/Syntax/Par.y
+++ b/haskell/soas/src/Language/SOAS/Syntax/Par.y
@@ -194,7 +194,7 @@ Type
 
 Type1 :: { (Language.SOAS.Syntax.Abs.BNFC'Position, Language.SOAS.Syntax.Abs.Type) }
 Type1
-  : Type1 '×' Type2 { (fst $1, Language.SOAS.Syntax.Abs.TypeProduce (fst $1) (snd $1) (snd $3)) }
+  : Type1 '×' Type2 { (fst $1, Language.SOAS.Syntax.Abs.TypeProduct (fst $1) (snd $1) (snd $3)) }
   | Type2 { (fst $1, (snd $1)) }
 
 Type2 :: { (Language.SOAS.Syntax.Abs.BNFC'Position, Language.SOAS.Syntax.Abs.Type) }
diff --git a/haskell/soas/src/Language/SOAS/Syntax/Print.hs b/haskell/soas/src/Language/SOAS/Syntax/Print.hs
index 75e55c3e..c130d6c0 100644
--- a/haskell/soas/src/Language/SOAS/Syntax/Print.hs
+++ b/haskell/soas/src/Language/SOAS/Syntax/Print.hs
@@ -226,7 +226,7 @@ instance Print (Language.SOAS.Syntax.Abs.TypeVarIdent' a) where
 instance Print (Language.SOAS.Syntax.Abs.Type' a) where
   prt i = \case
     Language.SOAS.Syntax.Abs.TypeFun _ type_1 type_2 -> prPrec i 0 (concatD [prt 1 type_1, doc (showString "\8594"), prt 1 type_2])
-    Language.SOAS.Syntax.Abs.TypeProduce _ type_1 type_2 -> prPrec i 1 (concatD [prt 1 type_1, doc (showString "\215"), prt 2 type_2])
+    Language.SOAS.Syntax.Abs.TypeProduct _ type_1 type_2 -> prPrec i 1 (concatD [prt 1 type_1, doc (showString "\215"), prt 2 type_2])
     Language.SOAS.Syntax.Abs.TypeVar _ typevarident -> prPrec i 2 (concatD [prt 0 typevarident])
 
 instance Print [Language.SOAS.Syntax.Abs.Type' a] where