search

gfngfn / SATySFi

A statically-typed, functional typesetting system
GNU Lesser General Public License v3.0
1.18k stars 84 forks source link

Undesirable error reports happened when --type-check-only is set #214

Closed gfngfn closed 3 years ago

gfngfn commented 4 years ago

Affected by v0.0.4’s slight change on the behavior of --type-check-only for allowing non-stage-1 programs, the type checker newly reports an undesirable error when it checks a document file (at 9fb2b2c). For example, invoking $ satysfi --type-check-only demo.saty at demo/ results in:

! [Type Error] file 'demo.saty' is not a header file; it is of type
      document

This issue was first reported by @puripuri2100 via satysfi.slack.com.

gfngfn commented 3 years ago

Fixed. (b097d4d)