From 922aec6b4b32a7707bda04b251fb58fc390551fa Mon Sep 17 00:00:00 2001
From: Montmorency <lamberh@tcd.ie>
Date: Mon, 26 Sep 2022 11:26:56 +0100
Subject: [PATCH] Added ParPat and working on ConPat so that generic lambda
 pattern matching works in HSX.

---
 ihp-hsx/IHP/HSX/HsExpToTH.hs | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/ihp-hsx/IHP/HSX/HsExpToTH.hs b/ihp-hsx/IHP/HSX/HsExpToTH.hs
index 883cf0a44..1221bd4b0 100644
--- a/ihp-hsx/IHP/HSX/HsExpToTH.hs
+++ b/ihp-hsx/IHP/HSX/HsExpToTH.hs
@@ -14,6 +14,7 @@ import GHC.Hs.Expr as Expr
 import GHC.Hs.Extension as Ext
 import GHC.Hs.Pat as Pat
 import GHC.Hs.Lit
+import qualified GHC.Hs.Utils as Utils
 import qualified Data.ByteString as B
 import qualified Language.Haskell.TH.Syntax as TH
 import GHC.Types.SrcLoc
@@ -28,6 +29,7 @@ import GHC.Stack
 import qualified Data.List.NonEmpty as NonEmpty
 import Language.Haskell.Syntax.Type
 
+
 fl_value = rationalFromFractionalLit
 
 toLit :: HsLit GhcPs -> TH.Lit
@@ -72,6 +74,12 @@ toFieldExp = undefined
 toPat :: Pat.Pat GhcPs -> TH.Pat
 toPat (Pat.VarPat _ (unLoc -> name)) = TH.VarP (toName name)
 toPat (TuplePat _ p _) = TH.TupP (map (toPat . unLoc) p)
+toPat (ParPat xP lP) = (toPat . unLoc) lP --error "TH.ParPat not implemented"
+toPat (ConPat pat_con pat_args pat_con_ext) = TH.ConP (toName pat_con) () --error "TH.ConstructorPattern not implemented"
+toPat (ViewPat pat_con pat_args pat_con_ext) = error "TH.ViewPattern not implemented"
+toPat (SumPat _ _ _ _) = error "TH.SumPat not implemented"
+toPat (WildPat _ ) = error "TH.WildPat not implemented"
+toPat (NPat _ _ _ _ ) = error "TH.NPat not implemented"
 toPat p = todo "toPat" p
 
 toExp :: Expr.HsExpr GhcPs -> TH.Exp
@@ -198,4 +206,4 @@ noTH :: (HasCallStack, Show e) => String -> e -> a
 noTH fun thing = error . concat $ [moduleName, ".", fun, ": no TemplateHaskell for: ", show thing]
 
 moduleName :: String
-moduleName = "IHP.HSX.HsExpToTH"
\ No newline at end of file
+moduleName = "IHP.HSX.HsExpToTH"