You are viewing the documentation for the develop branch. The documentation for the release version is here .

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: 2021-09-29 Wed 20:45

Validate