Filename comparison is too strict.

[jfdm]

If the base name of the specified file is not made strictly relative, idrishl can fail.

For example:

• idrishl Data.Fuel fails
• idrishl ./Data.Fuel works

I believe the filter predicate used in sortedHighlights in Main.idr is not smart enough to work out that Data.Fuel and ./Data.Fuel are the same file.

[david-christiansen]

Yep. There's unfortunately no good Idris library for normalizing file names right now, so this is a bit inconvenient.

[david-christiansen]

Though it looks like you're adding a bit of a hack that fixes it for some cases, at least :-)

[david-christiansen]

I don't think that this is fixed yet, because it really should use a filename normalization relative to the current working directory. But the situation is better.

[jfdm]

Yeah, I know its a hack, but without a good file path library, it is the best I could think off.

[david-christiansen]

Definitely an improvement for everyday usability! When I was doing the code samples for my dissertation, I just had scripts that set everything up right. Which is obviously ridiculous.

[jfdm]

at least with this fix, my next paper will more than likely have semantic highlighting!

[david-christiansen]

Nice!

[david-christiansen]

It would also be nice to get .lidr support working in it.