search

gfngfn / SATySFi

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

Type Error at annot.satyh. #129

Closed puripuri2100 closed 5 years ago

puripuri2100 commented 5 years ago

Problem

When trying to compile the demo file, an error occurred in the package being loaded.

$ make
 ---- ---- ---- ----
  target file: 'demo.pdf'
  dump file: 'demo.satysfi-aux' (will be created)
  parsing 'demo.saty' ...
  parsing 'stdjabook.satyh' ...
  parsing 'pervasives.satyh' ...
  parsing 'gr.satyh' ...
  parsing 'geom.satyh' ...
  parsing 'list.satyg' ...
  parsing 'math.satyh' ...
  parsing 'color.satyh' ...
  parsing 'annot.satyh' ...
  parsing 'option.satyg' ...
  parsing 'footnote-scheme.satyh' ...
  parsing 'code.satyh' ...
  parsing 'vdecoset.satyh' ...
  parsing 'itemize.satyh' ...
  parsing 'tabular.satyh' ...
  parsing 'proof.satyh' ...
  parsing 'local.satyh' ...
  parsing 'hdecoset.satyh' ...
 ---- ---- ---- ----
  reading 'color.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'list.satyg' ...
  type check passed.
 ---- ---- ---- ----
  reading 'pervasives.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'option.satyg' ...
  type check passed.
 ---- ---- ---- ----
  reading 'tabular.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'geom.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'gr.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'annot.satyh' ...
! [Type Error] at "annot.satyh", line 18, characters 53-59:
    this expression has type
      length,
    but is expected of type
      (length * color) option.

Environment

gfngfn commented 5 years ago

Thank you for reporting. The problem was fixed by 437a8428c582b996740c6027092090937a85eeeb.