File tree 2 files changed +9
-12
lines changed
plutus-benchmark/common/PlutusBenchmark
plutus-tx/testlib/PlutusTx/Test/Util
2 files changed +9
-12
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,6 @@ module PlutusBenchmark.Common
12
12
, compiledCodeToTerm
13
13
, haskellValueToTerm
14
14
, benchProgramCek
15
- , unsafeRunTermCek
16
15
, cekResultMatchesHaskellValue
17
16
, mkEvalCtx
18
17
, mkMostRecentEvalCtx
Original file line number Diff line number Diff line change @@ -9,7 +9,6 @@ module PlutusTx.Test.Util.Compiled (
9
9
toNamedDeBruijnTerm ,
10
10
compiledCodeToTerm ,
11
11
haskellValueToTerm ,
12
- unsafeRunTermCek ,
13
12
cekResultMatchesHaskellValue ,
14
13
)
15
14
where
@@ -71,13 +70,12 @@ cekResultMatchesHaskellValue
71
70
-> k
72
71
cekResultMatchesHaskellValue actual matches expected =
73
72
unsafeRunTermCek actual `matches` unsafeRunTermCek (haskellValueToTerm expected)
74
-
75
- -- | Just run a term to obtain an `EvaluationResult` (used for tests etc.)
76
- unsafeRunTermCek :: Term -> EvaluationResult Term
77
- unsafeRunTermCek =
78
- unsafeSplitStructuralOperational
79
- . (\ (res, _, _) -> res)
80
- . runCekDeBruijn
81
- PLC. defaultCekParametersForTesting
82
- Cek. restrictingEnormous
83
- Cek. noEmitter
73
+ where
74
+ unsafeRunTermCek :: Term -> EvaluationResult Term
75
+ unsafeRunTermCek =
76
+ unsafeSplitStructuralOperational
77
+ . (\ (res, _, _) -> res)
78
+ . runCekDeBruijn
79
+ PLC. defaultCekParametersForTesting
80
+ Cek. restrictingEnormous
81
+ Cek. noEmitter
You can’t perform that action at this time.
0 commit comments