search

amutake / docker-satysfi

Docker images for SATySFi and Satyrographos
https://hub.docker.com/r/amutake/satysfi/
Apache License 2.0
26 stars 5 forks source link

Use https:// instead of git:// #65

Closed amutake closed 3 years ago

amutake commented 3 years ago

ref: https://github.blog/2021-09-01-improving-git-protocol-security-github/

amutake commented 3 years ago 
  type checking 'gr.satyh' ...
! [Type Error] at "gr.satyh", line 5, character 0 to line 205, character 3:
    The implementation of value 'dashed-arrow' has type
      length -> length * length * length * length -> color -> length -> length -> length -> '#a * '#b -> length * length -> graphics list
    which is inconsistent with the type required by the signature
      length -> length * length * length -> color -> length -> length -> length -> point (= (length * length)) -> point (= (length * length)) -> graphics list
Error: Process completed with exit code 1.
puripuri2100 commented 3 years ago

I think this fix is the cause. It should be let tDASH = tPROD [tLN; tLN; tLN] https://github.com/gfngfn/SATySFi/commit/bca019720f46605cd0583ca2dd6bc9866b287e75#diff-03acdbbb3387f2ad7b850c6b830b2b013ff3cc60b0ffe501c49fa56e941d78c9R147

amutake commented 3 years ago

Thank you!