search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

No fresh function can be found while evaluating _[_/_] #22

Closed ayberkt closed 7 years ago

ayberkt commented 7 years ago

While writing tests for the prelude, I ran into the following problem:

[Error] Critical: Attempting to generate a fresh symbol of sort
Var@PLUTUS-CORE-SYNTAX but no fresh function can be found.
while evaluating function _[_/_]

The test case that causes this can be in prelude.plc, on branch prelude-tests:

(define test_curry
  [[Prelude.curry (lam x y (builtin addInt x y))]
   (con Prelude.MkPair 1 2)])
ayberkt commented 7 years ago

Not using substitution solved the problem for good, I believe. Closing this.