idris-lang / Idris2

A purely functional programming language with first class types

https://idris-lang.org/

Other

2.53k stars 378 forks source link

[ fix ] make buildIdris nix function still work when there are more than one app directories in the build output #3385

Closed mattpolzin closed 2 months ago

mattpolzin commented 2 months ago

Description

Up until now I've never seen an app with more than one _app directory in the build output of Idris2, but I saw one today. This small change makes the Nix buildIdris function handle the multi-app-directory build artifacts without issue.

Should this change go in the CHANGELOG?

[ ] If this is a fix, user-facing change, a compiler change, or a new paper implementation, I have updated CHANGELOG_NEXT.md (and potentially also CONTRIBUTORS.md).