patch-prolog-repl 0.3.0

Interactive REPL for patch-prolog (`plgr`) — drives the compiler, never interprets
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

[package]
name = "patch-prolog-repl"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
description = "Interactive REPL for patch-prolog (`plgr`) — drives the compiler, never interprets"
repository = "https://git.navicore.tech/navicore/patch-prolog"
keywords = ["repl", "prolog", "patch-prolog", "tui"]
categories = ["development-tools", "command-line-utilities"]

# The crate is `plg-repl`; the installed binary is `plgr` (alongside plgc/plgl).
[[bin]]
name = "plgr"
path = "src/main.rs"

[dependencies]
# Engine frontend — the REPL parses/validates input and sources its
# completion vocabulary here. It NEVER links the solver; per
# LESSONS_FROM_V1 rule 3 it drives the compiler (see docs/design/REPL.md).
plg-frontend = { path = "../frontend", version = "=0.3.0", package = "patch-prolog-frontend" }
plg-shared = { path = "../shared", version = "=0.3.0", package = "patch-prolog-shared" }

# TUI + vim-motion line editing. `vim-line` (patch-seq's editor) is
# host-agnostic; `src/input.rs` adapts crossterm key events to it and
# owns the text buffer per its contract. shlex is for the `:edit` flow.
ratatui.workspace = true
crossterm.workspace = true
shlex.workspace = true
# `history` enables vim-line's pure command-history store (vim_line::history).
vim-line = { workspace = true, features = ["history"] }
tempfile.workspace = true
clap.workspace = true