You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

494 lines
23 KiB

  1. This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2014.12.30) 20 APR 2015 17:26
  2. entering extended mode
  3. \write18 enabled.
  4. %&-line parsing enabled.
  5. **VL1_functions_and_control_structures3.tex
  6. (./VL1_functions_and_control_structures3.tex
  7. LaTeX2e <2011/06/27>
  8. Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, uk
  9. english, usenglishmax, german-x-2012-05-30, ngerman-x-2012-05-30, german, ngerm
  10. an, swissgerman, loaded.
  11. ! LaTeX Error: Missing \begin{document}.
  12. See the LaTeX manual or LaTeX Companion for explanation.
  13. Type H <return> for immediate help.
  14. ...
  15. l.1 H
  16. ow about \emph{recursion}? Let's define the modulo of any \emph{Int} to...
  17. You're in trouble here. Try typing <return> to proceed.
  18. If that doesn't work, type X <return> to quit.
  19. Missing character: There is no H in font nullfont!
  20. Missing character: There is no o in font nullfont!
  21. Missing character: There is no w in font nullfont!
  22. Missing character: There is no a in font nullfont!
  23. Missing character: There is no b in font nullfont!
  24. Missing character: There is no o in font nullfont!
  25. Missing character: There is no u in font nullfont!
  26. Missing character: There is no t in font nullfont!
  27. Missing character: There is no ? in font nullfont!
  28. Missing character: There is no L in font nullfont!
  29. Missing character: There is no e in font nullfont!
  30. Missing character: There is no t in font nullfont!
  31. Missing character: There is no ' in font nullfont!
  32. Missing character: There is no s in font nullfont!
  33. Missing character: There is no d in font nullfont!
  34. Missing character: There is no e in font nullfont!
  35. Missing character: There is no f in font nullfont!
  36. Missing character: There is no i in font nullfont!
  37. Missing character: There is no n in font nullfont!
  38. Missing character: There is no e in font nullfont!
  39. Missing character: There is no t in font nullfont!
  40. Missing character: There is no h in font nullfont!
  41. Missing character: There is no e in font nullfont!
  42. Missing character: There is no m in font nullfont!
  43. Missing character: There is no o in font nullfont!
  44. Missing character: There is no d in font nullfont!
  45. Missing character: There is no u in font nullfont!
  46. Missing character: There is no l in font nullfont!
  47. Missing character: There is no o in font nullfont!
  48. Missing character: There is no o in font nullfont!
  49. Missing character: There is no f in font nullfont!
  50. Missing character: There is no a in font nullfont!
  51. Missing character: There is no n in font nullfont!
  52. Missing character: There is no y in font nullfont!
  53. Missing character: There is no t in font nullfont!
  54. Missing character: There is no o in font nullfont!
  55. Missing character: There is no . in font nullfont!
  56. ! Undefined control sequence.
  57. l.2 \pause
  58. The control sequence at the end of the top line
  59. of your error message was never \def'ed. If you have
  60. misspelled it (e.g., `\hobx'), type `I' and the correct
  61. spelling (e.g., `I\hbox'). Otherwise just continue,
  62. and I'll forget about whatever was undefined.
  63. ! LaTeX Error: Environment haskellcode undefined.
  64. See the LaTeX manual or LaTeX Companion for explanation.
  65. Type H <return> for immediate help.
  66. ...
  67. l.4 \begin{haskellcode}
  68. Your command was ignored.
  69. Type I <command> <return> to replace it with another command,
  70. or <return> to continue without it.
  71. Missing character: There is no m in font nullfont!
  72. Missing character: There is no o in font nullfont!
  73. Missing character: There is no d in font nullfont!
  74. Missing character: There is no 2 in font nullfont!
  75. Missing character: There is no : in font nullfont!
  76. Missing character: There is no : in font nullfont!
  77. Missing character: There is no I in font nullfont!
  78. Missing character: There is no n in font nullfont!
  79. Missing character: There is no t in font nullfont!
  80. Missing character: There is no - in font nullfont!
  81. Missing character: There is no > in font nullfont!
  82. Missing character: There is no I in font nullfont!
  83. Missing character: There is no n in font nullfont!
  84. Missing character: There is no t in font nullfont!
  85. Missing character: There is no m in font nullfont!
  86. Missing character: There is no o in font nullfont!
  87. Missing character: There is no d in font nullfont!
  88. Missing character: There is no 2 in font nullfont!
  89. Missing character: There is no x in font nullfont!
  90. Missing character: There is no | in font nullfont!
  91. Missing character: There is no x in font nullfont!
  92. Missing character: There is no - in font nullfont!
  93. Missing character: There is no 2 in font nullfont!
  94. Missing character: There is no = in font nullfont!
  95. Missing character: There is no = in font nullfont!
  96. Missing character: There is no 0 in font nullfont!
  97. Missing character: There is no = in font nullfont!
  98. Missing character: There is no 0 in font nullfont!
  99. Missing character: There is no | in font nullfont!
  100. Missing character: There is no x in font nullfont!
  101. Missing character: There is no - in font nullfont!
  102. Missing character: There is no 2 in font nullfont!
  103. Missing character: There is no < in font nullfont!
  104. Missing character: There is no 0 in font nullfont!
  105. Missing character: There is no = in font nullfont!
  106. Missing character: There is no x in font nullfont!
  107. Missing character: There is no | in font nullfont!
  108. Missing character: There is no o in font nullfont!
  109. Missing character: There is no t in font nullfont!
  110. Missing character: There is no h in font nullfont!
  111. Missing character: There is no e in font nullfont!
  112. Missing character: There is no r in font nullfont!
  113. Missing character: There is no w in font nullfont!
  114. Missing character: There is no i in font nullfont!
  115. Missing character: There is no s in font nullfont!
  116. Missing character: There is no e in font nullfont!
  117. Missing character: There is no = in font nullfont!
  118. Missing character: There is no m in font nullfont!
  119. Missing character: There is no o in font nullfont!
  120. Missing character: There is no d in font nullfont!
  121. Missing character: There is no 2 in font nullfont!
  122. Missing character: There is no ( in font nullfont!
  123. Missing character: There is no x in font nullfont!
  124. Missing character: There is no - in font nullfont!
  125. Missing character: There is no 2 in font nullfont!
  126. Missing character: There is no ) in font nullfont!
  127. ! LaTeX Error: \begin{document} ended by \end{haskellcode}.
  128. See the LaTeX manual or LaTeX Companion for explanation.
  129. Type H <return> for immediate help.
  130. ...
  131. l.10 \end{haskellcode}
  132. Your command was ignored.
  133. Type I <command> <return> to replace it with another command,
  134. or <return> to continue without it.
  135. Missing character: There is no T in font nullfont!
  136. Missing character: There is no h in font nullfont!
  137. Missing character: There is no e in font nullfont!
  138. Missing character: There is no s in font nullfont!
  139. Missing character: There is no e in font nullfont!
  140. Missing character: There is no t in font nullfont!
  141. Missing character: There is no h in font nullfont!
  142. Missing character: There is no i in font nullfont!
  143. Missing character: There is no n in font nullfont!
  144. Missing character: There is no g in font nullfont!
  145. Missing character: There is no s in font nullfont!
  146. Missing character: There is no a in font nullfont!
  147. Missing character: There is no b in font nullfont!
  148. Missing character: There is no o in font nullfont!
  149. Missing character: There is no v in font nullfont!
  150. Missing character: There is no e in font nullfont!
  151. Missing character: There is no a in font nullfont!
  152. Missing character: There is no r in font nullfont!
  153. Missing character: There is no e in font nullfont!
  154. Missing character: There is no c in font nullfont!
  155. Missing character: There is no a in font nullfont!
  156. Missing character: There is no l in font nullfont!
  157. Missing character: There is no l in font nullfont!
  158. Missing character: There is no e in font nullfont!
  159. Missing character: There is no d in font nullfont!
  160. Missing character: There is no a in font nullfont!
  161. Missing character: There is no n in font nullfont!
  162. Missing character: There is no d in font nullfont!
  163. Missing character: There is no a in font nullfont!
  164. Missing character: There is no r in font nullfont!
  165. Missing character: There is no e in font nullfont!
  166. Missing character: There is no s in font nullfont!
  167. Missing character: There is no i in font nullfont!
  168. Missing character: There is no m in font nullfont!
  169. Missing character: There is no i in font nullfont!
  170. Missing character: There is no l in font nullfont!
  171. Missing character: There is no a in font nullfont!
  172. Missing character: There is no r in font nullfont!
  173. Missing character: There is no t in font nullfont!
  174. Missing character: There is no o in font nullfont!
  175. Missing character: There is no . in font nullfont!
  176. Missing character: There is no T in font nullfont!
  177. Missing character: There is no h in font nullfont!
  178. Missing character: There is no e in font nullfont!
  179. Missing character: There is no y in font nullfont!
  180. Missing character: There is no a in font nullfont!
  181. Missing character: There is no r in font nullfont!
  182. Missing character: There is no e in font nullfont!
  183. Missing character: There is no p in font nullfont!
  184. Missing character: There is no r in font nullfont!
  185. Missing character: There is no o in font nullfont!
  186. Missing character: There is no c in font nullfont!
  187. Missing character: There is no e in font nullfont!
  188. Missing character: There is no s in font nullfont!
  189. Missing character: There is no s in font nullfont!
  190. Missing character: There is no e in font nullfont!
  191. Missing character: There is no d in font nullfont!
  192. Missing character: There is no i in font nullfont!
  193. Missing character: There is no n in font nullfont!
  194. Missing character: There is no o in font nullfont!
  195. Missing character: There is no r in font nullfont!
  196. Missing character: There is no d in font nullfont!
  197. Missing character: There is no e in font nullfont!
  198. Missing character: There is no r in font nullfont!
  199. Missing character: There is no . in font nullfont!
  200. Missing character: There is no I in font nullfont!
  201. Missing character: There is no f in font nullfont!
  202. Missing character: There is no t in font nullfont!
  203. Missing character: There is no h in font nullfont!
  204. Missing character: There is no e in font nullfont!
  205. Missing character: There is no c in font nullfont!
  206. Missing character: There is no o in font nullfont!
  207. Missing character: There is no n in font nullfont!
  208. Missing character: There is no d in font nullfont!
  209. Missing character: There is no i in font nullfont!
  210. Missing character: There is no t in font nullfont!
  211. Missing character: There is no i in font nullfont!
  212. Missing character: There is no o in font nullfont!
  213. Missing character: There is no n in font nullfont!
  214. Missing character: There is no o in font nullfont!
  215. Missing character: There is no n in font nullfont!
  216. Missing character: There is no t in font nullfont!
  217. Missing character: There is no h in font nullfont!
  218. Missing character: There is no e in font nullfont!
  219. Missing character: There is no l in font nullfont!
  220. Missing character: There is no e in font nullfont!
  221. Missing character: There is no f in font nullfont!
  222. Missing character: There is no t in font nullfont!
  223. Missing character: There is no s in font nullfont!
  224. Missing character: There is no i in font nullfont!
  225. Missing character: There is no d in font nullfont!
  226. Missing character: There is no e in font nullfont!
  227. Missing character: There is no o in font nullfont!
  228. Missing character: There is no f in font nullfont!
  229. Missing character: There is no t in font nullfont!
  230. Missing character: There is no h in font nullfont!
  231. Missing character: There is no e in font nullfont!
  232. Missing character: There is no e in font nullfont!
  233. Missing character: There is no q in font nullfont!
  234. Missing character: There is no u in font nullfont!
  235. Missing character: There is no a in font nullfont!
  236. Missing character: There is no t in font nullfont!
  237. Missing character: There is no i in font nullfont!
  238. Missing character: There is no o in font nullfont!
  239. Missing character: There is no n in font nullfont!
  240. Missing character: There is no i in font nullfont!
  241. Missing character: There is no s in font nullfont!
  242. Missing character: There is no t in font nullfont!
  243. Missing character: There is no r in font nullfont!
  244. Missing character: There is no u in font nullfont!
  245. Missing character: There is no e in font nullfont!
  246. Missing character: There is no , in font nullfont!
  247. Missing character: There is no t in font nullfont!
  248. Missing character: There is no h in font nullfont!
  249. Missing character: There is no e in font nullfont!
  250. Missing character: There is no n in font nullfont!
  251. Missing character: There is no i in font nullfont!
  252. Missing character: There is no t in font nullfont!
  253. Missing character: There is no r in font nullfont!
  254. Missing character: There is no e in font nullfont!
  255. Missing character: There is no t in font nullfont!
  256. Missing character: There is no u in font nullfont!
  257. Missing character: There is no r in font nullfont!
  258. Missing character: There is no n in font nullfont!
  259. Missing character: There is no s in font nullfont!
  260. Missing character: There is no w in font nullfont!
  261. Missing character: There is no h in font nullfont!
  262. Missing character: There is no a in font nullfont!
  263. Missing character: There is no t in font nullfont!
  264. Missing character: There is no s in font nullfont!
  265. Missing character: There is no t in font nullfont!
  266. Missing character: There is no a in font nullfont!
  267. Missing character: There is no n in font nullfont!
  268. Missing character: There is no d in font nullfont!
  269. Missing character: There is no s in font nullfont!
  270. Missing character: There is no o in font nullfont!
  271. Missing character: There is no n in font nullfont!
  272. Missing character: There is no t in font nullfont!
  273. Missing character: There is no h in font nullfont!
  274. Missing character: There is no e in font nullfont!
  275. Missing character: There is no r in font nullfont!
  276. Missing character: There is no i in font nullfont!
  277. Missing character: There is no g in font nullfont!
  278. Missing character: There is no h in font nullfont!
  279. Missing character: There is no t in font nullfont!
  280. Missing character: There is no s in font nullfont!
  281. Missing character: There is no i in font nullfont!
  282. Missing character: There is no d in font nullfont!
  283. Missing character: There is no e in font nullfont!
  284. Missing character: There is no o in font nullfont!
  285. Missing character: There is no f in font nullfont!
  286. Missing character: There is no t in font nullfont!
  287. Missing character: There is no h in font nullfont!
  288. Missing character: There is no e in font nullfont!
  289. Missing character: There is no e in font nullfont!
  290. Missing character: There is no q in font nullfont!
  291. Missing character: There is no u in font nullfont!
  292. Missing character: There is no a in font nullfont!
  293. Missing character: There is no t in font nullfont!
  294. Missing character: There is no i in font nullfont!
  295. Missing character: There is no o in font nullfont!
  296. Missing character: There is no n in font nullfont!
  297. Missing character: There is no . in font nullfont!
  298. Missing character: There is no I in font nullfont!
  299. Missing character: There is no f in font nullfont!
  300. Missing character: There is no i in font nullfont!
  301. Missing character: There is no t in font nullfont!
  302. Missing character: There is no ' in font nullfont!
  303. Missing character: There is no s in font nullfont!
  304. Missing character: There is no f in font nullfont!
  305. Missing character: There is no a in font nullfont!
  306. Missing character: There is no l in font nullfont!
  307. Missing character: There is no s in font nullfont!
  308. Missing character: There is no e in font nullfont!
  309. Missing character: There is no , in font nullfont!
  310. Missing character: There is no t in font nullfont!
  311. Missing character: There is no h in font nullfont!
  312. Missing character: There is no e in font nullfont!
  313. Missing character: There is no n in font nullfont!
  314. Missing character: There is no i in font nullfont!
  315. Missing character: There is no t in font nullfont!
  316. Missing character: There is no p in font nullfont!
  317. Missing character: There is no r in font nullfont!
  318. Missing character: There is no o in font nullfont!
  319. Missing character: There is no c in font nullfont!
  320. Missing character: There is no e in font nullfont!
  321. Missing character: There is no s in font nullfont!
  322. Missing character: There is no s in font nullfont!
  323. Missing character: There is no e in font nullfont!
  324. Missing character: There is no s in font nullfont!
  325. Missing character: There is no t in font nullfont!
  326. Missing character: There is no h in font nullfont!
  327. Missing character: There is no e in font nullfont!
  328. Missing character: There is no n in font nullfont!
  329. Missing character: There is no e in font nullfont!
  330. Missing character: There is no x in font nullfont!
  331. Missing character: There is no t in font nullfont!
  332. Missing character: There is no l in font nullfont!
  333. Missing character: There is no i in font nullfont!
  334. Missing character: There is no n in font nullfont!
  335. Missing character: There is no e in font nullfont!
  336. Missing character: There is no . in font nullfont!
  337. ! Undefined control sequence.
  338. <recently read> \code
  339. l.11 ..., then it processes the next line.\\ \code
  340. {otherwise} on the last li...
  341. The control sequence at the end of the top line
  342. of your error message was never \def'ed. If you have
  343. misspelled it (e.g., `\hobx'), type `I' and the correct
  344. spelling (e.g., `I\hbox'). Otherwise just continue,
  345. and I'll forget about whatever was undefined.
  346. Missing character: There is no o in font nullfont!
  347. Missing character: There is no t in font nullfont!
  348. Missing character: There is no h in font nullfont!
  349. Missing character: There is no e in font nullfont!
  350. Missing character: There is no r in font nullfont!
  351. Missing character: There is no w in font nullfont!
  352. Missing character: There is no i in font nullfont!
  353. Missing character: There is no s in font nullfont!
  354. Missing character: There is no e in font nullfont!
  355. Missing character: There is no o in font nullfont!
  356. Missing character: There is no n in font nullfont!
  357. Missing character: There is no t in font nullfont!
  358. Missing character: There is no h in font nullfont!
  359. Missing character: There is no e in font nullfont!
  360. Missing character: There is no l in font nullfont!
  361. Missing character: There is no a in font nullfont!
  362. Missing character: There is no s in font nullfont!
  363. Missing character: There is no t in font nullfont!
  364. Missing character: There is no l in font nullfont!
  365. Missing character: There is no i in font nullfont!
  366. Missing character: There is no n in font nullfont!
  367. Missing character: There is no e in font nullfont!
  368. Missing character: There is no i in font nullfont!
  369. Missing character: There is no s in font nullfont!
  370. Missing character: There is no j in font nullfont!
  371. Missing character: There is no u in font nullfont!
  372. Missing character: There is no s in font nullfont!
  373. Missing character: There is no t in font nullfont!
  374. Missing character: There is no d in font nullfont!
  375. Missing character: There is no e in font nullfont!
  376. Missing character: There is no f in font nullfont!
  377. Missing character: There is no i in font nullfont!
  378. Missing character: There is no n in font nullfont!
  379. Missing character: There is no e in font nullfont!
  380. Missing character: There is no d in font nullfont!
  381. Missing character: There is no a in font nullfont!
  382. Missing character: There is no s in font nullfont!
  383. ! Undefined control sequence.
  384. l.11 ... on the last line is just defined as \code
  385. {True}, to make these cons...
  386. The control sequence at the end of the top line
  387. of your error message was never \def'ed. If you have
  388. misspelled it (e.g., `\hobx'), type `I' and the correct
  389. spelling (e.g., `I\hbox'). Otherwise just continue,
  390. and I'll forget about whatever was undefined.
  391. Missing character: There is no T in font nullfont!
  392. Missing character: There is no r in font nullfont!
  393. Missing character: There is no u in font nullfont!
  394. Missing character: There is no e in font nullfont!
  395. Missing character: There is no , in font nullfont!
  396. Missing character: There is no t in font nullfont!
  397. Missing character: There is no o in font nullfont!
  398. Missing character: There is no m in font nullfont!
  399. Missing character: There is no a in font nullfont!
  400. Missing character: There is no k in font nullfont!
  401. Missing character: There is no e in font nullfont!
  402. Missing character: There is no t in font nullfont!
  403. Missing character: There is no h in font nullfont!
  404. Missing character: There is no e in font nullfont!
  405. Missing character: There is no s in font nullfont!
  406. Missing character: There is no e in font nullfont!
  407. Missing character: There is no c in font nullfont!
  408. Missing character: There is no o in font nullfont!
  409. Missing character: There is no n in font nullfont!
  410. Missing character: There is no s in font nullfont!
  411. Missing character: There is no t in font nullfont!
  412. Missing character: There is no r in font nullfont!
  413. Missing character: There is no u in font nullfont!
  414. Missing character: There is no c in font nullfont!
  415. Missing character: There is no t in font nullfont!
  416. Missing character: There is no s in font nullfont!
  417. Missing character: There is no e in font nullfont!
  418. Missing character: There is no a in font nullfont!
  419. Missing character: There is no s in font nullfont!
  420. Missing character: There is no i in font nullfont!
  421. Missing character: There is no e in font nullfont!
  422. Missing character: There is no r in font nullfont!
  423. Missing character: There is no t in font nullfont!
  424. Missing character: There is no o in font nullfont!
  425. Missing character: There is no r in font nullfont!
  426. Missing character: There is no e in font nullfont!
  427. Missing character: There is no a in font nullfont!
  428. Missing character: There is no d in font nullfont!
  429. Missing character: There is no a in font nullfont!
  430. Missing character: There is no n in font nullfont!
  431. Missing character: There is no d in font nullfont!
  432. Missing character: There is no c in font nullfont!
  433. Missing character: There is no a in font nullfont!
  434. Missing character: There is no t in font nullfont!
  435. Missing character: There is no c in font nullfont!
  436. Missing character: There is no h in font nullfont!
  437. Missing character: There is no a in font nullfont!
  438. Missing character: There is no l in font nullfont!
  439. Missing character: There is no l in font nullfont!
  440. Missing character: There is no o in font nullfont!
  441. Missing character: There is no t in font nullfont!
  442. Missing character: There is no h in font nullfont!
  443. Missing character: There is no e in font nullfont!
  444. Missing character: There is no r in font nullfont!
  445. Missing character: There is no c in font nullfont!
  446. Missing character: There is no a in font nullfont!
  447. Missing character: There is no s in font nullfont!
  448. Missing character: There is no e in font nullfont!
  449. Missing character: There is no s in font nullfont!
  450. Missing character: There is no o in font nullfont!
  451. Missing character: There is no f in font nullfont!
  452. Missing character: There is no i in font nullfont!
  453. Missing character: There is no n in font nullfont!
  454. Missing character: There is no p in font nullfont!
  455. Missing character: There is no u in font nullfont!
  456. Missing character: There is no t in font nullfont!
  457. Missing character: There is no . in font nullfont!
  458. )
  459. ! Emergency stop.
  460. <*> VL1_functions_and_control_structures3.tex
  461. *** (job aborted, no legal \end found)
  462. Here is how much of TeX's memory you used:
  463. 15 strings out of 494970
  464. 342 string characters out of 3179589
  465. 45290 words of memory out of 3000000
  466. 3318 multiletter control sequences out of 15000+200000
  467. 4462 words of font info for 17 fonts, out of 3000000 for 9000
  468. 36 hyphenation exceptions out of 8191
  469. 17i,1n,14p,501b,123s stack positions out of 5000i,500n,10000p,200000b,50000s
  470. ! ==> Fatal error occurred, no output PDF file produced!