Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / simplCore / should_compile / T9400.stderr
1
2 ==================== Tidy Core ====================
3 Result size of Tidy Core = {terms: 33, types: 19, coercions: 0}
4
5 -- RHS size: {terms: 2, types: 0, coercions: 0}
6 a :: TrName
7 [GblId, Caf=NoCafRefs, Str=DmdType]
8 a = TrNameS "main"#
9
10 -- RHS size: {terms: 2, types: 0, coercions: 0}
11 a1 :: TrName
12 [GblId, Caf=NoCafRefs, Str=DmdType]
13 a1 = TrNameS "T9400"#
14
15 -- RHS size: {terms: 3, types: 0, coercions: 0}
16 T9400.$trModule :: Module
17 [GblId[ReflectionId], Caf=NoCafRefs, Str=DmdType]
18 T9400.$trModule = Module a a1
19
20 -- RHS size: {terms: 22, types: 14, coercions: 0}
21 main :: IO ()
22 [GblId, Str=DmdType]
23 main =
24   >>
25     @ IO
26     GHC.Base.$fMonadIO
27     @ ()
28     @ ()
29     (putStrLn (unpackCString# "c"#))
30     (>>
31        @ IO
32        GHC.Base.$fMonadIO
33        @ ()
34        @ ()
35        (putStrLn (unpackCString# "x"#))
36        (>>
37           @ IO
38           GHC.Base.$fMonadIO
39           @ ()
40           @ ()
41           (putStrLn (unpackCString# "z"#))
42           (>>
43              @ IO
44              GHC.Base.$fMonadIO
45              @ ()
46              @ ()
47              (putStrLn (unpackCString# "efg"#))
48              (patError @ (IO ()) "T9400.hs:(17,5)-(18,29)|case"#))))
49
50
51