Add an Idris gitignore #973

Merged
merged 1 commit into from Feb 28, 2014

Conversation

Projects
None yet
2 participants
Contributor

relrod commented Feb 28, 2014

Based on the Haskell one, but adds *.ibc for Idris bytecode.

relrod referenced this pull request Feb 28, 2014

Closed

Add Idris, fix Haskell #961

Collaborator

arcresu commented Feb 28, 2014

It seems that Idris is available as a Haskell package, but is also advertised as a standalone language. I guess I'm a little confused - is it dependent on Haskell, a fork of Haskell, or something completely separate which is just inspired by Haskell?

I ask because if it's experimental (thus in constant flux), has few users and doesn't differ much from Haskell, then it doesn't seem worth a new dedicated template. If it's something a lot of people are using and is separate from Haskell then we can go ahead with this. What do you think?

Contributor

relrod commented Feb 28, 2014

It is a new(ish) language that is written in Haskell and usually installed via cabal (which is why I kept all the cabal-related ignores - if people install into a cabal sandbox for their project, they'll want to ignore the cabal related files).

That said, I think maybe we shouldn't make an assumption like that, and should just ignore *.ibc and *.o instead. I'll update this to do that.

Contributor

relrod commented Feb 28, 2014

Done - how does that look?

Collaborator

arcresu commented Feb 28, 2014

Thanks for clarifying, and yeah that looks much better

@arcresu arcresu added a commit that referenced this pull request Feb 28, 2014

@arcresu arcresu Merge pull request #973 from CodeBlock/idris
Add an Idris template
fdc303b

@arcresu arcresu merged commit fdc303b into github:master Feb 28, 2014

@drothmaler drothmaler pushed a commit to drothmaler/gitignore that referenced this pull request May 27, 2014

@arcresu arcresu Merge pull request #973 from CodeBlock/idris
Add an Idris template
9c34eaa
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment