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.

Re: that language I was talking about previously: doing the parser first and the semantics after is just a little bit backwards. So I’ve stopped that.

I’m thinking about its workings now. Nothing to post in that direction though. Stop rushing me.

Addendum!: It’s now been (mostly) abandoned since it came to light that it was, in fact, painfully unoriginal.

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!

It’s not an assignment so I’m putting it back on the internet, because everyone was obviously missing it so much.

http://adradh.org.uk/code/lambda/lambda-0.0c.tar.gz

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.

Read the rest of this entry »

It seems a bit ad-hoc, but for variable arglists I might just have them consume all the arglists that are the right shape. And if there’s a vararg inside it, then that will be all of them, of course.

Also, this is different from single varargs, but a varlist has to have at least one list.

Read the rest of this entry »

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

Oh dear, another keyword. I’m not doing very well at this “as little syntax as possible” thing. But I don’t really know what else to do about this: I don’t think SSA would be a very good fit.

My new nemesis: var. Other candidates like def or val haven’t been ruled out yet, though, except that they have the wrong connotations to me — defs are re-evaluated every time they are used, and vals are sort of semi-constant¹.So that’s why I’m thinking var.

Read the rest of this entry »

The shorter this post is, the happier I’ll be. It’s meant to be more of a reference as I inevitably have to add new things. Assuming I remember to update it of course.

Read the rest of this entry »