diff options
Diffstat (limited to 'testsuite/tests/th/T8761.stderr')
-rw-r--r-- | testsuite/tests/th/T8761.stderr | 158 |
1 files changed, 158 insertions, 0 deletions
diff --git a/testsuite/tests/th/T8761.stderr b/testsuite/tests/th/T8761.stderr new file mode 100644 index 0000000000..4b3a90c2a2 --- /dev/null +++ b/testsuite/tests/th/T8761.stderr @@ -0,0 +1,158 @@ +pattern Q1 x1_0 x2_1 x3_2 <- ((x1_0, x2_1), [x3_2], _, _) +pattern x1_0 Q2 x2_1 = ((x1_0, x2_1)) +pattern Q3 {qx3, qy3, qz3} <- ((qx3, qy3), [qz3]) where + Q3 qx3 qy3 qz3 = ((qx3, qy3), [qz3]) +T8761.hs:(15,1)-(38,13): Splicing declarations + do { [qx1, qy1, qz1] <- mapM + (\ i -> newName $ "x" ++ show i) [1, 2, 3]; + let nm1 = mkName "Q1" + prefixPat + = patSynD + nm1 + (prefixPatSyn [qx1, qy1, qz1]) + unidir + (tupP [tupP [varP qx1, varP qy1], listP [varP qz1], wildP, wildP]); + [qx2, qy2] <- mapM (\ i -> newName $ "x" ++ show i) [1, 2]; + let nm2 = mkName "Q2" + infixPat + = patSynD + nm2 + (infixPatSyn qx2 qy2) + implBidir + (tupP [tupP [varP qx2, varP qy2]]); + let nm3 = mkName "Q3" + [qx3, qy3, qz3] = map mkName ["qx3", "qy3", "qz3"] + patP = tupP [tupP [varP qx3, varP qy3], listP [varP qz3]] + patE = tupE [tupE [varE qx3, varE qy3], listE [varE qz3]] + cls = clause [varP qx3, varP qy3, varP qz3] (normalB patE) [] + recordPat + = patSynD + nm3 (recordPatSyn [qx3, qy3, qz3]) (explBidir [cls]) patP; + pats <- sequence [prefixPat, infixPat, recordPat]; + mapM_ (runIO . putStrLn . pprint) pats; + return pats } + ======> + pattern Q1 x1 x2 x3 <- ((x1, x2), [x3], _, _) + pattern x1 `Q2` x2 = ((x1, x2)) + pattern Q3{qx3, qy3, qz3} <- ((qx3, qy3), [qz3]) where + Q3 qx3 qy3 qz3 = ((qx3, qy3), [qz3]) +T8761.hs:(41,1)-(45,29): Splicing declarations + [d| pattern P1 x y z <- ((x, y), [z], _, _) + pattern P2 x y z = ((x, y), [z]) + pattern P3 x y z <- ((x, y), [z]) where + P3 x y z = ((x, y), [z]) |] + ======> + pattern P1 x y z <- ((x, y), [z], _, _) + pattern P2 x y z = ((x, y), [z]) + pattern P3 x y z <- ((x, y), [z]) where + P3 x y z = ((x, y), [z]) +T8761.hs:(48,1)-(52,21): Splicing declarations + [d| pattern x :*: y <- ((x, _), [y]) + pattern x :+: y = (x, y) + pattern x :~: y <- (x, y) where + (:~:) x y = (x, y) |] + ======> + pattern x :*: y <- ((x, _), [y]) + pattern x :+: y = (x, y) + pattern x :~: y <- (x, y) where + (:~:) x y = (x, y) +T8761.hs:(55,1)-(61,23): Splicing declarations + [d| pattern R1{x1, y1} <- ((x1, _), [y1]) + getX1 = x1 ((1, 2), [3]) + getY1 = y1 ((1, 2), [3]) + pattern R2{x2, y2} = (x2, [y2]) + pattern R3{x3, y3} <- (x3, [y3]) where + R3 x y = (x, [y]) |] + ======> + pattern R1{x1, y1} <- ((x1, _), [y1]) + getX1 = x1 ((1, 2), [3]) + getY1 = y1 ((1, 2), [3]) + pattern R2{x2, y2} = (x2, [y2]) + pattern R3{x3, y3} <- (x3, [y3]) where + R3 x y = (x, [y]) +T8761.hs:(70,1)-(104,39): Splicing declarations + [d| pattern P :: Bool + pattern P <- True + pattern Pe :: forall a. a -> Ex + pattern Pe x <- MkEx x + pattern Pu :: forall a. a -> a + pattern Pu x <- x + pattern Pue :: forall a. forall b. a -> b -> (a, Ex) + pattern Pue x y <- (x, MkEx y) + pattern Pur :: forall a. (Num a, Eq a) => a -> [a] + pattern Pur x <- [x, 1] + pattern Purp :: forall a b. + (Num a, Eq a) => Show b => a -> b -> ([a], UnivProv b) + pattern Purp x y <- ([x, 1], MkUnivProv y) + pattern Pure :: forall a. + (Num a, Eq a) => forall b. a -> b -> ([a], Ex) + pattern Pure x y <- ([x, 1], MkEx y) + pattern Purep :: forall a. + (Num a, Eq a) => forall b. Show b => a -> b -> ([a], ExProv) + pattern Purep x y <- ([x, 1], MkExProv y) + pattern Pep :: forall a. Show a => a -> ExProv + pattern Pep x <- MkExProv x + pattern Pup :: forall a. Show a => a -> UnivProv a + pattern Pup x <- MkUnivProv x + pattern Puep :: forall a. + forall b. (Show b) => a -> b -> (ExProv, a) + pattern Puep x y <- (MkExProv y, x) |] + ======> + pattern P :: Bool + pattern P <- True + pattern Pe :: forall a. a -> Ex + pattern Pe x <- MkEx x + pattern Pu :: forall a. a -> a + pattern Pu x <- x + pattern Pue :: forall a. forall b. a -> b -> (a, Ex) + pattern Pue x y <- (x, MkEx y) + pattern Pur :: forall a. (Num a, Eq a) => a -> [a] + pattern Pur x <- [x, 1] + pattern Purp :: forall a b. + (Num a, Eq a) => Show b => a -> b -> ([a], UnivProv b) + pattern Purp x y <- ([x, 1], MkUnivProv y) + pattern Pure :: forall a. + (Num a, Eq a) => forall b. a -> b -> ([a], Ex) + pattern Pure x y <- ([x, 1], MkEx y) + pattern Purep :: forall a. + (Num a, Eq a) => forall b. Show b => a -> b -> ([a], ExProv) + pattern Purep x y <- ([x, 1], MkExProv y) + pattern Pep :: forall a. Show a => a -> ExProv + pattern Pep x <- MkExProv x + pattern Pup :: forall a. Show a => a -> UnivProv a + pattern Pup x <- MkUnivProv x + pattern Puep :: forall a. forall b. Show b => a -> b -> (ExProv, a) + pattern Puep x y <- (MkExProv y, x) +pattern T8761.P :: GHC.Types.Bool +pattern T8761.Pe :: () => forall (a0_0 :: *) . a0_0 -> T8761.Ex +pattern T8761.Pu :: forall (a0_0 :: *) . a0_0 -> a0_0 +pattern T8761.Pue :: forall (a0_0 :: *) . () => forall (b0_1 :: *) . + a0_0 -> b0_1 -> (a0_0, T8761.Ex) +pattern T8761.Pur :: forall (a0_0 :: *) . (GHC.Num.Num a0_0, + GHC.Classes.Eq a0_0) => + a0_0 -> [a0_0] +pattern T8761.Purp :: forall (a0_0 :: *) (b0_1 :: *) . (GHC.Num.Num a0_0, + GHC.Classes.Eq a0_0) => + GHC.Show.Show b0_1 => a0_0 -> b0_1 -> ([a0_0], T8761.UnivProv b0_1) +pattern T8761.Pure :: forall (a0_0 :: *) . (GHC.Num.Num a0_0, + GHC.Classes.Eq a0_0) => + forall (b0_1 :: *) . a0_0 -> b0_1 -> ([a0_0], T8761.Ex) +pattern T8761.Purep :: forall (a0_0 :: *) . (GHC.Num.Num a0_0, + GHC.Classes.Eq a0_0) => + forall (b0_1 :: *) . GHC.Show.Show b0_1 => + a0_0 -> b0_1 -> ([a0_0], T8761.ExProv) +pattern T8761.Pep :: () => forall (a0_0 :: *) . GHC.Show.Show a0_0 => + a0_0 -> T8761.ExProv +pattern T8761.Pup :: forall (a0_0 :: *) . () => GHC.Show.Show a0_0 => + a0_0 -> T8761.UnivProv a0_0 +pattern T8761.Puep :: forall (a0_0 :: *) . () => forall (b0_1 :: *) . GHC.Show.Show b0_1 => + a0_0 -> b0_1 -> (T8761.ExProv, a0_0) +T8761.hs:(107,1)-(111,25): Splicing declarations + do { infos <- mapM + reify + ['P, 'Pe, 'Pu, 'Pue, 'Pur, 'Purp, 'Pure, 'Purep, 'Pep, 'Pup, + 'Puep]; + mapM_ (runIO . putStrLn . pprint) infos; + [d| theAnswerIs = 42 |] } + ======> + theAnswerIs = 42 |