Oh, thank you. I suppose we’re ready to add it to hackage-server then. I am a bit worried about OtherCompiler. I am now wondering whether it would make sense to only make recognized compilers queryable. That way, the query language could permit multiple spellings like MicroHS and MHS.
It will be a while yet before MicroHs can compile all the packages needed for tests.