Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

function `format_stan_file` missing docs, example on how to deal with #includes

Đang mở
#853 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó
2/5
Thời gian dự kiến
1-3 giờ
Mức phù hợp với người mới
55/100
Loại issue
Tài liệu
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Ít trao đổi
Công nghệ
python
Lĩnh vực
documentation

Hướng nghiên cứu

Bắt đầu bằng cách xác định tài liệu hoặc điểm vào của format_stan_file và xem xét cách đối số stanc_options của nó xử lý các đường dẫn include và canonicalize=includes. Ghi lại ví dụ về STAN_INCLUDE_PATHS và làm rõ hành vi hoặc hạn chế hiện tại đối với các tệp có nhiều include, bao gồm cả issue stanc3 được liên kết.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

documentation

For Stan programs with include directives, format_stan_file requires the following:

STAN_INCLUDE_PATHS = [Path("stan").resolve()]
format_stan_file(m1_stan_file,  stanc_options={"include-paths" : STAN_INCLUDE_PATHS})

Document this?

Currently, because of issue https://github.com/stan-dev/stanc3/issues/1621, if a stan program file has multiple includes, format_stan_file also requires option: canonicalize=includes - which is technically a stanc option, and therefore one would expect it to be part of the stanc_options dict - this doesn't seem to work.

Ngôn ngữ chính
Python
Star
198
Fork
80
Merge trung bình
6 ngày 5 giờ
Pull request đã merge (30 ngày)
1

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của stan-dev/cmdstanpy

Tất cả issue của stan-dev/cmdstanpy

Issue tương tự

Thêm issue về Python

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.