Daml REPL - is there a way to import DAML-LF JSON

[nycnewman]

In the vein of Daml Script, is there a way to import a file in Daml REPL? The use case would be to export a set of party identifiers via a script (i.e. initial user and party setup) and then have a way to import these party Ids into an active REPL session. Could be either a repl command (which may not be a preferred option) or via a command line option (import and define a variable). This might be an alternative to having to use PartyFromText.

[cocreature]

There is no option for this at the moment.

[nycnewman]

This could be useful for live ongoing environments.

[Stephen]

Is the data ready when starting the script? Then --input-file is the appropriate feature: Sorry, misread the first sentence of the question, thanks @cocreature

Accessing test data within Scripts

Hi @Alexander_Bernauer, The answer is contained in the documentation page of Daml Script, but it did take me a few minutes to re-puzzle it out, so I definitely agree it could be more explicit. The mechanism is actually really simple: the input file is used to define the argument to the script function. Here is a complete example. First, Main.daml: module Main where import Daml.Script data InputLine = InputLine with name: Text, age: Int deriving (Show, Eq) setup : [InputLine] -> Script Int…

[cocreature]

Daml REPL does not have an --input-file flag.