API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 19th, 2015
196
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 49.49 KB | None | 0 0
raw download clone embed print report
  1. SimplBind $s$crget_s2hj
  2. Considering inlining: getConst
  3. arg infos [NonTrivArg]
  4. interesting continuation BoringCtxt
  5. some_benefit True
  6. is exp: True
  7. is work-free: True
  8. guidance ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
  9. ANSWER = YES
  10. Inlining done: Control.Applicative.getConst
  11. Inlined fn: Control.Applicative.$fGeneric1Const1
  12. `cast` (forall a6 b.
  13. <Control.Applicative.Const a6 b>_R
  14. -> Control.Applicative.NTCo:Const[0] <a6>_R <b>_P
  15. :: (forall a6 b.
  16. Control.Applicative.Const a6 b -> Control.Applicative.Const a6 b)
  17. ~R# (forall a6 b. Control.Applicative.Const a6 b -> a6))
  18. Cont: ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  19. ApplyToTy (Bug.Rec
  20. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  21. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  22. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  23. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  24. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  25. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  26. ApplyToVal nodup ($crlens
  27. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  28. @ '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  29. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  30. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  31. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  32. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  33. a_s2fw
  34. @ sing
  35. @ (Control.Applicative.Const
  36. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  37. (Control.Applicative.$fFunctorConst
  38. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  39. k
  40. (lvl_s2hP
  41. `cast` (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  42. -> Sym
  43. (Control.Applicative.NTCo:Const[0]
  44. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  45. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P)
  46. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  47. -> "event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  48. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  49. -> Control.Applicative.Const
  50. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  51. ("event_type"
  52. Bug.:-> Bug.Expr GHC.Types.Int))))
  53. eta_B1)
  54. Stop[BoringCtxt] "event_type" Bug.:-> Bug.Expr GHC.Types.Int
  55. Considering inlining: $fGeneric1Const1
  56. arg infos [NonTrivArg]
  57. interesting continuation BoringCtxt
  58. some_benefit True
  59. is exp: True
  60. is work-free: True
  61. guidance ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)
  62. ANSWER = YES
  63. Inlining done: Control.Applicative.$fGeneric1Const1
  64. Inlined fn: \ (@ a6)
  65. (@ a7)
  66. (ds [Occ=Once] :: Control.Applicative.Const a6 a7) ->
  67. ds
  68. Cont: ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  69. ApplyToTy (Bug.Rec
  70. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  71. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  72. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  73. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  74. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  75. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  76. ApplyToVal nodup (($crlens
  77. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  78. @ '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  79. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  80. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  81. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  82. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  83. a_s2fw
  84. @ sing
  85. @ (Control.Applicative.Const
  86. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  87. (Control.Applicative.$fFunctorConst
  88. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  89. k
  90. (lvl_s2hP
  91. `cast` (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  92. -> Sym
  93. (Control.Applicative.NTCo:Const[0]
  94. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  95. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P)
  96. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  97. -> "event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  98. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  99. -> Control.Applicative.Const
  100. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  101. ("event_type"
  102. Bug.:-> Bug.Expr GHC.Types.Int))))
  103. eta_B1)
  104. `cast` (Sym
  105. (Nth:0
  106. (((forall a6 b.
  107. <Control.Applicative.Const a6 b>_R
  108. -> Control.Applicative.NTCo:Const[0]
  109. <a6>_R <b>_P)@"event_type"
  110. Bug.:-> Bug.Expr
  111. GHC.Types.Int)@Bug.Rec
  112. '["event_type"
  113. Bug.:-> Bug.Expr
  114. GHC.Types.Int,
  115. "target_type"
  116. Bug.:-> Bug.Expr
  117. GHC.Types.Int,
  118. "field1"
  119. Bug.:-> Bug.Expr
  120. GHC.Types.Int,
  121. "field2"
  122. Bug.:-> Bug.Expr
  123. GHC.Types.Int,
  124. "id"
  125. Bug.:-> Bug.Expr
  126. GHC.Types.Int,
  127. "event_type"
  128. Bug.:-> Bug.Expr
  129. GHC.Types.Int]))
  130. :: Control.Applicative.Const
  131. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  132. (Bug.Rec
  133. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  134. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  135. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  136. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  137. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  138. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  139. ~R# Control.Applicative.Const
  140. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  141. (Bug.Rec
  142. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  143. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  144. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  145. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  146. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  147. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])))
  148. CastIt Nth:1
  149. (((forall a6 b.
  150. <Control.Applicative.Const a6 b>_R
  151. -> Control.Applicative.NTCo:Const[0] <a6>_R <b>_P)@"event_type"
  152. Bug.:-> Bug.Expr
  153. GHC.Types.Int)@Bug.Rec
  154. '["event_type"
  155. Bug.:-> Bug.Expr
  156. GHC.Types.Int,
  157. "target_type"
  158. Bug.:-> Bug.Expr
  159. GHC.Types.Int,
  160. "field1"
  161. Bug.:-> Bug.Expr
  162. GHC.Types.Int,
  163. "field2"
  164. Bug.:-> Bug.Expr
  165. GHC.Types.Int,
  166. "id"
  167. Bug.:-> Bug.Expr
  168. GHC.Types.Int,
  169. "event_type"
  170. Bug.:-> Bug.Expr
  171. GHC.Types.Int])
  172. Stop[BoringCtxt] "event_type" Bug.:-> Bug.Expr GHC.Types.Int
  173. Considering inlining: $crlens_a23u
  174. arg infos [ValueArg, ValueArg, TrivArg, ValueArg, TrivArg]
  175. interesting continuation BoringCtxt
  176. some_benefit True
  177. is exp: True
  178. is work-free: True
  179. guidance ALWAYS_IF(arity=4,unsat_ok=False,boring_ok=False)
  180. ANSWER = YES
  181. Inlining done: $crlens
  182. Inlined fn: \ (@ r)
  183. (@ (rs :: [*]))
  184. _ [Occ=Dead]
  185. (@ (sing :: * -> *))
  186. (@ (g :: * -> *))
  187. ($dFunctor_a23y [Occ=Once] :: GHC.Base.Functor g)
  188. _ [Occ=Dead]
  189. (f [Occ=Once!] :: r -> g r)
  190. (ds_d2dE [Occ=Once!] :: Bug.Rec (r : rs)) ->
  191. case ds_d2dE
  192. of _ [Occ=Dead]
  193. { Bug.:& @ r @ rs dt_d2e7 x [Occ=Once] xs [Occ=OnceL] ->
  194. GHC.Base.fmap
  195. @ g
  196. $dFunctor_a23y
  197. @ r
  198. @ (Bug.Rec (r : rs))
  199. (\ (ds_d2dA [Occ=Once] :: r) ->
  200. case ds_d2dA of dt_X1Qr { __DEFAULT ->
  201. Bug.:&
  202. @ (r : rs)
  203. @ r
  204. @ rs
  205. @~ <r : rs>_N
  206. dt_X1Qr
  207. (xs
  208. `cast` ((Bug.Rec (Nth:2 (Sym dt_d2e7)))_R
  209. :: Bug.Rec rs ~R# Bug.Rec rs))
  210. })
  211. (f (x `cast` (Sub (Nth:1 (Sym dt_d2e7)) :: r ~R# r)))
  212. }
  213. Cont: ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  214. ApplyToTy '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  215. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  216. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  217. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  218. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  219. ApplyToVal nodup a_s2fw
  220. ApplyToTy sing
  221. ApplyToTy (Control.Applicative.Const
  222. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  223. ApplyToVal nodup (Control.Applicative.$fFunctorConst
  224. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))
  225. ApplyToVal nodup k
  226. ApplyToVal nodup (lvl_s2hP
  227. `cast` (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  228. -> Sym
  229. (Control.Applicative.NTCo:Const[0]
  230. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  231. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P)
  232. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  233. -> "event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  234. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  235. -> Control.Applicative.Const
  236. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  237. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int))))
  238. ApplyToVal nodup eta_B1
  239. CastIt Nth:1
  240. (((forall a6 b.
  241. <Control.Applicative.Const a6 b>_R
  242. -> Control.Applicative.NTCo:Const[0] <a6>_R <b>_P)@"event_type"
  243. Bug.:-> Bug.Expr
  244. GHC.Types.Int)@Bug.Rec
  245. '["event_type"
  246. Bug.:-> Bug.Expr
  247. GHC.Types.Int,
  248. "target_type"
  249. Bug.:-> Bug.Expr
  250. GHC.Types.Int,
  251. "field1"
  252. Bug.:-> Bug.Expr
  253. GHC.Types.Int,
  254. "field2"
  255. Bug.:-> Bug.Expr
  256. GHC.Types.Int,
  257. "id"
  258. Bug.:-> Bug.Expr
  259. GHC.Types.Int,
  260. "event_type"
  261. Bug.:-> Bug.Expr
  262. GHC.Types.Int])
  263. Stop[BoringCtxt] "event_type" Bug.:-> Bug.Expr GHC.Types.Int
  264. Considering inlining: nt_s2kk
  265. arg infos []
  266. interesting continuation BoringCtxt
  267. some_benefit False
  268. is exp: True
  269. is work-free: True
  270. guidance IF_ARGS [] 10 30
  271. discounted size = 0
  272. ANSWER = NO
  273. Considering inlining: lvl_s2hP
  274. arg infos [ValueArg]
  275. interesting continuation RuleArgCtxt
  276. some_benefit True
  277. is exp: True
  278. is work-free: True
  279. guidance ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)
  280. ANSWER = YES
  281. Inlining done: lvl_s2hP
  282. Inlined fn: \ (tpl_X1v [Occ=Once]
  283. :: "event_type" Bug.:-> Bug.Expr GHC.Types.Int) ->
  284. tpl_X1v
  285. Cont: ApplyToVal nodup (x
  286. `cast` (Sub (Nth:1 (Sym dt_d2e7))
  287. ; Sym
  288. (Nth:0
  289. (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  290. -> Sym
  291. (Control.Applicative.NTCo:Const[0]
  292. <"event_type"
  293. Bug.:-> Bug.Expr GHC.Types.Int>_R
  294. <"event_type"
  295. Bug.:-> Bug.Expr GHC.Types.Int>_P)))
  296. :: r ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)))
  297. CastIt Nth:1
  298. (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  299. -> Sym
  300. (Control.Applicative.NTCo:Const[0]
  301. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  302. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P))
  303. Stop[RuleArgCtxt] Control.Applicative.Const
  304. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  305. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  306. Considering inlining: $fFunctorConst_$cfmap
  307. arg infos [ValueArg, ValueArg]
  308. interesting continuation BoringCtxt
  309. some_benefit True
  310. is exp: True
  311. is work-free: True
  312. guidance ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)
  313. ANSWER = YES
  314. Inlining done: Control.Applicative.$fFunctorConst_$cfmap
  315. Inlined fn: Control.Applicative.$fFunctorConst2
  316. `cast` (forall m a6 b.
  317. <a6 -> b>_R
  318. -> <Control.Applicative.Const m a6>_R
  319. -> Control.Applicative.NTCo:Const[0] <m>_R <a6>_P
  320. ; Sym (Control.Applicative.NTCo:Const[0] <m>_R <b>_P)
  321. :: (forall m a6 b.
  322. (a6 -> b)
  323. -> Control.Applicative.Const m a6
  324. -> Control.Applicative.Const m a6)
  325. ~R# (forall m a6 b.
  326. (a6 -> b)
  327. -> Control.Applicative.Const m a6
  328. -> Control.Applicative.Const m b))
  329. Cont: ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  330. ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  331. ApplyToTy (Bug.Rec
  332. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  333. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  334. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  335. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  336. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  337. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  338. ApplyToVal simpl (\ (ds_d2dA
  339. :: "event_type" Bug.:-> Bug.Expr GHC.Types.Int) ->
  340. case ds_d2dA
  341. `cast` (Bug.NTCo::->[0]
  342. <GHC.TypeLits.Symbol>_N
  343. <"event_type">_P
  344. <Bug.Expr GHC.Types.Int>_R
  345. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  346. ~R# Bug.Expr GHC.Types.Int)
  347. of nt_s2kk { Bug.Expr ipv ipv ->
  348. Bug.:&
  349. @ '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  350. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  351. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  352. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  353. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  354. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  355. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  356. @ '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  357. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  358. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  359. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  360. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  361. @~ <'["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  362. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  363. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  364. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  365. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  366. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]>_N
  367. (nt_s2kk
  368. `cast` (Sym
  369. (Bug.NTCo::->[0]
  370. <GHC.TypeLits.Symbol>_N
  371. <"event_type">_P
  372. <Bug.Expr GHC.Types.Int>_R)
  373. :: Bug.Expr GHC.Types.Int
  374. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)))
  375. (xs
  376. `cast` ((Bug.Rec (Nth:2 (Sym dt_d2e7)))_R
  377. :: Bug.Rec rs
  378. ~R# Bug.Rec
  379. '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  380. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  381. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  382. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  383. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]))
  384. })
  385. ApplyToVal simpl (x
  386. `cast` (Sub (Nth:1 (Sym dt_d2e7))
  387. ; Nth:1
  388. (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  389. -> Sym
  390. (Control.Applicative.NTCo:Const[0]
  391. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  392. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P))
  393. :: r
  394. ~R# Control.Applicative.Const
  395. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  396. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)))
  397. CastIt Nth:1
  398. (((forall a6 b.
  399. <Control.Applicative.Const a6 b>_R
  400. -> Control.Applicative.NTCo:Const[0] <a6>_R <b>_P)@"event_type"
  401. Bug.:-> Bug.Expr
  402. GHC.Types.Int)@Bug.Rec
  403. '["event_type"
  404. Bug.:-> Bug.Expr
  405. GHC.Types.Int,
  406. "target_type"
  407. Bug.:-> Bug.Expr
  408. GHC.Types.Int,
  409. "field1"
  410. Bug.:-> Bug.Expr
  411. GHC.Types.Int,
  412. "field2"
  413. Bug.:-> Bug.Expr
  414. GHC.Types.Int,
  415. "id"
  416. Bug.:-> Bug.Expr
  417. GHC.Types.Int,
  418. "event_type"
  419. Bug.:-> Bug.Expr
  420. GHC.Types.Int])
  421. Stop[BoringCtxt] "event_type" Bug.:-> Bug.Expr GHC.Types.Int
  422. Considering inlining: $fFunctorConst2
  423. arg infos [ValueArg, ValueArg]
  424. interesting continuation BoringCtxt
  425. some_benefit True
  426. is exp: True
  427. is work-free: True
  428. guidance ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)
  429. ANSWER = YES
  430. Inlining done: Control.Applicative.$fFunctorConst2
  431. Inlined fn: \ (@ m)
  432. (@ a6)
  433. (@ b)
  434. _ [Occ=Dead]
  435. (ds1 [Occ=Once] :: Control.Applicative.Const m a6) ->
  436. ds1
  437. Cont: ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  438. ApplyToTy ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  439. ApplyToTy (Bug.Rec
  440. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  441. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  442. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  443. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  444. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  445. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  446. ApplyToVal simpl ((\ (ds_d2dA
  447. :: "event_type" Bug.:-> Bug.Expr GHC.Types.Int) ->
  448. case ds_d2dA
  449. `cast` (Bug.NTCo::->[0]
  450. <GHC.TypeLits.Symbol>_N
  451. <"event_type">_P
  452. <Bug.Expr GHC.Types.Int>_R
  453. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  454. ~R# Bug.Expr GHC.Types.Int)
  455. of nt_s2kk { Bug.Expr ipv ipv ->
  456. Bug.:&
  457. @ '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  458. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  459. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  460. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  461. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  462. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  463. @ ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  464. @ '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  465. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  466. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  467. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  468. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]
  469. @~ <'["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  470. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  471. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  472. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  473. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  474. "event_type" Bug.:-> Bug.Expr GHC.Types.Int]>_N
  475. (nt_s2kk
  476. `cast` (Sym
  477. (Bug.NTCo::->[0]
  478. <GHC.TypeLits.Symbol>_N
  479. <"event_type">_P
  480. <Bug.Expr GHC.Types.Int>_R)
  481. :: Bug.Expr GHC.Types.Int
  482. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)))
  483. (xs
  484. `cast` ((Bug.Rec (Nth:2 (Sym dt_d2e7)))_R
  485. :: Bug.Rec rs
  486. ~R# Bug.Rec
  487. '["target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  488. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  489. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  490. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  491. "event_type"
  492. Bug.:-> Bug.Expr GHC.Types.Int]))
  493. })
  494. `cast` (Sym
  495. (Nth:0
  496. ((((forall m a6 b.
  497. <a6 -> b>_R
  498. -> <Control.Applicative.Const m a6>_R
  499. -> Control.Applicative.NTCo:Const[0] <m>_R <a6>_P
  500. ; Sym
  501. (Control.Applicative.NTCo:Const[0]
  502. <m>_R <b>_P))@"event_type"
  503. Bug.:-> Bug.Expr
  504. GHC.Types.Int)@"event_type"
  505. Bug.:-> Bug.Expr
  506. GHC.Types.Int)@Bug.Rec
  507. '["event_type"
  508. Bug.:-> Bug.Expr
  509. GHC.Types.Int,
  510. "target_type"
  511. Bug.:-> Bug.Expr
  512. GHC.Types.Int,
  513. "field1"
  514. Bug.:-> Bug.Expr
  515. GHC.Types.Int,
  516. "field2"
  517. Bug.:-> Bug.Expr
  518. GHC.Types.Int,
  519. "id"
  520. Bug.:-> Bug.Expr
  521. GHC.Types.Int,
  522. "event_type"
  523. Bug.:-> Bug.Expr
  524. GHC.Types.Int]))
  525. :: ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  526. -> Bug.Rec
  527. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  528. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  529. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  530. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  531. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  532. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])
  533. ~R# ("event_type" Bug.:-> Bug.Expr GHC.Types.Int
  534. -> Bug.Rec
  535. '["event_type" Bug.:-> Bug.Expr GHC.Types.Int,
  536. "target_type" Bug.:-> Bug.Expr GHC.Types.Int,
  537. "field1" Bug.:-> Bug.Expr GHC.Types.Int,
  538. "field2" Bug.:-> Bug.Expr GHC.Types.Int,
  539. "id" Bug.:-> Bug.Expr GHC.Types.Int,
  540. "event_type" Bug.:-> Bug.Expr GHC.Types.Int])))
  541. ApplyToVal simpl (x
  542. `cast` (Sub (Nth:1 (Sym dt_d2e7))
  543. ; Nth:1
  544. (<"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  545. -> Sym
  546. (Control.Applicative.NTCo:Const[0]
  547. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_R
  548. <"event_type" Bug.:-> Bug.Expr GHC.Types.Int>_P))
  549. ; Sym
  550. (Nth:0
  551. (Nth:1
  552. ((((forall m a6 b.
  553. <a6 -> b>_R
  554. -> <Control.Applicative.Const m a6>_R
  555. -> Control.Applicative.NTCo:Const[0]
  556. <m>_R <a6>_P
  557. ; Sym
  558. (Control.Applicative.NTCo:Const[0]
  559. <m>_R <b>_P))@"event_type"
  560. Bug.:-> Bug.Expr
  561. GHC.Types.Int)@"event_type"
  562. Bug.:-> Bug.Expr
  563. GHC.Types.Int)@Bug.Rec
  564. '["event_type"
  565. Bug.:-> Bug.Expr
  566. GHC.Types.Int,
  567. "target_type"
  568. Bug.:-> Bug.Expr
  569. GHC.Types.Int,
  570. "field1"
  571. Bug.:-> Bug.Expr
  572. GHC.Types.Int,
  573. "field2"
  574. Bug.:-> Bug.Expr
  575. GHC.Types.Int,
  576. "id"
  577. Bug.:-> Bug.Expr
  578. GHC.Types.Int,
  579. "event_type"
  580. Bug.:-> Bug.Expr
  581. GHC.Types.Int])))
  582. :: r
  583. ~R# Control.Applicative.Const
  584. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)
  585. ("event_type" Bug.:-> Bug.Expr GHC.Types.Int)))
  586. CastIt Nth:1
  587. (Nth:1
  588. ((((forall m a6 b.
  589. <a6 -> b>_R
  590. -> <Control.Applicative.Const m a6>_R
  591. -> Control.Applicative.NTCo:Const[0] <m>_R <a6>_P
  592. ; Sym (Control.Applicative.NTCo:Const[0] <m>_R <b>_P))@"event_type"
  593. Bug.:-> Bug.Expr
  594. GHC.Types.Int)@"event_type"
  595. Bug.:-> Bug.Expr
  596. GHC.Types.Int)@Bug.Rec
  597. '["event_type"
  598. Bug.:-> Bug.Expr
  599. GHC.Types.Int,
  600. "target_type"
  601. Bug.:-> Bug.Expr
  602. GHC.Types.Int,
  603. "field1"
  604. Bug.:-> Bug.Expr
  605. GHC.Types.Int,
  606. "field2"
  607. Bug.:-> Bug.Expr
  608. GHC.Types.Int,
  609. "id"
  610. Bug.:-> Bug.Expr
  611. GHC.Types.Int,
  612. "event_type"
  613. Bug.:-> Bug.Expr
  614. GHC.Types.Int]))
  615. ; Nth:1
  616. (((forall a6 b.
  617. <Control.Applicative.Const a6 b>_R
  618. -> Control.Applicative.NTCo:Const[0] <a6>_R <b>_P)@"event_type"
  619. Bug.:-> Bug.Expr
  620. GHC.Types.Int)@Bug.Rec
  621. '["event_type"
  622. Bug.:-> Bug.Expr
  623. GHC.Types.Int,
  624. "target_type"
  625. Bug.:-> Bug.Expr
  626. GHC.Types.Int,
  627. "field1"
  628. Bug.:-> Bug.Expr
  629. GHC.Types.Int,
  630. "field2"
  631. Bug.:-> Bug.Expr
  632. GHC.Types.Int,
  633. "id"
  634. Bug.:-> Bug.Expr
  635. GHC.Types.Int,
  636. "event_type"
  637. Bug.:-> Bug.Expr
  638. GHC.Types.Int])
  639. Stop[BoringCtxt] "event_type" Bug.:-> Bug.Expr GHC.Types.Int
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!