Ⅰ. 插件描述
Ftplugin, syntax and supplemental plugin for Mercury compilerⅡ. 基本信息
|
Ⅲ. 安装方法
使用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