API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Aug 3rd, 2015
213
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 29.25 KB | None | 0 0
raw download clone embed print report
  1. #!/usr/bin/env bash
  2.  
  3. set -eu
  4.  
  5. declare _R # Return register
  6.  
  7. declare -i _F=0 # Current frame
  8.  
  9. declare -a _S=() # Stack frame data
  10. declare -i _SP=0 # Beginning of current stack frame
  11. declare -i _SQ=0 # End of current stack frame
  12. declare -a _PSP=() # Beginnings of previous stack frames
  13.  
  14. declare -a _A=() # Array frame data
  15. declare -i _AP=0 # Beginning of current array frame
  16.  
  17.  
  18. _A[0]=0
  19. _A[1]=1
  20. _A[2]=2
  21. _A[3]=65623
  22. _A[4]=65624
  23. _A[5]=65625
  24. _A[6]=65629
  25. _A[7]=65630
  26. _A[8]=65633
  27. _A[9]=65635
  28. _A[10]=65639
  29. _A[11]=65640
  30. _A[12]=65641
  31. _A[13]=65643
  32. _A[14]=65645
  33. _A[15]=65648
  34. _A[16]=65649
  35. _A[17]=65650
  36. _A[18]=65651
  37. _A[19]=65652
  38. _A[20]=65657
  39. _AP=21
  40.  
  41.  
  42. idris_Prelude_46_List_46__43__43_ () {
  43. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 3 ))
  44. case ${_A[$2]} in
  45. 1)
  46. _S[_SP]=${_A[$2 + 1]}
  47. _S[_SP + 1]=${_A[$2 + 2]}
  48. _S[_SP + 2]=0
  49. idris_Prelude_46_List_46__43__43_ "${_S[_SP + 2]}" "${_S[_SP + 1]}" "$3"
  50. _S[_SP + 2]=${_R}
  51. _A[_AP]=1
  52. _A[_AP + 1]=${_S[_SP]}
  53. _A[_AP + 2]=${_S[_SP + 2]}
  54. _R=${_AP}
  55. _AP=$(( _AP + 3 ))
  56. ;;
  57. 0)
  58. _R=$3
  59. esac
  60. _SQ=${_SP}; _SP=${_PSP[--_F]}
  61. }
  62.  
  63.  
  64. idris_Prelude_46_Basics_46__46_ () {
  65. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  66. idris__123_APPLY0_125_ "$5" "$6"
  67. _S[_SP]=${_R}
  68. idris__123_APPLY0_125_ "$4" "${_S[_SP]}"
  69. _SQ=${_SP}; _SP=${_PSP[--_F]}
  70. }
  71.  
  72.  
  73. idris_Prelude_46_Classes_46__60_ () {
  74. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  75. case ${_A[$2]} in
  76. 0)
  77. _S[_SP]=${_A[$2 + 1]}
  78. _S[_SP + 1]=${_A[$2 + 2]}
  79. _R=${_S[_SP + 1]}
  80. esac
  81. _SQ=${_SP}; _SP=${_PSP[--_F]}
  82. }
  83.  
  84.  
  85. idris_Prelude_46_Algebra_46__60__43__62_ () {
  86. _R=$2
  87. }
  88.  
  89.  
  90. idris__64__64_constructor_32_of_32_Prelude_46_Algebra_46_Monoid_35_Semigroup_32_a () {
  91. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  92. case ${_A[$2]} in
  93. 0)
  94. _S[_SP]=${_A[$2 + 1]}
  95. _S[_SP + 1]=${_A[$2 + 2]}
  96. _R=${_S[_SP]}
  97. esac
  98. _SQ=${_SP}; _SP=${_PSP[--_F]}
  99. }
  100.  
  101.  
  102. idris__64__64_constructor_32_of_32_Prelude_46_Applicative_46_Alternative_35_Applicative_32_f () {
  103. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  104. case ${_A[$2]} in
  105. 0)
  106. _S[_SP]=${_A[$2 + 1]}
  107. _S[_SP + 1]=${_A[$2 + 2]}
  108. _R=${_S[_SP]}
  109. esac
  110. _SQ=${_SP}; _SP=${_PSP[--_F]}
  111. }
  112.  
  113.  
  114. idris_Force () {
  115. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  116. idris__123_EVAL0_125_ "$3"
  117. _S[_SP]=${_R}
  118. _R=${_S[_SP]}
  119. _SQ=${_SP}; _SP=${_PSP[--_F]}
  120. }
  121.  
  122.  
  123. idris_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c () {
  124. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 3 ))
  125. _S[_SP]=0
  126. _S[_SP + 1]=0
  127. _S[_SP + 2]=19
  128. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "$1"
  129. _SQ=${_SP}; _SP=${_PSP[--_F]}
  130. }
  131.  
  132.  
  133. idris_call_95__95_IO () {
  134. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  135. _S[_SP]=0
  136. idris__123_APPLY0_125_ "$3" "${_S[_SP]}"
  137. _SQ=${_SP}; _SP=${_PSP[--_F]}
  138. }
  139.  
  140.  
  141. idris_Prelude_46_Classes_46_compare () {
  142. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  143. case ${_A[$2]} in
  144. 0)
  145. _S[_SP]=${_A[$2 + 1]}
  146. _S[_SP + 1]=${_A[$2 + 2]}
  147. _R=${_S[_SP]}
  148. esac
  149. _SQ=${_SP}; _SP=${_PSP[--_F]}
  150. }
  151.  
  152.  
  153. idris_Prelude_46_Foldable_46_concatMap () {
  154. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  155. _S[_SP]=0
  156. _S[_SP + 1]=0
  157. _S[_SP + 2]=0
  158. idris_Prelude_46_Foldable_46_foldr "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "$4"
  159. _S[_SP]=${_R}
  160. _S[_SP + 1]=0
  161. _S[_SP + 2]=0
  162. _S[_SP + 3]=0
  163. case ${_A[$5]} in
  164. 0)
  165. _S[_SP + 4]=${_A[$5 + 1]}
  166. _S[_SP + 5]=${_A[$5 + 2]}
  167. esac
  168. _A[_AP]=65631
  169. _A[_AP + 1]=${_S[_SP + 1]}
  170. _A[_AP + 2]=${_S[_SP + 2]}
  171. _A[_AP + 3]=${_S[_SP + 3]}
  172. _A[_AP + 4]=${_S[_SP + 4]}
  173. _A[_AP + 5]=$6
  174. _S[_SP + 1]=${_AP}
  175. _AP=$(( _AP + 6 ))
  176. idris__123_APPLY0_125_ "${_S[_SP]}" "${_S[_SP + 1]}"
  177. _S[_SP]=${_R}
  178. case ${_A[$5]} in
  179. 0)
  180. _S[_SP + 1]=${_A[$5 + 1]}
  181. _S[_SP + 2]=${_A[$5 + 2]}
  182. _S[_SP + 1]=${_S[_SP + 2]}
  183. esac
  184. idris__123_APPLY0_125_ "${_S[_SP]}" "${_S[_SP + 1]}"
  185. _SQ=${_SP}; _SP=${_PSP[--_F]}
  186. }
  187.  
  188.  
  189. idris_Prelude_46_Applicative_46_empty () {
  190. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  191. case ${_A[$3]} in
  192. 0)
  193. _S[_SP]=${_A[$3 + 1]}
  194. _S[_SP + 1]=${_A[$3 + 2]}
  195. idris__123_APPLY0_125_ "${_S[_SP + 1]}" "$2"
  196. esac
  197. _SQ=${_SP}; _SP=${_PSP[--_F]}
  198. }
  199.  
  200.  
  201. idris_Prelude_46_Foldable_46_foldr () {
  202. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  203. idris__123_APPLY0_125_ "$4" "$2"
  204. _S[_SP]=${_R}
  205. idris__123_APPLY0_125_ "${_S[_SP]}" "$3"
  206. _SQ=${_SP}; _SP=${_PSP[--_F]}
  207. }
  208.  
  209.  
  210. idris_Prelude_46_Applicative_46_guard () {
  211. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 4 ))
  212. case ${_A[$3]} in
  213. 0)
  214. case ${_A[$2]} in
  215. 0)
  216. _S[_SP]=${_A[$2 + 1]}
  217. _S[_SP + 1]=${_A[$2 + 2]}
  218. _S[_SP + 2]=0
  219. idris__123_APPLY0_125_ "${_S[_SP + 1]}" "${_S[_SP + 2]}"
  220. esac
  221. ;;
  222. 1)
  223. _S[_SP]=0
  224. _S[_SP + 1]=0
  225. case ${_A[$2]} in
  226. 0)
  227. _S[_SP + 2]=${_A[$2 + 1]}
  228. _S[_SP + 3]=${_A[$2 + 2]}
  229. esac
  230. idris_Prelude_46_Applicative_46_pure "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}"
  231. _S[_SP]=${_R}
  232. _S[_SP + 1]=0
  233. idris__123_APPLY0_125_ "${_S[_SP]}" "${_S[_SP + 1]}"
  234. esac
  235. _SQ=${_SP}; _SP=${_PSP[--_F]}
  236. }
  237.  
  238.  
  239. idris_Prelude_46_Bool_46_ifThenElse () {
  240. case ${_A[$2]} in
  241. 0)
  242. idris__123_EVAL0_125_ "$4"
  243. ;;
  244. 1)
  245. idris__123_EVAL0_125_ "$3"
  246. esac
  247. }
  248.  
  249.  
  250. idris_Prelude_46_Classes_46_intToBool () {
  251. case $1 in
  252. 0)
  253. _R=0
  254. ;;
  255. *)
  256. _R=1
  257. esac
  258. }
  259.  
  260.  
  261. idris_io_95_bind () {
  262. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  263. idris__123_io_95_bind2_125_ "$1" "$2" "$3" "$4" "$5" "$6"
  264. _S[_SP]=${_R}
  265. idris__123_APPLY0_125_ "$4" "$6"
  266. _S[_SP + 1]=${_R}
  267. idris__123_APPLY0_125_ "${_S[_SP]}" "${_S[_SP + 1]}"
  268. _SQ=${_SP}; _SP=${_PSP[--_F]}
  269. }
  270.  
  271.  
  272. idris_io_95_return () {
  273. _R=$3
  274. }
  275.  
  276.  
  277. idris_Main_46_main () {
  278. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 3 ))
  279. _S[_SP]=0
  280. _S[_SP + 1]=0
  281. _S[_SP + 2]=7
  282. idris_Prelude_46_show "${_S[_SP + 1]}" "${_S[_SP + 2]}"
  283. _S[_SP + 1]=${_R}
  284. _S[_SP + 2]=15
  285. idris_Main_46_pythag "${_S[_SP + 2]}"
  286. _S[_SP + 2]=${_R}
  287. idris__123_APPLY0_125_ "${_S[_SP + 1]}" "${_S[_SP + 2]}"
  288. _S[_SP + 1]=${_R}
  289. idris_Prelude_46_putStr "${_S[_SP]}" "${_S[_SP + 1]}"
  290. _SQ=${_SP}; _SP=${_PSP[--_F]}
  291. }
  292.  
  293.  
  294. idris_mkForeignPrim () {
  295. _R=0
  296. }
  297.  
  298.  
  299. idris_Prelude_46_Algebra_46_neutral () {
  300. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  301. case ${_A[$2]} in
  302. 0)
  303. _S[_SP]=${_A[$2 + 1]}
  304. _S[_SP + 1]=${_A[$2 + 2]}
  305. _R=${_S[_SP + 1]}
  306. esac
  307. _SQ=${_SP}; _SP=${_PSP[--_F]}
  308. }
  309.  
  310.  
  311. idris_prim_95__95_addInt () {
  312. _R=$(( $1 + $2 ))
  313. }
  314.  
  315.  
  316. idris_prim_95__95_concat () {
  317. _R=$1$2
  318. }
  319.  
  320.  
  321. idris_prim_95__95_eqInt () {
  322. _R=$(( $1 == $2 ))
  323. }
  324.  
  325.  
  326. idris_prim_95__95_mulInt () {
  327. _R=$(( $1 * $2 ))
  328. }
  329.  
  330.  
  331. idris_prim_95__95_null () {
  332. echo 'Operator LExternal prim__null is not supported' >&2
  333. }
  334.  
  335.  
  336. idris_prim_95__95_readFile () {
  337. echo 'Operator LExternal prim__readFile is not supported' >&2
  338. }
  339.  
  340.  
  341. idris_prim_95__95_registerPtr () {
  342. echo 'Operator LExternal prim__registerPtr is not supported' >&2
  343. }
  344.  
  345.  
  346. idris_prim_95__95_sextInt_95_BigInt () {
  347. _R=$1
  348. }
  349.  
  350.  
  351. idris_prim_95__95_sltInt () {
  352. _R=$(( $1 < $2 ))
  353. }
  354.  
  355.  
  356. idris_prim_95__95_stderr () {
  357. echo 'Operator LExternal prim__stderr is not supported' >&2
  358. }
  359.  
  360.  
  361. idris_prim_95__95_stdin () {
  362. echo 'Operator LExternal prim__stdin is not supported' >&2
  363. }
  364.  
  365.  
  366. idris_prim_95__95_stdout () {
  367. echo 'Operator LExternal prim__stdout is not supported' >&2
  368. }
  369.  
  370.  
  371. idris_prim_95__95_subInt () {
  372. _R=$(( $1 - $2 ))
  373. }
  374.  
  375.  
  376. idris_prim_95__95_toStrInt () {
  377. _R=$1
  378. }
  379.  
  380.  
  381. idris_prim_95__95_vm () {
  382. echo 'Operator LExternal prim__vm is not supported' >&2
  383. }
  384.  
  385.  
  386. idris_prim_95__95_writeFile () {
  387. echo 'Operator LExternal prim__writeFile is not supported' >&2
  388. }
  389.  
  390.  
  391. idris_prim_95__95_writeString () {
  392. echo "$2"
  393. }
  394.  
  395.  
  396. idris_prim_95_io_95_bind () {
  397. idris__123_APPLY0_125_ "$4" "$3"
  398. }
  399.  
  400.  
  401. idris_Prelude_46_Applicative_46_pure () {
  402. idris__123_APPLY0_125_ "$3" "$2"
  403. }
  404.  
  405.  
  406. idris_Prelude_46_putStr () {
  407. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 5 ))
  408. _S[_SP]=0
  409. _S[_SP + 1]=0
  410. _S[_SP + 2]=0
  411. _A[_AP]=65644
  412. _A[_AP + 1]=$2
  413. _S[_SP + 3]=${_AP}
  414. _AP=$(( _AP + 2 ))
  415. _S[_SP + 4]=14
  416. _A[_AP]=65646
  417. _A[_AP + 1]=${_S[_SP]}
  418. _A[_AP + 2]=${_S[_SP + 1]}
  419. _A[_AP + 3]=${_S[_SP + 2]}
  420. _A[_AP + 4]=${_S[_SP + 3]}
  421. _A[_AP + 5]=${_S[_SP + 4]}
  422. _R=${_AP}
  423. _AP=$(( _AP + 6 ))
  424. _SQ=${_SP}; _SP=${_PSP[--_F]}
  425. }
  426.  
  427.  
  428. idris_Main_46_pythag () {
  429. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 4 ))
  430. _S[_SP]=0
  431. _S[_SP + 1]=0
  432. _S[_SP + 2]=1
  433. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0 "${_S[_SP + 2]}" "$1"
  434. _S[_SP + 2]=${_R}
  435. _S[_SP + 3]=6
  436. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}"
  437. _SQ=${_SP}; _SP=${_PSP[--_F]}
  438. }
  439.  
  440.  
  441. idris_run_95__95_IO () {
  442. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  443. _S[_SP]=0
  444. idris__123_APPLY0_125_ "$2" "${_S[_SP]}"
  445. _SQ=${_SP}; _SP=${_PSP[--_F]}
  446. }
  447.  
  448.  
  449. idris_Prelude_46_show () {
  450. _R=$2
  451. }
  452.  
  453.  
  454. idris_unsafePerformPrimIO () {
  455. _R=0
  456. }
  457.  
  458.  
  459. idris_world () {
  460. _R=$1
  461. }
  462.  
  463.  
  464. idris_Prelude_46_Bool_46__124__124_ () {
  465. case ${_A[$1]} in
  466. 0)
  467. idris__123_EVAL0_125_ "$2"
  468. ;;
  469. 1)
  470. _R=1
  471. esac
  472. }
  473.  
  474.  
  475. idris__123_APPLY0_125_ () {
  476. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  477. case ${_A[$1]} in
  478. 65623)
  479. idris_Main_46__123_pythag0_125_ "$2"
  480. ;;
  481. 65624)
  482. idris_Main_46__123_pythag1_125_ "$2"
  483. ;;
  484. 65625)
  485. idris_Main_46__123_pythag2_125_ "$2"
  486. ;;
  487. 65626)
  488. _S[_SP]=${_A[$1 + 1]}
  489. _S[_SP + 1]=${_A[$1 + 2]}
  490. _S[_SP + 2]=${_A[$1 + 3]}
  491. idris_Main_46__123_pythag3_125_ "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "$2"
  492. ;;
  493. 65627)
  494. _S[_SP]=${_A[$1 + 1]}
  495. _S[_SP + 1]=${_A[$1 + 2]}
  496. idris_Main_46__123_pythag4_125_ "${_S[_SP]}" "${_S[_SP + 1]}" "$2"
  497. ;;
  498. 65628)
  499. _S[_SP]=${_A[$1 + 1]}
  500. idris_Main_46__123_pythag5_125_ "${_S[_SP]}" "$2"
  501. ;;
  502. 65629)
  503. idris_Main_46__123_pythag6_125_ "$2"
  504. ;;
  505. 65630)
  506. idris_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c "$2"
  507. ;;
  508. 65631)
  509. _S[_SP]=${_A[$1 + 1]}
  510. _S[_SP + 1]=${_A[$1 + 2]}
  511. _S[_SP + 2]=${_A[$1 + 3]}
  512. _S[_SP + 3]=${_A[$1 + 4]}
  513. _S[_SP + 4]=${_A[$1 + 5]}
  514. idris_Prelude_46_Basics_46__46_ "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "$2"
  515. ;;
  516. 65632)
  517. _S[_SP]=${_A[$1 + 1]}
  518. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam0_125_ "${_S[_SP]}" "$2"
  519. ;;
  520. 65633)
  521. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam1_125_ "$2"
  522. ;;
  523. 65634)
  524. _S[_SP]=${_A[$1 + 1]}
  525. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_ "${_S[_SP]}" "$2"
  526. ;;
  527. 65635)
  528. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam3_125_ "$2"
  529. ;;
  530. 65636)
  531. _S[_SP]=${_A[$1 + 1]}
  532. _S[_SP + 1]=${_A[$1 + 2]}
  533. _S[_SP + 2]=${_A[$1 + 3]}
  534. _S[_SP + 3]=${_A[$1 + 4]}
  535. idris_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "$2"
  536. ;;
  537. 65637)
  538. _S[_SP]=${_A[$1 + 1]}
  539. _S[_SP + 1]=${_A[$1 + 2]}
  540. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam0_125_ "${_S[_SP]}" "${_S[_SP + 1]}" "$2"
  541. ;;
  542. 65638)
  543. _S[_SP]=${_A[$1 + 1]}
  544. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam1_125_ "${_S[_SP]}" "$2"
  545. ;;
  546. 65639)
  547. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam2_125_ "$2"
  548. ;;
  549. 65640)
  550. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam3_125_ "$2"
  551. ;;
  552. 65641)
  553. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam4_125_ "$2"
  554. ;;
  555. 65642)
  556. _S[_SP]=${_A[$1 + 1]}
  557. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam5_125_ "${_S[_SP]}" "$2"
  558. ;;
  559. 65643)
  560. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam6_125_ "$2"
  561. ;;
  562. 65644)
  563. _S[_SP]=${_A[$1 + 1]}
  564. idris_Prelude_46__123_putStr0_125_ "${_S[_SP]}" "$2"
  565. ;;
  566. 65645)
  567. idris_Prelude_46__123_putStr1_125_ "$2"
  568. ;;
  569. 65646)
  570. _S[_SP]=${_A[$1 + 1]}
  571. _S[_SP + 1]=${_A[$1 + 2]}
  572. _S[_SP + 2]=${_A[$1 + 3]}
  573. _S[_SP + 3]=${_A[$1 + 4]}
  574. _S[_SP + 4]=${_A[$1 + 5]}
  575. idris_io_95_bind "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "$2"
  576. ;;
  577. 65647)
  578. _S[_SP]=${_A[$1 + 1]}
  579. _S[_SP + 1]=${_A[$1 + 2]}
  580. _S[_SP + 2]=${_A[$1 + 3]}
  581. idris_io_95_return "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "$2"
  582. ;;
  583. 65648)
  584. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c0_125_ "$2"
  585. ;;
  586. 65649)
  587. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c1_125_ "$2"
  588. ;;
  589. 65650)
  590. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c2_125_ "$2"
  591. ;;
  592. 65651)
  593. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c3_125_ "$2"
  594. ;;
  595. 65652)
  596. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c4_125_ "$2"
  597. ;;
  598. 65653)
  599. _S[_SP]=${_A[$1 + 1]}
  600. _S[_SP + 1]=${_A[$1 + 2]}
  601. _S[_SP + 2]=${_A[$1 + 3]}
  602. _S[_SP + 3]=${_A[$1 + 4]}
  603. _S[_SP + 4]=${_A[$1 + 5]}
  604. _S[_SP + 5]=${_A[$1 + 6]}
  605. idris__123_io_95_bind1_125_ "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "${_S[_SP + 5]}" "$2"
  606. ;;
  607. 65654)
  608. _S[_SP]=${_A[$1 + 1]}
  609. _S[_SP + 1]=${_A[$1 + 2]}
  610. _S[_SP + 2]=${_A[$1 + 3]}
  611. _A[_AP]=65636
  612. _A[_AP + 1]=${_S[_SP]}
  613. _A[_AP + 2]=${_S[_SP + 1]}
  614. _A[_AP + 3]=${_S[_SP + 2]}
  615. _A[_AP + 4]=$2
  616. _R=${_AP}
  617. _AP=$(( _AP + 5 ))
  618. ;;
  619. 65655)
  620. _S[_SP]=${_A[$1 + 1]}
  621. _S[_SP + 1]=${_A[$1 + 2]}
  622. _A[_AP]=65654
  623. _A[_AP + 1]=${_S[_SP]}
  624. _A[_AP + 2]=${_S[_SP + 1]}
  625. _A[_AP + 3]=$2
  626. _R=${_AP}
  627. _AP=$(( _AP + 4 ))
  628. ;;
  629. 65656)
  630. _S[_SP]=${_A[$1 + 1]}
  631. _A[_AP]=65655
  632. _A[_AP + 1]=${_S[_SP]}
  633. _A[_AP + 2]=$2
  634. _R=${_AP}
  635. _AP=$(( _AP + 3 ))
  636. ;;
  637. 65657)
  638. _A[_AP]=65656
  639. _A[_AP + 1]=$2
  640. _R=${_AP}
  641. _AP=$(( _AP + 2 ))
  642. ;;
  643. *)
  644. _R=0
  645. esac
  646. _SQ=${_SP}; _SP=${_PSP[--_F]}
  647. }
  648.  
  649.  
  650. idris__123_EVAL0_125_ () {
  651. case $1 in
  652. *)
  653. _R=$1
  654. esac
  655. }
  656.  
  657.  
  658. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam0_125_ () {
  659. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33_compare_58_0 "$1" "$2"
  660. }
  661.  
  662.  
  663. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c0_125_ () {
  664. _R=$1
  665. }
  666.  
  667.  
  668. idris_Prelude_46_Classes_46__123_Prelude_46_Classes_46_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_44__32_method_32__60__61__95_lam0_125_ () {
  669. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  670. _S[_SP]=$(( $1 == $2 ))
  671. case ${_S[_SP]} in
  672. 0)
  673. _R=0
  674. ;;
  675. *)
  676. _R=1
  677. esac
  678. _SQ=${_SP}; _SP=${_PSP[--_F]}
  679. }
  680.  
  681.  
  682. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam0_125_ () {
  683. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  684. _S[_SP]=0
  685. _S[_SP + 1]=0
  686. idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "$1" "$2" "$3"
  687. _SQ=${_SP}; _SP=${_PSP[--_F]}
  688. }
  689.  
  690.  
  691. idris__123_io_95_bind0_125_ () {
  692. idris__123_APPLY0_125_ "$5" "$7"
  693. }
  694.  
  695.  
  696. idris_Prelude_46__123_putStr0_125_ () {
  697. echo "$1"
  698. }
  699.  
  700.  
  701. idris_Main_46__123_pythag0_125_ () {
  702. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  703. _S[_SP]=0
  704. _A[_AP]=1
  705. _A[_AP + 1]=$1
  706. _A[_AP + 2]=${_S[_SP]}
  707. _R=${_AP}
  708. _AP=$(( _AP + 3 ))
  709. _SQ=${_SP}; _SP=${_PSP[--_F]}
  710. }
  711.  
  712.  
  713. idris__123_runMain0_125_ () {
  714. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  715. idris_Main_46_main
  716. _S[_SP]=${_R}
  717. _S[_SP + 1]=0
  718. idris__123_APPLY0_125_ "${_S[_SP]}" "${_S[_SP + 1]}"
  719. _S[_SP]=${_R}
  720. idris__123_EVAL0_125_ "${_S[_SP]}"
  721. _SQ=${_SP}; _SP=${_PSP[--_F]}
  722. }
  723.  
  724.  
  725. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam1_125_ () {
  726. _A[_AP]=65632
  727. _A[_AP + 1]=$1
  728. _R=${_AP}
  729. _AP=$(( _AP + 2 ))
  730. }
  731.  
  732.  
  733. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c1_125_ () {
  734. _R=$1
  735. }
  736.  
  737.  
  738. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam1_125_ () {
  739. _A[_AP]=65637
  740. _A[_AP + 1]=$1
  741. _A[_AP + 2]=$2
  742. _R=${_AP}
  743. _AP=$(( _AP + 3 ))
  744. }
  745.  
  746.  
  747. idris__123_io_95_bind1_125_ () {
  748. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  749. idris__123_io_95_bind0_125_ "$1" "$2" "$3" "$4" "$5" "$6" "$7"
  750. _S[_SP]=${_R}
  751. idris__123_APPLY0_125_ "${_S[_SP]}" "$6"
  752. _SQ=${_SP}; _SP=${_PSP[--_F]}
  753. }
  754.  
  755.  
  756. idris_Prelude_46__123_putStr1_125_ () {
  757. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 3 ))
  758. _S[_SP]=0
  759. _S[_SP + 1]=0
  760. _S[_SP + 2]=0
  761. _A[_AP]=65647
  762. _A[_AP + 1]=${_S[_SP]}
  763. _A[_AP + 2]=${_S[_SP + 1]}
  764. _A[_AP + 3]=${_S[_SP + 2]}
  765. _R=${_AP}
  766. _AP=$(( _AP + 4 ))
  767. _SQ=${_SP}; _SP=${_PSP[--_F]}
  768. }
  769.  
  770.  
  771. idris_Main_46__123_pythag1_125_ () {
  772. _R=3
  773. }
  774.  
  775.  
  776. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam2_125_ () {
  777. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  778. _S[_SP]=0
  779. idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int
  780. _S[_SP + 1]=${_R}
  781. idris_Prelude_46_Classes_46_compare "${_S[_SP]}" "${_S[_SP + 1]}"
  782. _S[_SP]=${_R}
  783. idris__123_APPLY0_125_ "${_S[_SP]}" "$1"
  784. _S[_SP]=${_R}
  785. idris__123_APPLY0_125_ "${_S[_SP]}" "$2"
  786. _S[_SP]=${_R}
  787. case ${_A[_S[_SP]]} in
  788. 0)
  789. _R=1
  790. ;;
  791. *)
  792. _R=0
  793. esac
  794. _SQ=${_SP}; _SP=${_PSP[--_F]}
  795. }
  796.  
  797.  
  798. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c2_125_ () {
  799. _R=$1
  800. }
  801.  
  802.  
  803. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam2_125_ () {
  804. _A[_AP]=65638
  805. _A[_AP + 1]=$1
  806. _R=${_AP}
  807. _AP=$(( _AP + 2 ))
  808. }
  809.  
  810.  
  811. idris__123_io_95_bind2_125_ () {
  812. _A[_AP]=65653
  813. _A[_AP + 1]=$1
  814. _A[_AP + 2]=$2
  815. _A[_AP + 3]=$3
  816. _A[_AP + 4]=$4
  817. _A[_AP + 5]=$5
  818. _A[_AP + 6]=$6
  819. _R=${_AP}
  820. _AP=$(( _AP + 7 ))
  821. }
  822.  
  823.  
  824. idris_Main_46__123_pythag2_125_ () {
  825. _R=0
  826. }
  827.  
  828.  
  829. idris_Prelude_46_Classes_46__123_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_95_lam3_125_ () {
  830. _A[_AP]=65634
  831. _A[_AP + 1]=$1
  832. _R=${_AP}
  833. _AP=$(( _AP + 2 ))
  834. }
  835.  
  836.  
  837. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c3_125_ () {
  838. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  839. _S[_SP]=0
  840. _S[_SP + 1]=0
  841. _S[_SP + 2]=0
  842. _S[_SP + 3]=0
  843. _S[_SP + 4]=16
  844. _S[_SP + 5]=17
  845. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "${_S[_SP + 5]}" "$1"
  846. _SQ=${_SP}; _SP=${_PSP[--_F]}
  847. }
  848.  
  849.  
  850. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam3_125_ () {
  851. _R=10
  852. }
  853.  
  854.  
  855. idris_Main_46__123_pythag3_125_ () {
  856. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  857. _A[_AP]=0
  858. _A[_AP + 1]=$2
  859. _A[_AP + 2]=$3
  860. _S[_SP]=${_AP}
  861. _AP=$(( _AP + 3 ))
  862. _A[_AP]=0
  863. _A[_AP + 1]=$1
  864. _A[_AP + 2]=${_S[_SP]}
  865. _S[_SP]=${_AP}
  866. _AP=$(( _AP + 3 ))
  867. _S[_SP + 1]=0
  868. _A[_AP]=1
  869. _A[_AP + 1]=${_S[_SP]}
  870. _A[_AP + 2]=${_S[_SP + 1]}
  871. _R=${_AP}
  872. _AP=$(( _AP + 3 ))
  873. _SQ=${_SP}; _SP=${_PSP[--_F]}
  874. }
  875.  
  876.  
  877. idris__123_PE_95_List_32_a_32_instance_32_of_32_Prelude_46_Show_95_f5d3ac2c4_125_ () {
  878. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  879. _S[_SP]=0
  880. _S[_SP + 1]=0
  881. _S[_SP + 2]=0
  882. _S[_SP + 3]=0
  883. _S[_SP + 4]=15
  884. _S[_SP + 5]=18
  885. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "${_S[_SP + 5]}" "$1"
  886. _SQ=${_SP}; _SP=${_PSP[--_F]}
  887. }
  888.  
  889.  
  890. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam4_125_ () {
  891. _R=11
  892. }
  893.  
  894.  
  895. idris_Main_46__123_pythag4_125_ () {
  896. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  897. _S[_SP]=0
  898. _S[_SP + 1]=0
  899. _S[_SP + 2]=0
  900. _S[_SP + 3]=4
  901. _S[_SP + 4]=5
  902. _A[_AP]=0
  903. _A[_AP + 1]=${_S[_SP + 3]}
  904. _A[_AP + 2]=${_S[_SP + 4]}
  905. _S[_SP + 3]=${_AP}
  906. _AP=$(( _AP + 3 ))
  907. _S[_SP + 4]=$(( $3 * $3 ))
  908. _S[_SP + 5]=$(( $1 * $1 ))
  909. _S[_SP + 4]=$(( _S[_SP + 4] + _S[_SP + 5] ))
  910. _S[_SP + 5]=$(( $2 * $2 ))
  911. _S[_SP + 4]=$(( _S[_SP + 4] == _S[_SP + 5] ))
  912. case ${_S[_SP + 4]} in
  913. 0)
  914. _S[_SP + 4]=0
  915. ;;
  916. *)
  917. _S[_SP + 4]=1
  918. esac
  919. idris_Prelude_46_Applicative_46_guard "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}"
  920. _S[_SP + 2]=${_R}
  921. _A[_AP]=65626
  922. _A[_AP + 1]=$3
  923. _A[_AP + 2]=$1
  924. _A[_AP + 3]=$2
  925. _S[_SP + 3]=${_AP}
  926. _AP=$(( _AP + 4 ))
  927. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}"
  928. _SQ=${_SP}; _SP=${_PSP[--_F]}
  929. }
  930.  
  931.  
  932. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam5_125_ () {
  933. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 1 ))
  934. _S[_SP]=0
  935. idris_Prelude_46_List_46__43__43_ "${_S[_SP]}" "$1" "$2"
  936. _SQ=${_SP}; _SP=${_PSP[--_F]}
  937. }
  938.  
  939.  
  940. idris_Main_46__123_pythag5_125_ () {
  941. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 4 ))
  942. _S[_SP]=0
  943. _S[_SP + 1]=0
  944. _S[_SP + 2]=1
  945. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0 "${_S[_SP + 2]}" "$2"
  946. _S[_SP + 2]=${_R}
  947. _A[_AP]=65627
  948. _A[_AP + 1]=$2
  949. _A[_AP + 2]=$1
  950. _S[_SP + 3]=${_AP}
  951. _AP=$(( _AP + 3 ))
  952. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}"
  953. _SQ=${_SP}; _SP=${_PSP[--_F]}
  954. }
  955.  
  956.  
  957. idris_Prelude_46_Monad_46__123_Prelude_46_List_32_instance_32_of_32_Prelude_46_Monad_46_Monad_44__32_method_32__62__62__61__95_lam6_125_ () {
  958. _A[_AP]=65642
  959. _A[_AP + 1]=$1
  960. _R=${_AP}
  961. _AP=$(( _AP + 2 ))
  962. }
  963.  
  964.  
  965. idris_Main_46__123_pythag6_125_ () {
  966. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 4 ))
  967. _S[_SP]=0
  968. _S[_SP + 1]=0
  969. _S[_SP + 2]=1
  970. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0 "${_S[_SP + 2]}" "$1"
  971. _S[_SP + 2]=${_R}
  972. _A[_AP]=65628
  973. _A[_AP + 1]=$1
  974. _S[_SP + 3]=${_AP}
  975. _AP=$(( _AP + 2 ))
  976. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}"
  977. _SQ=${_SP}; _SP=${_PSP[--_F]}
  978. }
  979.  
  980.  
  981. idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Char_58__33_decEq_58_0_58_primitiveNotEq_58_0 () {
  982. _R=0
  983. }
  984.  
  985.  
  986. idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Int_58__33_decEq_58_0_58_primitiveNotEq_58_0 () {
  987. _R=0
  988. }
  989.  
  990.  
  991. idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Integer_58__33_decEq_58_0_58_primitiveNotEq_58_0 () {
  992. _R=0
  993. }
  994.  
  995.  
  996. idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_String_58__33_decEq_58_0_58_primitiveNotEq_58_0 () {
  997. _R=0
  998. }
  999.  
  1000.  
  1001. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0 () {
  1002. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 5 ))
  1003. case $4 in
  1004. 0)
  1005. _A[_AP]=1
  1006. _A[_AP + 1]=$5
  1007. _A[_AP + 2]=$3
  1008. _R=${_AP}
  1009. _AP=$(( _AP + 3 ))
  1010. ;;
  1011. *)
  1012. _S[_SP]=1
  1013. _S[_SP]=$(( $4 - _S[_SP] ))
  1014. _S[_SP + 1]=0
  1015. _S[_SP + 2]=0
  1016. _A[_AP]=1
  1017. _A[_AP + 1]=$5
  1018. _A[_AP + 2]=$3
  1019. _S[_SP + 3]=${_AP}
  1020. _AP=$(( _AP + 3 ))
  1021. _S[_SP + 4]=1
  1022. _S[_SP + 4]=$(( $5 - _S[_SP + 4] ))
  1023. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0 "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP]}" "${_S[_SP + 4]}"
  1024. esac
  1025. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1026. }
  1027.  
  1028.  
  1029. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0 () {
  1030. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 7 ))
  1031. case ${_A[$6]} in
  1032. 1)
  1033. _S[_SP]=${_A[$6 + 1]}
  1034. _S[_SP + 1]=${_A[$6 + 2]}
  1035. case ${_A[_S[_SP + 1]]} in
  1036. 0)
  1037. _S[_SP + 2]=0
  1038. idris_Prelude_46_show "${_S[_SP + 2]}" "$4"
  1039. _S[_SP + 2]=${_R}
  1040. idris__123_APPLY0_125_ "${_S[_SP + 2]}" "${_S[_SP]}"
  1041. _S[_SP + 2]=${_R}
  1042. _R=$5${_S[_SP + 2]}
  1043. ;;
  1044. *)
  1045. _S[_SP + 2]=0
  1046. _S[_SP + 3]=0
  1047. _S[_SP + 4]=0
  1048. _S[_SP + 5]=0
  1049. idris_Prelude_46_show "${_S[_SP + 5]}" "$4"
  1050. _S[_SP + 5]=${_R}
  1051. idris__123_APPLY0_125_ "${_S[_SP + 5]}" "${_S[_SP]}"
  1052. _S[_SP + 5]=${_R}
  1053. _S[_SP + 6]=', '
  1054. _S[_SP + 5]=${_S[_SP + 5]}${_S[_SP + 6]}
  1055. _S[_SP + 5]=$5${_S[_SP + 5]}
  1056. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0 "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "$4" "${_S[_SP + 5]}" "${_S[_SP + 1]}"
  1057. esac
  1058. ;;
  1059. 0)
  1060. _R=$5
  1061. esac
  1062. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1063. }
  1064.  
  1065.  
  1066. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0 () {
  1067. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 5 ))
  1068. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__61__58_0 "$1" "$2"
  1069. _S[_SP]=${_R}
  1070. case ${_A[_S[_SP]]} in
  1071. 0)
  1072. _R=0
  1073. ;;
  1074. 1)
  1075. _S[_SP + 1]=0
  1076. _S[_SP + 2]=0
  1077. _S[_SP + 3]=0
  1078. _S[_SP + 4]=$(( $2 - $1 ))
  1079. idris_Prelude_46_Prelude_46__64_Prelude_46_Enum_36_Int_58__33_enumFromTo_58_0_58_go_58_0 "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "$2"
  1080. esac
  1081. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1082. }
  1083.  
  1084.  
  1085. idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0 () {
  1086. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 7 ))
  1087. case ${_A[$5]} in
  1088. 1)
  1089. _S[_SP]=${_A[$5 + 1]}
  1090. _S[_SP + 1]=${_A[$5 + 2]}
  1091. idris__123_APPLY0_125_ "$3" "${_S[_SP]}"
  1092. _S[_SP + 2]=${_R}
  1093. _S[_SP + 3]=0
  1094. _S[_SP + 4]=0
  1095. _S[_SP + 5]=0
  1096. _S[_SP + 6]=20
  1097. idris_Prelude_46_Foldable_46_foldr "${_S[_SP + 3]}" "${_S[_SP + 4]}" "${_S[_SP + 5]}" "${_S[_SP + 6]}"
  1098. _S[_SP + 3]=${_R}
  1099. idris__123_APPLY0_125_ "${_S[_SP + 3]}" "$3"
  1100. _S[_SP + 3]=${_R}
  1101. idris__123_APPLY0_125_ "${_S[_SP + 3]}" "$4"
  1102. _S[_SP + 3]=${_R}
  1103. idris__123_APPLY0_125_ "${_S[_SP + 3]}" "${_S[_SP + 1]}"
  1104. _S[_SP + 3]=${_R}
  1105. idris__123_APPLY0_125_ "${_S[_SP + 2]}" "${_S[_SP + 3]}"
  1106. ;;
  1107. 0)
  1108. _R=$4
  1109. esac
  1110. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1111. }
  1112.  
  1113.  
  1114. idris_Prelude_46_Monad_46_Prelude_46__64_Prelude_46_Monad_46_Monad_36_List_58__33__62__62__61__58_0 () {
  1115. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 6 ))
  1116. _S[_SP]=0
  1117. _S[_SP + 1]=0
  1118. _S[_SP + 2]=0
  1119. _S[_SP + 3]=12
  1120. _S[_SP + 4]=13
  1121. _S[_SP + 5]=0
  1122. _A[_AP]=0
  1123. _A[_AP + 1]=${_S[_SP + 4]}
  1124. _A[_AP + 2]=${_S[_SP + 5]}
  1125. _S[_SP + 4]=${_AP}
  1126. _AP=$(( _AP + 3 ))
  1127. idris_Prelude_46_Foldable_46_concatMap "${_S[_SP]}" "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "${_S[_SP + 4]}" "$4"
  1128. _S[_SP]=${_R}
  1129. idris__123_APPLY0_125_ "${_S[_SP]}" "$3"
  1130. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1131. }
  1132.  
  1133.  
  1134. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__61__58_0 () {
  1135. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  1136. _S[_SP]=0
  1137. idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int
  1138. _S[_SP + 1]=${_R}
  1139. idris_Prelude_46_Classes_46__60_ "${_S[_SP]}" "${_S[_SP + 1]}"
  1140. _S[_SP]=${_R}
  1141. idris__123_APPLY0_125_ "${_S[_SP]}" "$1"
  1142. _S[_SP]=${_R}
  1143. idris__123_APPLY0_125_ "${_S[_SP]}" "$2"
  1144. _S[_SP]=${_R}
  1145. case ${_A[_S[_SP]]} in
  1146. 0)
  1147. idris_Prelude_46_Classes_46__123_Prelude_46_Classes_46_Int_32_instance_32_of_32_Prelude_46_Classes_46_Ord_44__32_method_32__60__61__95_lam0_125_ "$1" "$2"
  1148. ;;
  1149. 1)
  1150. _R=1
  1151. esac
  1152. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1153. }
  1154.  
  1155.  
  1156. idris_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33_compare_58_0 () {
  1157. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  1158. _S[_SP]=$(( $1 == $2 ))
  1159. case ${_S[_SP]} in
  1160. 0)
  1161. _S[_SP]=0
  1162. ;;
  1163. *)
  1164. _S[_SP]=1
  1165. esac
  1166. case ${_A[_S[_SP]]} in
  1167. 0)
  1168. _S[_SP + 1]=$(( $1 < $2 ))
  1169. case ${_S[_SP + 1]} in
  1170. 0)
  1171. _S[_SP + 1]=0
  1172. ;;
  1173. *)
  1174. _S[_SP + 1]=1
  1175. esac
  1176. case ${_A[_S[_SP + 1]]} in
  1177. 0)
  1178. _R=2
  1179. ;;
  1180. 1)
  1181. _R=0
  1182. esac
  1183. ;;
  1184. 1)
  1185. _R=1
  1186. esac
  1187. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1188. }
  1189.  
  1190.  
  1191. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36__40_a_44__32_b_41__58__33_show_58_0 () {
  1192. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 7 ))
  1193. case ${_A[$7]} in
  1194. 0)
  1195. _S[_SP]=${_A[$7 + 1]}
  1196. _S[_SP + 1]=${_A[$7 + 2]}
  1197. _S[_SP + 2]='('
  1198. _S[_SP + 3]=0
  1199. idris_Prelude_46_show "${_S[_SP + 3]}" "$5"
  1200. _S[_SP + 3]=${_R}
  1201. idris__123_APPLY0_125_ "${_S[_SP + 3]}" "${_S[_SP]}"
  1202. _S[_SP + 3]=${_R}
  1203. _S[_SP + 4]=', '
  1204. _S[_SP + 5]=0
  1205. idris_Prelude_46_show "${_S[_SP + 5]}" "$6"
  1206. _S[_SP + 5]=${_R}
  1207. idris__123_APPLY0_125_ "${_S[_SP + 5]}" "${_S[_SP + 1]}"
  1208. _S[_SP + 5]=${_R}
  1209. _S[_SP + 6]=')'
  1210. _S[_SP + 5]=${_S[_SP + 5]}${_S[_SP + 6]}
  1211. _S[_SP + 4]=${_S[_SP + 4]}${_S[_SP + 5]}
  1212. _S[_SP + 3]=${_S[_SP + 3]}${_S[_SP + 4]}
  1213. _R=${_S[_SP + 2]}${_S[_SP + 3]}
  1214. esac
  1215. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1216. }
  1217.  
  1218.  
  1219. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0 () {
  1220. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 5 ))
  1221. _S[_SP]='['
  1222. _S[_SP + 1]=0
  1223. _S[_SP + 2]=0
  1224. _S[_SP + 3]=0
  1225. _S[_SP + 4]=''
  1226. idris_Prelude_46_Prelude_46__64_Prelude_46_Show_36_List_32_a_58__33_show_58_0_58_show_39__58_0 "${_S[_SP + 1]}" "${_S[_SP + 2]}" "${_S[_SP + 3]}" "$3" "${_S[_SP + 4]}" "$4"
  1227. _S[_SP + 1]=${_R}
  1228. _S[_SP + 2]=']'
  1229. _S[_SP + 1]=${_S[_SP + 1]}${_S[_SP + 2]}
  1230. _R=${_S[_SP]}${_S[_SP + 1]}
  1231. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1232. }
  1233.  
  1234.  
  1235. idris__95_Prelude_46_Classes_46_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int_58__33__60__58_0_95_with_95_85 () {
  1236. case ${_A[$1]} in
  1237. 0)
  1238. _R=1
  1239. ;;
  1240. *)
  1241. _R=0
  1242. esac
  1243. }
  1244.  
  1245.  
  1246. idris_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List () {
  1247. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  1248. _S[_SP]=0
  1249. _S[_SP + 1]=0
  1250. idris_Prelude_46_Foldable_46_Prelude_46_List_46__64_Prelude_46_Foldable_46_Foldable_36_List_58__33_foldr_58_0 "${_S[_SP]}" "${_S[_SP + 1]}" "$3" "$4" "$5"
  1251. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1252. }
  1253.  
  1254.  
  1255. idris_Prelude_46_Classes_46__64_Prelude_46_Classes_46_Ord_36_Int () {
  1256. _PSP[_F++]=${_SP}; _SP=${_SQ}; _SQ=$(( _SP + 2 ))
  1257. _S[_SP]=8
  1258. _S[_SP + 1]=9
  1259. _A[_AP]=0
  1260. _A[_AP + 1]=${_S[_SP]}
  1261. _A[_AP + 2]=${_S[_SP + 1]}
  1262. _R=${_AP}
  1263. _AP=$(( _AP + 3 ))
  1264. _SQ=${_SP}; _SP=${_PSP[--_F]}
  1265. }
  1266.  
  1267.  
  1268. idris_Void_95_case () {
  1269. _R=0
  1270. }
  1271.  
  1272.  
  1273. idris_io_95_bind_95_case () {
  1274. idris__123_APPLY0_125_ "$8" "$6"
  1275. }
  1276.  
  1277.  
  1278. idris_Void_95_elim () {
  1279. _R=0
  1280. }
  1281.  
  1282.  
  1283. idris__123_runMain0_125_
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!