Against all likelihood I remembered to post this! The sigma type syntax has changed from (x | P x) to (x ** P x), so that’s reflected. Other than that, though, the colours of proof tactics and builtin syntax have been changed. I think that’s all.

Pow!

I also stuck it on patch-tag, but since it wasn’t darcsed until about a minute ago, the history isn’t very exciting yet.

Edit: don’t use this; the tactic colouring is flaky and doesn’t work. I’ll revert it and post a new version in a bit.

Anyone use Idris? You should, it’s good.

Anyway, I made a Vim syntax for it. Beware the indent is rubbish, due to the old chestnut that context free languages are a bit tricky to recognise using regular expressions. Colouring things in is easier because most of it is just looking for certain tokens (which, of course, really is regular in most/all languages).

Anyway, this. I might even remember to upload updates when I do them¹, who knows.

I can’t live without pretty colours in my editor so I threw together some Happy and Alex highlights. No indenting or anything like that because effort. (If you set autoindent, though, the indents leaking out from haskell.vim sometimes help a little, when they don’t do completely the wrong thing.)

• happy.vim
• alex.vim

They’re both public domain, I suppose, so if anyone wants to make them not suck, please do!

Since the last post, quite a lot of things have been added. Of course, most of them are so minor (fixing typos? Oh my!) that I didn’t bother posting about them. But there have been enough now that I might as well bullet point them up, for people who don’t feel like doing darcs changes.

(more…)

I apparently cannot get enough of Vimscript, so after someone on the Haskell-café list asked about it, I wrote a syntax mode for Cabal files. Hooray. (Hopefully no-one’s already written one…)

Not much to it at the moment, though there is an attempt at automatic indenting, since that was the bit I was missing the most.

It’s here if anyone wants it, or as it’s darcsed up:

darcs get http://patch-tag.com/publicrepos/cabal-vim

Since the Vim syntax file for Haskell was last updated, there have been a bunch of syntax extensions in GHC¹, like rank-n types, arrow syntax, and allsorts. I decided to add a few of these.

You can get it here. You might want to back up your old one; I’m pretty sure I haven’t broken anything, but my testing wasn’t exactly thorough (mostly consisting of checking the new syntax worked, rather than whether the old syntax was broken).

Update! if anyone’s seen this yet, then please download it again. The first time, (#) would make the # part of an unboxed tuple bracket. That’s fixed now. (See: lack of testing.)

(more…)