Mercury compiler support


Ⅰ. 插件描述

Ftplugin, syntax and supplemental plugin for Mercury compiler

Ⅱ. 基本信息

创建日期:  2010-01-07
使用用户:  1
Github星:  1
插件作者:  Sergey Khorev

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:
Plugin '/mercury-compiler-support'
… 然后在Vim中运行以下命令:
:source %
:PluginInstall

对于Vundle版本 < 0.10.2,请用上面的Bundle替换Plugin。

使用NeoBundle管理器安装

在你的.vimrc下添加:
NeoBundle '/mercury-compiler-support'
… 然后在Vim中运行以下命令:
:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:
Plug '/mercury-compiler-support'
… 然后在Vim中运行以下命令:
:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:
cd ~/.vim/bundle
git clone https://github.com/vim-scripts/Mercury-compiler-support

Ⅳ. 文档说明

This is a set of Vim plugins to simplify work with Mercury language compiler
(http://www.mercury.csse.unimelb.edu.au)
Native Mercury installer for Windows can be found here:
http://code.google.com/p/winmercury

Filetype plugin is a modified version of ftplugin from officical Mercury distribution. Syntax plugin is a copy of official plugin

mercury_commands plugin provides convenience commands for Mercury compiler:

:Mmc [arg1]... - Invoke compiler (mmc), using current file when no arguments passed.
:Mmake [arg1]... - Invoke mmake (mmake.bat on Windows).
:Mmerr - Show last output from :Mmc or :Mmake.
:Mmod name [interface_imports]
:Mmod name {interfaceimports} [implementation_imports] - Insert module template, interface_imports and implementation_imports are comma-separated lists of modules.
:Mmain name [interface_imports]
:Mmain name {interfaceimports} [implementation_imports] - Insert module template containing the `main' predicate

I am not actively using and developing it anymore. Feel free to fork it on https://bitbucket.org/khorser/vim-mercury or https://github.com/khorser/vim-mercury

添加新评论