Hi,

> Kazu, can you put create pull requests for happy and alex with your
> required changes?

I have one concern.

The version of alex on Hackage is 3.1.2. But that of github is
3.1.1:

        https://github.com/simonmar/alex/blob/master/alex.cabal

# This inconsistency exists in happy, too.

Did SimonM forget to push his local changes?

Should I send pull requests on github, anyway?

--Kazu