From 60537807f17ca288ca97e72bc70a6f5c06e7fa66 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Mon, 4 Dec 2023 13:46:58 +0000 Subject: [PATCH] Kwxm/conformance/more polymorphism tests (#5662) * Fix syntax in chooseData* conformance tests * Add some more test cases * Generalise some conformance test input types a bit * Fix syntax error * Corrections --- .../builtin/constant/data/dataMap/dataMap.uplc | 7 ++++--- .../constant/data/dataMap/dataMap.uplc.expected | 4 +++- .../constant/list/illTypedList1/illTypedList1.uplc | 2 ++ .../list/illTypedList1/illTypedList1.uplc.expected | 1 + .../constant/list/illTypedList2/illTypedList2.uplc | 2 ++ .../list/illTypedList2/illTypedList2.uplc.expected | 1 + .../constant/pair/illTypedPair1/illTypedPair1.uplc | 1 + .../pair/illTypedPair1/illTypedPair1.uplc.expected | 1 + .../constant/pair/illTypedPair2/illTypedPair2.uplc | 1 + .../pair/illTypedPair2/illTypedPair2.uplc.expected | 1 + .../chooseDataByteString/chooseDataByteString.uplc | 13 +++++++------ .../chooseDataByteString.uplc.expected | 2 +- .../chooseDataConstr/chooseDataConstr.uplc | 13 +++++++------ .../chooseDataConstr/chooseDataConstr.uplc.expected | 2 +- .../chooseDataInteger/chooseDataInteger.uplc | 13 +++++++------ .../chooseDataInteger.uplc.expected | 2 +- .../semantics/chooseDataList/chooseDataList.uplc | 13 +++++++------ .../chooseDataList/chooseDataList.uplc.expected | 2 +- .../semantics/chooseDataMap/chooseDataMap.uplc | 13 +++++++------ .../chooseDataMap/chooseDataMap.uplc.expected | 2 +- .../ifThenElse/ifThenElse-1/ifThenElse-1.uplc | 2 +- .../ifThenElse-1/ifThenElse-1.uplc.expected | 2 +- .../ifThenElse/ifThenElse-2/ifThenElse-2.uplc | 2 +- .../ifThenElse-2/ifThenElse-2.uplc.expected | 2 +- .../ifThenElse/ifThenElse-3/ifThenElse-3.uplc | 2 +- .../ifThenElse-bad-cond-1.uplc | 1 + .../ifThenElse-bad-cond-1.uplc.expected | 1 + .../ifThenElse-bad-cond-2.uplc | 1 + .../ifThenElse-bad-cond-2.uplc.expected | 1 + 29 files changed, 66 insertions(+), 44 deletions(-) create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc.expected create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc create mode 100644 plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc.expected diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc index da5c00d1f4e..a651bd5e096 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc @@ -1,5 +1,6 @@ (program 0.0.0 (con data ( - Map [ (B #0123, I 12345), - (B #456789, I 789453), - (B #0ABCDE, I 12364689486)] + Map [ (B #0123, I 12345), + (I 789453, B #456789), + (List [I -12364689486], Constr 7 []) + ] ))) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc.expected index b32654119c9..2b6430aab23 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/data/dataMap/dataMap.uplc.expected @@ -3,6 +3,8 @@ (con data (Map - [(B #0123, I 12345), (B #456789, I 789453), (B #0abcde, I 12364689486)]) + [ (B #0123, I 12345) + , (I 789453, B #456789) + , (List [I -12364689486], Constr 7 []) ]) ) ) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc new file mode 100644 index 00000000000..6b5e698f3c5 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc @@ -0,0 +1,2 @@ +(program 0.0.0 (con (list bool) [5]) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList1/illTypedList1.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc new file mode 100644 index 00000000000..bdc97017f16 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc @@ -0,0 +1,2 @@ +(program 0.0.0 (con (list bool) [(lam x (lam y x))]) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/list/illTypedList2/illTypedList2.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc new file mode 100644 index 00000000000..36565469efe --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc @@ -0,0 +1 @@ +(program 0.0.0 (con (pair integer string) ((lam x x), 1)) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair1/illTypedPair1.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc new file mode 100644 index 00000000000..deb91132b0b --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc @@ -0,0 +1 @@ +(program 0.0.0 (con (pair integer string) (1, (lam y y)))) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.expected new file mode 100644 index 00000000000..fd56948990e --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/constant/pair/illTypedPair2/illTypedPair2.uplc.expected @@ -0,0 +1 @@ +parse error \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc index 761f06e9bef..45e4a6c899a 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc @@ -1,8 +1,9 @@ (program 0.0.0 [[[[[[(force (builtin chooseData)) - (con data {ByteString #001A})] - (con data {Constr 1 [Integer 1]})] - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Integer 2})] - (con data {ByteString #001A})]) \ No newline at end of file + (con data (B #001A))] + (lam x (con integer 1))] + (lam y (con string "two"))] + (lam z3 z3)] + (lam u (con data (I 4)))] + (lam v (con data (B #05)))] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc.expected index fd56948990e..0a09a538223 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataByteString/chooseDataByteString.uplc.expected @@ -1 +1 @@ -parse error \ No newline at end of file +(program 0.0.0 (lam v (con data (B #05)))) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc index 44efef5e0de..e3d391bf5e2 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc @@ -1,8 +1,9 @@ (program 0.0.0 [[[[[[(force (builtin chooseData)) - (con data {Constr 1 [Integer 1]})] - (con data {Constr 1 [Integer 1]})] - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Integer 2})] - (con data {ByteString #001A})]) + (con data (Constr 1 [I 1]))] + (lam x (con integer 1))] + (lam y (con string "two"))] + (lam z3 z3)] + (lam u (con data (I 4)))] + (lam v (con data (B #05)))] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc.expected index fd56948990e..9e47bb889ed 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataConstr/chooseDataConstr.uplc.expected @@ -1 +1 @@ -parse error \ No newline at end of file +(program 0.0.0 (lam x (con integer 1))) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc index 7f9d06c6e12..a5613b92594 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc @@ -1,8 +1,9 @@ (program 0.0.0 [[[[[[(force (builtin chooseData)) - (con data {Integer 2})] - (con data {Constr 1 [Integer 1]})] - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Integer 2})] - (con data {ByteString #001A})]) \ No newline at end of file + (con data (I 5))] + (lam x (con integer 1))] + (lam y (con string "two"))] + (lam z3 z3)] + (lam u (con data (I 4)))] + (lam v (con data (B #05)))] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc.expected index fd56948990e..9b7fe047dfb 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataInteger/chooseDataInteger.uplc.expected @@ -1 +1 @@ -parse error \ No newline at end of file +(program 0.0.0 (lam u (con data (I 4)))) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc index 4161a81bcc5..69cd8415e37 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc @@ -1,8 +1,9 @@ (program 0.0.0 [[[[[[(force (builtin chooseData)) - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Constr 1 [Integer 1]})] - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Integer 2})] - (con data {ByteString #001A})]) + (con data (List [I 0, I 1 ]))] + (lam x (con integer 1))] + (lam y (con string "two"))] + (lam z3 z3)] + (lam u (con data (I 4)))] + (lam v (con data (B #05)))] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc.expected index fd56948990e..43467ba0c91 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataList/chooseDataList.uplc.expected @@ -1 +1 @@ -parse error \ No newline at end of file +(program 0.0.0 (lam z3 z3)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc index 68d00f4d8f3..6c752533647 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc @@ -1,8 +1,9 @@ (program 0.0.0 [[[[[[(force (builtin chooseData)) - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {Constr 1 [Integer 1]})] - (con data {Map [(Integer 0, ByteString #00), (Integer 1, ByteString #0F)]})] - (con data {List [ Integer 0, Integer 1 ]})] - (con data {Integer 2})] - (con data {ByteString #001A})]) + (con data (Map [(I 0, B #00), (B #0F, I 1)]))] + (lam x (con integer 1))] + (lam y (con string "two"))] + (lam z3 z3)] + (lam u (con data (I 4)))] + (lam v (con data (B #05)))] +) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc.expected index fd56948990e..620eaaa8bcf 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/chooseDataMap/chooseDataMap.uplc.expected @@ -1 +1 @@ -parse error \ No newline at end of file +(program 0.0.0 (lam y (con string "two"))) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc index 185b832a8eb..94a11f440aa 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc @@ -1 +1 @@ -(program 1.0.0 [ [ [ (force (builtin ifThenElse)) (con bool True) ] (con integer 0) ] (con integer 1) ]) \ No newline at end of file +(program 1.0.0 [ [ [ (force (builtin ifThenElse)) (con bool True) ] (lam x x) ] (con integer 2) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc.expected index 87e0223f6f0..b4f6fd5c3be 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-1/ifThenElse-1.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con integer 0)) \ No newline at end of file +(program 1.0.0 (lam x x)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc index 9d65986ad60..4cd3b1bfaef 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc @@ -1,3 +1,3 @@ (program 1.0.0 - [(force (builtin ifThenElse)) (con bool True) (con integer 23) (con integer 42)] + [(force (builtin ifThenElse)) (con bool False) (lam x x) (lam y (lam z z))] ) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc.expected index 74af428ae84..5c384bc04da 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-2/ifThenElse-2.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con integer 23)) \ No newline at end of file +(program 1.0.0 (lam y (lam z z))) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-3/ifThenElse-3.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-3/ifThenElse-3.uplc index 1297f975b0c..4f44fc88b4f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-3/ifThenElse-3.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-3/ifThenElse-3.uplc @@ -1,3 +1,3 @@ (program 1.0.0 - [(force (builtin ifThenElse)) (con bool False) (con integer 23) (con integer 42)] + [(force (builtin ifThenElse)) (con bool False) (lam x x) (con integer 42)] ) diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc new file mode 100644 index 00000000000..2b3b895e10f --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ [ [ (force (builtin ifThenElse)) (con integer 1) ] (con integer 11) ] (con integer -22) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-1/ifThenElse-bad-cond-1.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc new file mode 100644 index 00000000000..239ccef4132 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc @@ -0,0 +1 @@ +(program 1.0.0 [ [ [ (force (builtin ifThenElse)) (lam x (lam y x)) ] (con integer 11) ] (con integer -22) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc.expected new file mode 100644 index 00000000000..ccc477ffed6 --- /dev/null +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/ifThenElse/ifThenElse-bad-cond-2/ifThenElse-bad-cond-2.uplc.expected @@ -0,0 +1 @@ +evaluation failure \ No newline at end of file