coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Merlin for Plugin Development

From: Gregory Malecha <gmalecha AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Merlin for Plugin Development
Date: Sun, 8 Nov 2015 20:29:23 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gmalecha AT gmail.com; spf=Pass smtp.mailfrom=gmalecha AT gmail.com; spf=None smtp.helo=postmaster AT mail-yk0-f172.google.com
Ironport-phdr: 9a23:U0I2EBGq4DHMmNeHb6OdgJ1GYnF86YWxBRYc798ds5kLTJ75ociwAkXT6L1XgUPTWs2DsrQf27eQ7/qocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLrjaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysebsrFHoSRaFri8XVXxTmR5VCSDE6gv7V9H/qH2pmPB63Xy1J8D5SqolERGr66pgSBag3CgCPjo0+2HeosN1haNf5hmmokoskMbvfIiJOa8mLevmdtQASD8EB54JWg==

Hi --

It is really useful to have a .merlin file when developing plugins. Is there a "standard" way to generate a .merlin file for the currently installed version of Coq? I'd be happy to write an extra bit of logic for coq_makefile if that is the right place to put it, but I'm not a merlin expert and I'm not certain if there is a more standard way to do it.

Any input would be greatly appreciated.

gregory malecha

[Coq-Club] Merlin for Plugin Development, Gregory Malecha, 11/09/2015