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.
 
 
 

251 lines
11 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:29
  2. entering extended mode
  3. \write18 enabled.
  4. %&-line parsing enabled.
  5. **VL1_ADT7.tex
  6. (./VL1_ADT7.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 S
  16. o if we want to generalize it, an algebraic data type has one or more \...
  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 S in font nullfont!
  20. Missing character: There is no o in font nullfont!
  21. Missing character: There is no i in font nullfont!
  22. Missing character: There is no f in font nullfont!
  23. Missing character: There is no w in font nullfont!
  24. Missing character: There is no e in font nullfont!
  25. Missing character: There is no w in font nullfont!
  26. Missing character: There is no a in font nullfont!
  27. Missing character: There is no n in font nullfont!
  28. Missing character: There is no t in font nullfont!
  29. Missing character: There is no t in font nullfont!
  30. Missing character: There is no o in font nullfont!
  31. Missing character: There is no g in font nullfont!
  32. Missing character: There is no e in font nullfont!
  33. Missing character: There is no n in font nullfont!
  34. Missing character: There is no e in font nullfont!
  35. Missing character: There is no r in font nullfont!
  36. Missing character: There is no a in font nullfont!
  37. Missing character: There is no l in font nullfont!
  38. Missing character: There is no i in font nullfont!
  39. Missing character: There is no z in font nullfont!
  40. Missing character: There is no e in font nullfont!
  41. Missing character: There is no i in font nullfont!
  42. Missing character: There is no t in font nullfont!
  43. Missing character: There is no , in font nullfont!
  44. Missing character: There is no a in font nullfont!
  45. Missing character: There is no n in font nullfont!
  46. Missing character: There is no a in font nullfont!
  47. Missing character: There is no l in font nullfont!
  48. Missing character: There is no g in font nullfont!
  49. Missing character: There is no e in font nullfont!
  50. Missing character: There is no b in font nullfont!
  51. Missing character: There is no r in font nullfont!
  52. Missing character: There is no a in font nullfont!
  53. Missing character: There is no i in font nullfont!
  54. Missing character: There is no c in font nullfont!
  55. Missing character: There is no d in font nullfont!
  56. Missing character: There is no a in font nullfont!
  57. Missing character: There is no t in font nullfont!
  58. Missing character: There is no a in font nullfont!
  59. Missing character: There is no t in font nullfont!
  60. Missing character: There is no y in font nullfont!
  61. Missing character: There is no p in font nullfont!
  62. Missing character: There is no e in font nullfont!
  63. Missing character: There is no h in font nullfont!
  64. Missing character: There is no a in font nullfont!
  65. Missing character: There is no s in font nullfont!
  66. Missing character: There is no o in font nullfont!
  67. Missing character: There is no n in font nullfont!
  68. Missing character: There is no e in font nullfont!
  69. Missing character: There is no o in font nullfont!
  70. Missing character: There is no r in font nullfont!
  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 r in font nullfont!
  74. Missing character: There is no e in font nullfont!
  75. Missing character: There is no , in font nullfont!
  76. Missing character: There is no a in font nullfont!
  77. Missing character: There is no n in font nullfont!
  78. Missing character: There is no d in font nullfont!
  79. Missing character: There is no e in font nullfont!
  80. Missing character: There is no a in font nullfont!
  81. Missing character: There is no c in font nullfont!
  82. Missing character: There is no h in font nullfont!
  83. Missing character: There is no o in font nullfont!
  84. Missing character: There is no f in font nullfont!
  85. Missing character: There is no t in font nullfont!
  86. Missing character: There is no h in font nullfont!
  87. Missing character: There is no e in font nullfont!
  88. Missing character: There is no m in font nullfont!
  89. Missing character: There is no c in font nullfont!
  90. Missing character: There is no a in font nullfont!
  91. Missing character: There is no n in font nullfont!
  92. Missing character: There is no h in font nullfont!
  93. Missing character: There is no a in font nullfont!
  94. Missing character: There is no v in font nullfont!
  95. Missing character: There is no e in font nullfont!
  96. Missing character: There is no z in font nullfont!
  97. Missing character: There is no e in font nullfont!
  98. Missing character: There is no r in font nullfont!
  99. Missing character: There is no o in font nullfont!
  100. Missing character: There is no o in font nullfont!
  101. Missing character: There is no r in font nullfont!
  102. Missing character: There is no m in font nullfont!
  103. Missing character: There is no o in font nullfont!
  104. Missing character: There is no r in font nullfont!
  105. Missing character: There is no e in font nullfont!
  106. Missing character: There is no a in font nullfont!
  107. Missing character: There is no r in font nullfont!
  108. Missing character: There is no g in font nullfont!
  109. Missing character: There is no u in font nullfont!
  110. Missing character: There is no m in font nullfont!
  111. Missing character: There is no e in font nullfont!
  112. Missing character: There is no n in font nullfont!
  113. Missing character: There is no t in font nullfont!
  114. Missing character: There is no s in font nullfont!
  115. Missing character: There is no . 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 g in font nullfont!
  119. Missing character: There is no . in font nullfont!
  120. Missing character: There is no : in font nullfont!
  121. ! LaTeX Error: Environment haskellcode undefined.
  122. See the LaTeX manual or LaTeX Companion for explanation.
  123. Type H <return> for immediate help.
  124. ...
  125. l.2 \begin{haskellcode}
  126. Your command was ignored.
  127. Type I <command> <return> to replace it with another command,
  128. or <return> to continue without it.
  129. Missing character: There is no d in font nullfont!
  130. Missing character: There is no a in font nullfont!
  131. Missing character: There is no t in font nullfont!
  132. Missing character: There is no a in font nullfont!
  133. Missing character: There is no A in font nullfont!
  134. Missing character: There is no l in font nullfont!
  135. Missing character: There is no g in font nullfont!
  136. Missing character: There is no D in font nullfont!
  137. Missing character: There is no a in font nullfont!
  138. Missing character: There is no t in font nullfont!
  139. Missing character: There is no a in font nullfont!
  140. Missing character: There is no T in font nullfont!
  141. Missing character: There is no y in font nullfont!
  142. Missing character: There is no p in font nullfont!
  143. Missing character: There is no e in font nullfont!
  144. Missing character: There is no = in font nullfont!
  145. Missing character: There is no C in font nullfont!
  146. Missing character: There is no o in font nullfont!
  147. Missing character: There is no n in font nullfont!
  148. Missing character: There is no s in font nullfont!
  149. Missing character: There is no t in font nullfont!
  150. Missing character: There is no r in font nullfont!
  151. Missing character: There is no 1 in font nullfont!
  152. Missing character: There is no T in font nullfont!
  153. Missing character: There is no y in font nullfont!
  154. Missing character: There is no p in font nullfont!
  155. Missing character: There is no e in font nullfont!
  156. Missing character: There is no 1 in font nullfont!
  157. Missing character: There is no 1 in font nullfont!
  158. Missing character: There is no T in font nullfont!
  159. Missing character: There is no y in font nullfont!
  160. Missing character: There is no p in font nullfont!
  161. Missing character: There is no e in font nullfont!
  162. Missing character: There is no 1 in font nullfont!
  163. Missing character: There is no 2 in font nullfont!
  164. Missing character: There is no | in font nullfont!
  165. Missing character: There is no C in font nullfont!
  166. Missing character: There is no o in font nullfont!
  167. Missing character: There is no n in font nullfont!
  168. Missing character: There is no s in font nullfont!
  169. Missing character: There is no t in font nullfont!
  170. Missing character: There is no r in font nullfont!
  171. Missing character: There is no 2 in font nullfont!
  172. Missing character: There is no T in font nullfont!
  173. Missing character: There is no y in font nullfont!
  174. Missing character: There is no p in font nullfont!
  175. Missing character: There is no e in font nullfont!
  176. Missing character: There is no 2 in font nullfont!
  177. Missing character: There is no 1 in font nullfont!
  178. Missing character: There is no | in font nullfont!
  179. Missing character: There is no C in font nullfont!
  180. Missing character: There is no o in font nullfont!
  181. Missing character: There is no n in font nullfont!
  182. Missing character: There is no s in font nullfont!
  183. Missing character: There is no t in font nullfont!
  184. Missing character: There is no r in font nullfont!
  185. Missing character: There is no 3 in font nullfont!
  186. Missing character: There is no T in font nullfont!
  187. Missing character: There is no y in font nullfont!
  188. Missing character: There is no p in font nullfont!
  189. Missing character: There is no e in font nullfont!
  190. Missing character: There is no 3 in font nullfont!
  191. Missing character: There is no 1 in font nullfont!
  192. Missing character: There is no T in font nullfont!
  193. Missing character: There is no y in font nullfont!
  194. Missing character: There is no p in font nullfont!
  195. Missing character: There is no e in font nullfont!
  196. Missing character: There is no 3 in font nullfont!
  197. Missing character: There is no 2 in font nullfont!
  198. Missing character: There is no T in font nullfont!
  199. Missing character: There is no y in font nullfont!
  200. Missing character: There is no p in font nullfont!
  201. Missing character: There is no e in font nullfont!
  202. Missing character: There is no 3 in font nullfont!
  203. Missing character: There is no 3 in font nullfont!
  204. Missing character: There is no | 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 s in font nullfont!
  209. Missing character: There is no t in font nullfont!
  210. Missing character: There is no r in font nullfont!
  211. Missing character: There is no 4 in font nullfont!
  212. ! LaTeX Error: \begin{document} ended by \end{haskellcode}.
  213. See the LaTeX manual or LaTeX Companion for explanation.
  214. Type H <return> for immediate help.
  215. ...
  216. l.7 \end{haskellcode}
  217. Your command was ignored.
  218. Type I <command> <return> to replace it with another command,
  219. or <return> to continue without it.
  220. )
  221. ! Emergency stop.
  222. <*> VL1_ADT7.tex
  223. *** (job aborted, no legal \end found)
  224. Here is how much of TeX's memory you used:
  225. 10 strings out of 494970
  226. 180 string characters out of 3179589
  227. 45290 words of memory out of 3000000
  228. 3315 multiletter control sequences out of 15000+200000
  229. 3948 words of font info for 15 fonts, out of 3000000 for 9000
  230. 36 hyphenation exceptions out of 8191
  231. 13i,1n,10p,180b,67s stack positions out of 5000i,500n,10000p,200000b,50000s
  232. ! ==> Fatal error occurred, no output PDF file produced!