Skip to content
Snippets Groups Projects
Commit 6b7c794f authored by Ian Lynagh's avatar Ian Lynagh
Browse files

More ppr tests

The name +_0 is a bit dubious.
parent f8e0d7dd
No related branches found
No related tags found
No related merge requests found
......@@ -26,6 +26,10 @@ main = do runQ [| f u1 u2 |] >>= p
runQ [| \(x : xs) -> x |] >>= p
runQ [d| class Foo a b where
foo :: a -> b |] >>= p
runQ [| \x -> (x, 1 `x` 2) |] >>= p
runQ [| \(+) -> ((+), 1 + 2) |] >>= p
runQ [| (f, 1 `f` 2) |] >>= p
runQ [| ((.+.), 1 .+. 2) |] >>= p
p :: Ppr a => a -> IO ()
p = putStrLn . pprint
......
......@@ -8,3 +8,7 @@ Main.u1 GHC.Base.: Main.u2
\(x_0 GHC.Base.: xs_1) -> x_0
class Foo a_0 b_1
where foo :: a_0 -> b_1
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment