Table of Contents

Pact layer

Table of ContentsClose

1 Description

This layer adds support for the Pact Smart Contract Language.

1.1 Features:

  • Syntax highlighting for .pact source files
  • Easy interaction with an embedded Pact REPL
  • Flycheck integration

Note: You will need a pact binary on your PATH for REPL features to function.

2 Install

2.1 Layer

To use this configuration layer, add it to your ~/.spacemacs. You will need to add pact to the existing dotspacemacs-configuration-layers list in this file.

2.2 Flycheck

To enable flycheck, add the following to your dotspacemacs/user-config:

(add-hook 'pact-mode-hook 'flycheck-mode)

3 Key bindings

All Pact specific bindings are prefixed with the major-mode leader SPC m.

3.1 REPL

REPL commands are prefixed by SPC m s:

Key binding Description
SPC m s ' Open a Pact REPL in a new frame
SPC m s b Load or reload the current buffer into the REPL

Author: root

Created: 2019-11-10 Sun 14:17