#agda
#agda
Вопрос:
Компиляция моего кода Agda приводит к созданию src/MAlonzo каталога. (Где src/MyProject находится мой код Agda.) Он содержит кучу .hs файлов (Haskell) и .o (object).
Есть ли что-нибудь в этом каталоге, что я должен зафиксировать, или люди обычно добавляют /src/MAlonzo к своим .gitignore ?
Я спрашиваю, потому что я удивлен, что артефакты сборки помещаются в src каталог вместо _build каталога. Интересно, есть ли для этого причина.
Комментарии:
1. > Интересно, есть ли для этого какая-то причина. Это чисто историческое событие.
_buildбыл введен для.agdaiфайлов, и ни один из бэкэндов (MAlonzo, latex, html) не был изменен таким образом, чтобы их выходные_build/данные были по умолчанию.
Ответ №1:
ДА. MAlonzo — это серверная часть GHC, используемая для компиляции и запуска программ Agda. Все, что там, автоматически генерируется из ваших исходных файлов Agda.