Use 'UnliftWhenSaturated' instead of 'UnliftImmediately'

IntersectMBO · Mar 2, 2022 · 19656b6 · 19656b6
1 parent 3f5e5d0
commit 19656b6
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs b/plutus-core/plutus-core/src/PlutusCore/Builtin/Runtime.hs
@@ -83,7 +83,7 @@ data UnliftMode
     | UnliftWhenSaturated
 
 unliftMode :: UnliftMode
-unliftMode = UnliftImmediately
+unliftMode = UnliftWhenSaturated
 
 -- | Instantiate a 'BuiltinMeaning' given denotations of built-in functions and a cost model.
 toBuiltinRuntime :: cost -> BuiltinMeaning val cost -> BuiltinRuntime val

diff --git a/plutus-core/untyped-plutus-core/test/Evaluation/Golden/iteAtIntegerWrongCondType.plc.golden b/plutus-core/untyped-plutus-core/test/Evaluation/Golden/iteAtIntegerWrongCondType.plc.golden
@@ -1,4 +1,4 @@
-(Left An error has occurred:  error:
-Could not unlift a builtin:
-Type mismatch: expected: bool; actual: string
-Caused by: [ (force (builtin ifThenElse)) (con string "11 <= 22") ])
+(Right [
+  [ (force (builtin ifThenElse)) (con string "11 <= 22") ]
+  (con string "\172(11 <= 22)")
+])
diff --git a/plutus-core/untyped-plutus-core/test/Evaluation/Golden/iteAtIntegerWrongCondType.uplc.golden b/plutus-core/untyped-plutus-core/test/Evaluation/Golden/iteAtIntegerWrongCondType.uplc.golden
@@ -1,4 +1,4 @@
-(Left An error has occurred:  error:
-Could not unlift a builtin:
-Type mismatch: expected: bool; actual: string
-Caused by: [ (force (builtin ifThenElse)) (con string "11 <= 22") ])
+(Right [
+  [ (force (builtin ifThenElse)) (con string "11 <= 22") ]
+  (con string "\172(11 <= 22)")
+])