Commit b1b2433e authored by Simon Peyton Jones's avatar Simon Peyton Jones

Accept error message changes

When printing TH code we see the (nicely numbered)
uniques on fresh names. A consequence of the fix
to #5379
parent 39828a2d
type family T :: (* -> * -> * -> *) -> (* -> *) -> *
type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
type family T_0 :: (* -> * -> * -> *) -> (* -> *) -> *
type family Main.S :: (* -> * -> * -> *) -> (* -> *) -> *
f :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
f (Data.Maybe.Nothing) = 3
f (Data.Maybe.Just x_0) = x
f_0 :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
f_0 (Data.Maybe.Nothing) = 3
f_0 (Data.Maybe.Just x_1) = x
Main.f Main.u1 Main.u2
Main.u1 `Main.f` Main.u2
(Main..+.) Main.u1 Main.u2
Main.u1 Main..+. Main.u2
(GHC.Types.:) Main.u1 Main.u2
Main.u1 GHC.Types.: Main.u2
\((GHC.Types.:) x_0 xs_1) -> x_0
\(x_0 GHC.Types.: 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)
Main.f Main.u1 Main.u2
Main.u1 `Main.f` Main.u2
(Main..+.) Main.u1 Main.u2
Main.u1 Main..+. Main.u2
(GHC.Types.:) Main.u1 Main.u2
Main.u1 GHC.Types.: Main.u2
\((GHC.Types.:) x_0 xs_1) -> x_0
\(x_0 GHC.Types.: xs_1) -> x_0
class Foo_0 a_1 b_2
where foo_3 :: a_1 -> b_2
\x_0 -> (x_0, 1 `x_0` 2)
\(+_0) -> ((+_0), 1 +_0 2)
(Main.f, 1 `Main.f` 2)
((Main..+.), 1 Main..+. 2)
foo :: GHC.Types.Int -> GHC.Types.Int
foo x_0 | x_0 GHC.Classes.== 5 = 6
foo x_1 = 7
bar :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
bar x_0 | Data.Maybe.Just y_1 <- x_0
= y_1
bar _ = 9
foo_0 :: GHC.Types.Int -> GHC.Types.Int
foo_0 x_1 | x_1 GHC.Classes.== 5 = 6
foo_0 x_2 = 7
bar_0 :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
bar_0 x_1 | Data.Maybe.Just y_2 <- x_1
= y_2
bar_0 _ = 9
ViewP (VarE GHC.Base.id) (VarP x)
(GHC.Base.id -> x)
ViewP (VarE GHC.Base.id) (VarP x_0)
(GHC.Base.id -> x_0)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment