gfngfn / SATySFi

A statically-typed, functional typesetting system

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Inputting an empty file leads to an unfriendly message

TonalidadeHidrica opened this issue · comments

If we input satysfi an empty file, it emits the following error message:

 ---- ---- ---- ----
  target file: 'report1.pdf'
  dump file: 'report1.satysfi-aux' (will be created)
  parsing 'report1.saty' ...
! [Syntax Error at Parser] at "report1.saty", line 1, characters 0-0:
Compile error.

It may be nicer if it outputs differently for specifically an empty file.

Closed by #330. Thanks for reporting.