New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

既存の帰納型を引用する方法を改善する #838

Closed

Seasawher opened this issue Sep 20, 2024 · 0 comments · Fixed by #1008

Labels

本文

Member

Seasawher commented Sep 20, 2024

現在は、#print の出力を #guard_msgs で確認している。しかし、これは見づらいという問題がある。

#print 結果のアサーションを mdgen の出力から隠しつつ、自前で定義するのがもっとも見やすいだろう。

この場合、コメントなどで「アサーションが崩れたら本文全体を見直すように」と促す必要はある。

Seasawher added the 本文 label

Seasawher mentioned this issue

#print で既存の帰納型を紹介しない #1008

Merged

Seasawher closed this as completed in #1008

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment