Commit 60f1369e authored by Simon Marlow's avatar Simon Marlow

accept output

parent ae241b61
TH_reifyDecl1.hs:33:9:
data main:TH_reifyDecl1.T = main:TH_reifyDecl1.A
| main:TH_reifyDecl1.B
data TH_reifyDecl1.T = TH_reifyDecl1.A | TH_reifyDecl1.B
TH_reifyDecl1.hs:33:9:
data main:TH_reifyDecl1.R a_0 = main:TH_reifyDecl1.C a_0
| main:TH_reifyDecl1.D
data TH_reifyDecl1.R a_0 = TH_reifyDecl1.C a_0 | TH_reifyDecl1.D
TH_reifyDecl1.hs:33:9:
data main:TH_reifyDecl1.List a_0 = main:TH_reifyDecl1.Nil
| main:TH_reifyDecl1.Cons a_0 (main:TH_reifyDecl1.List a_0)
data TH_reifyDecl1.List a_0 = TH_reifyDecl1.Nil
| TH_reifyDecl1.Cons a_0 (TH_reifyDecl1.List a_0)
TH_reifyDecl1.hs:33:9:
data main:TH_reifyDecl1.Tree a_0 = main:TH_reifyDecl1.Leaf
| (main:TH_reifyDecl1.Tree a_0) main:TH_reifyDecl1.:+: (main:TH_reifyDecl1.Tree a_0)
data TH_reifyDecl1.Tree a_0 = TH_reifyDecl1.Leaf
| (TH_reifyDecl1.Tree a_0) TH_reifyDecl1.:+: (TH_reifyDecl1.Tree a_0)
TH_reifyDecl1.hs:33:9:
type main:TH_reifyDecl1.IntList = base:GHC.Base.[] base:GHC.Base.Int
type TH_reifyDecl1.IntList = GHC.Base.[] GHC.Base.Int
TH_reifyDecl1.hs:33:9:
newtype main:TH_reifyDecl1.Length = main:TH_reifyDecl1.Length base:GHC.Base.Int
newtype TH_reifyDecl1.Length = TH_reifyDecl1.Length GHC.Base.Int
TH_reifyDecl1.hs:33:9:
Constructor from main:TH_reifyDecl1.Tree: main:TH_reifyDecl1.Leaf :: forall a_0 . main:TH_reifyDecl1.Tree a_0
Constructor from TH_reifyDecl1.Tree: TH_reifyDecl1.Leaf :: forall a_0 . TH_reifyDecl1.Tree a_0
TH_reifyDecl1.hs:33:9:
Class op from main:TH_reifyDecl1.C: main:TH_reifyDecl1.m :: forall a_0 . main:TH_reifyDecl1.C a_0 => a_0 ->
base:GHC.Base.Int
infixl 3 main:TH_reifyDecl1.m
Class op from TH_reifyDecl1.C: TH_reifyDecl1.m :: forall a_0 . TH_reifyDecl1.C a_0 => a_0 ->
GHC.Base.Int
infixl 3 TH_reifyDecl1.m
Loading package base ... linking ... done.
Loading package template-haskell ... linking ... done.
foo :: base:GHC.Base.Int -> base:GHC.Base.Int
foo x_0 | x_0 base:GHC.Base.== 5 = 6
foo :: GHC.Base.Int -> GHC.Base.Int
foo x_0 | x_0 GHC.Base.== 5 = 6
foo x_1 = 7
bar :: base:Data.Maybe.Maybe base:GHC.Base.Int -> base:GHC.Base.Int
bar x_0 | base:Data.Maybe.Just y_1 <- x_0
bar :: Data.Maybe.Maybe GHC.Base.Int -> GHC.Base.Int
bar x_0 | Data.Maybe.Just y_1 <- x_0
= y_1
bar _ = 9
Loading package base ... linking ... done.
......
Loading package base ... linking ... done.
Loading package template-haskell ... linking ... done.
TH_repPatSig.hs:10:2:
Type signatures in patterns not (yet) handled by Template Haskell
x :: Int
AppE (ConE base:GHC.Base.I#) (LitE (IntPrimL 20))
base:GHC.Base.I# 20#
AppE (ConE base:GHC.Float.F#) (LitE (FloatPrimL (123%10)))
base:GHC.Float.F# 12.3#
AppE (ConE base:GHC.Float.D#) (LitE (DoublePrimL (123%5)))
base:GHC.Float.D# 24.6##
AppE (ConE GHC.Base.I#) (LitE (IntPrimL 20))
GHC.Base.I# 20#
AppE (ConE GHC.Float.F#) (LitE (FloatPrimL (123%10)))
GHC.Float.F# 12.3#
AppE (ConE GHC.Float.D#) (LitE (DoublePrimL (123%5)))
GHC.Float.D# 24.6##
Loading package base ... linking ... done.
Loading package template-haskell ... linking ... done.
......@@ -16,7 +16,7 @@ test('TH_repPrim', normal, compile, [''])
test('TH_repPrimOutput', normal, compile_and_run, [''])
test('TH_repGuard', normal, compile, [''])
test('TH_repGuardOutput', normal, compile_and_run, [''])
test('TH_repPatSig', normal, compile, [''])
test('TH_repPatSig', normal, compile_fail, [''])
test('TH_spliceE5', normal, multimod_compile_and_run, ['TH_spliceE5', '-v0'])
clean(['TH_spliceE5_Lib.hi', 'TH_spliceE5_Lib.o'])
......
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