search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

Fix elisp package #42

Closed syohex closed 3 years ago

syohex commented 3 years ago
cpitclaudel commented 3 years ago

Is this needed? I intended Flycheck to be optional, and I thought the code worked fine if it wasn't installed.

syohex commented 3 years ago 
(file-missing Cannot open load file No such file or directory flycheck)

If flycheck is not installed then above error occurs.

https://github.com/cpitclaudel/alectryon/blob/3fbd6be218cd97b2dd6146bd3567a5b9644017cc/etc/elisp/alectryon.el#L79

Because this require does not specify noerror argument(3rd argument)

https://github.com/cpitclaudel/alectryon/blob/3fbd6be218cd97b2dd6146bd3567a5b9644017cc/etc/elisp/alectryon.el#L252-L269

This code is evaluated at load time.

cpitclaudel commented 3 years ago

Yes of course, how silly of me. Thanks.