Questions tagged [repl]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
2 answers
157 views

Unable to build project using latest version of plutus-apps using nix develop

When I run cabal repl on my project using nix develop I get the following error: Warning: Requested index-state 2023-02-20T00:00:00Z is newer than 'hackage.haskell.org'! Falling back to older state (...
Eric's user avatar
  • 85
1 vote
1 answer
169 views

Cabal repl fails because of missing dependency lzma

Summary When running cabal repl inside any week in the Plutus Pioneer Program, it fails with the error message: cabal: Missing dependency on a foreign library: * Missing (or bad) header file: lzma.h * ...
mayanhavoc's user avatar
0 votes
1 answer
17 views

Trying to understand import, browse, "as" and other terminology

I'm trying to understand at the lowest level exactly how Plutus/Haskell/Cabal works. I executed the following in the repl (inside nix): > import PlutusTx.Builtins.Internal as PTxBI Doing this ...
XiTouch's user avatar
  • 349
1 vote
2 answers
102 views

Difference between "import" and load (as "> :l ")

Update: I am more confused. If you follow the sequence below, you see that I attempt to load Either.hs, and get a missing module error attempt to load Monad.hs, and get a "one module loaded"...
XiTouch's user avatar
  • 349
2 votes
1 answer
110 views

Why would ">:i " work in the repl but not "> :t "?

Doing week 04, watching "PPP 030403 - The EmulatorTrace Monad" In the repl, having already imported as follows >import Data.Char >import Text.Read >import Plutus.Trace.Emulator >import Data....
XiTouch's user avatar
  • 349
4 votes
1 answer
46 views

Incorrect Pub Key from Wallet Emulator

I am getting incorrect pubkeys by running mockWalletPaymentPubKey $ knownWallet 1 and mockWalletPaymentPubKey $ knownWallet 2 (from here https://youtu.be/ae7U_yKIQ0Y?t=1390). I checked that I am in ...
Roofi's user avatar
  • 125
1 vote
0 answers
35 views

cabal repl error

When I run cabal repl in the week01 folder I get an error message that states the following */plutus-pioneer-program/code/week01/dist-newstyle: createDirectory: permission denied (Permission ...
SidneyN's user avatar
  • 11