Run
Loading...
PDF
stdout
stderr
---- ---- ---- ---- target file: 'output.pdf' dump file: 'input.satysfi-aux' (will be created) parsing 'input.saty' ... parsing 'stdjabook.satyh' ... parsing 'pervasives.satyh' ... parsing 'gr.satyh' ... parsing 'geom.satyh' ... parsing 'list.satyg' ... parsing 'option.satyg' ... parsing 'math.satyh' ... parsing 'code.satyh' ... parsing 'color.satyh' ... parsing 'vdecoset.satyh' ... parsing 'annot.satyh' ... parsing 'footnote-scheme.satyh' ... parsing 'itemize.satyh' ... ---- ---- ---- ---- type checking 'color.satyh' ... type check passed. ---- ---- ---- ---- type checking 'pervasives.satyh' ... type check passed. ---- ---- ---- ---- type checking 'option.satyg' ... type check passed. ---- ---- ---- ---- type checking 'geom.satyh' ... type check passed. ---- ---- ---- ---- type checking 'list.satyg' ... type check passed. ---- ---- ---- ---- type checking 'gr.satyh' ... type check passed. ---- ---- ---- ---- type checking 'annot.satyh' ... type check passed. ---- ---- ---- ---- type checking 'footnote-scheme.satyh' ... type check passed. ---- ---- ---- ---- type checking 'itemize.satyh' ... type check passed. ---- ---- ---- ---- type checking 'math.satyh' ... type check passed. ---- ---- ---- ---- type checking 'vdecoset.satyh' ... type check passed. ---- ---- ---- ---- type checking 'code.satyh' ... type check passed. ---- ---- ---- ---- type checking 'stdjabook.satyh' ... type check passed. ---- ---- ---- ---- type checking 'input.saty' ... ! [Type Error] at "input.saty", line 11, characters 18-34: too many argument(s); the command has type [math] math-cmd.