Allow multiple preloads before entering REPL

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

https://docs.argument.xyz

MIT License

46 stars 3 forks source link

Allow multiple preloads before entering REPL #395

Open finiteprods opened 1 day ago

finiteprods commented 1 day ago

extends the preload command line option to accept multiple files

$ lurk repl --help
Enters Lurk's REPL environment ("repl" can be elided)

Usage: lurk repl [OPTIONS]

Options:
      --preload <PRELOAD>...  Space separated list of files to load before entering the REPL
  -h, --help                  Print help

addresses #340
files are loaded in sequence without repeats e.g. the following loads file1 then file2 then file3
```
$ lurk --preload file1 file2 file1 file3
```