From 92d1d2819afbfe797716f5ec4ddf664bea9a700e Mon Sep 17 00:00:00 2001 From: effectfully Date: Wed, 2 Aug 2023 04:26:50 +0200 Subject: [PATCH] [Test] Dump types for 'stdlib' and 'examples' --- plutus-core/plutus-core.cabal | 1 + .../examples/PlutusCore/Examples/Builtins.hs | 1 + .../PlutusCore/Examples/Data/Function.hs | 23 ++++++ .../PlutusCore/Examples/Everything.hs | 4 + .../Examples/Function/unsafeCoerce.golden | 24 ++++++ .../TypeSynthesis/Golden/Absurd.plc.golden | 1 - .../Golden/AddInteger.plc.golden | 1 - .../Golden/AppendByteString.plc.golden | 1 - .../Golden/AppendString.plc.golden | 1 - .../TypeSynthesis/Golden/BData.plc.golden | 1 - .../Golden/BiconstPair.plc.golden | 7 -- .../Golden/Blake2b_224.plc.golden | 1 - .../Golden/Blake2b_256.plc.golden | 1 - .../Golden/Bls12_381_G1_add.plc.golden | 4 - .../Golden/Bls12_381_G1_compress.plc.golden | 1 - .../Golden/Bls12_381_G1_equal.plc.golden | 1 - .../Bls12_381_G1_hashToGroup.plc.golden | 1 - .../Golden/Bls12_381_G1_neg.plc.golden | 1 - .../Golden/Bls12_381_G1_scalarMul.plc.golden | 1 - .../Golden/Bls12_381_G1_uncompress.plc.golden | 1 - .../Golden/Bls12_381_G2_add.plc.golden | 4 - .../Golden/Bls12_381_G2_compress.plc.golden | 1 - .../Golden/Bls12_381_G2_equal.plc.golden | 1 - .../Bls12_381_G2_hashToGroup.plc.golden | 1 - .../Golden/Bls12_381_G2_neg.plc.golden | 1 - .../Golden/Bls12_381_G2_scalarMul.plc.golden | 1 - .../Golden/Bls12_381_G2_uncompress.plc.golden | 1 - .../Golden/Bls12_381_finalVerify.plc.golden | 1 - .../Golden/Bls12_381_millerLoop.plc.golden | 4 - .../Golden/Bls12_381_mulMlResult.plc.golden | 4 - .../Golden/ChooseData.plc.golden | 1 - .../Golden/ChooseList.plc.golden | 1 - .../Golden/ChooseUnit.plc.golden | 1 - .../TypeSynthesis/Golden/Comma.plc.golden | 1 - .../Golden/ConsByteString.plc.golden | 1 - .../TypeSynthesis/Golden/Const.plc.golden | 1 - .../Golden/ConstrData.plc.golden | 1 - .../Golden/DecodeUtf8.plc.golden | 1 - .../Golden/DefaultFun/AddInteger.plc.golden | 1 + .../DefaultFun/AppendByteString.plc.golden | 1 + .../Golden/DefaultFun/AppendString.plc.golden | 1 + .../Golden/DefaultFun/BData.plc.golden | 1 + .../Golden/DefaultFun/Blake2b_224.plc.golden | 1 + .../Golden/DefaultFun/Blake2b_256.plc.golden | 1 + .../DefaultFun/Bls12_381_G1_add.plc.golden | 1 + .../Bls12_381_G1_compress.plc.golden | 1 + .../DefaultFun/Bls12_381_G1_equal.plc.golden | 1 + .../Bls12_381_G1_hashToGroup.plc.golden | 1 + .../DefaultFun/Bls12_381_G1_neg.plc.golden | 1 + .../Bls12_381_G1_scalarMul.plc.golden | 1 + .../Bls12_381_G1_uncompress.plc.golden | 1 + .../DefaultFun/Bls12_381_G2_add.plc.golden | 1 + .../Bls12_381_G2_compress.plc.golden | 1 + .../DefaultFun/Bls12_381_G2_equal.plc.golden | 1 + .../Bls12_381_G2_hashToGroup.plc.golden | 1 + .../DefaultFun/Bls12_381_G2_neg.plc.golden | 1 + .../Bls12_381_G2_scalarMul.plc.golden | 1 + .../Bls12_381_G2_uncompress.plc.golden | 1 + .../Bls12_381_finalVerify.plc.golden | 1 + .../Bls12_381_millerLoop.plc.golden | 1 + .../Bls12_381_mulMlResult.plc.golden | 1 + .../Golden/DefaultFun/ChooseData.plc.golden | 1 + .../Golden/DefaultFun/ChooseList.plc.golden | 1 + .../Golden/DefaultFun/ChooseUnit.plc.golden | 1 + .../DefaultFun/ConsByteString.plc.golden | 1 + .../Golden/DefaultFun/ConstrData.plc.golden | 1 + .../Golden/DefaultFun/DecodeUtf8.plc.golden | 1 + .../DefaultFun/DivideInteger.plc.golden | 1 + .../Golden/DefaultFun/EncodeUtf8.plc.golden | 1 + .../DefaultFun/EqualsByteString.plc.golden | 1 + .../Golden/DefaultFun/EqualsData.plc.golden | 1 + .../DefaultFun/EqualsInteger.plc.golden | 1 + .../Golden/DefaultFun/EqualsString.plc.golden | 1 + .../Golden/DefaultFun/FstPair.plc.golden | 1 + .../Golden/DefaultFun/HeadList.plc.golden | 1 + .../Golden/DefaultFun/IData.plc.golden | 1 + .../Golden/DefaultFun/IfThenElse.plc.golden | 1 + .../DefaultFun/IndexByteString.plc.golden | 1 + .../Golden/DefaultFun/Keccak_256.plc.golden | 1 + .../DefaultFun/LengthOfByteString.plc.golden | 1 + .../DefaultFun/LessThanByteString.plc.golden | 1 + .../LessThanEqualsByteString.plc.golden | 1 + .../LessThanEqualsInteger.plc.golden | 1 + .../DefaultFun/LessThanInteger.plc.golden | 1 + .../Golden/DefaultFun/ListData.plc.golden | 1 + .../Golden/DefaultFun/MapData.plc.golden | 1 + .../Golden/DefaultFun/MkCons.plc.golden | 1 + .../Golden/DefaultFun/MkNilData.plc.golden | 1 + .../DefaultFun/MkNilPairData.plc.golden | 1 + .../Golden/DefaultFun/MkPairData.plc.golden | 1 + .../Golden/DefaultFun/ModInteger.plc.golden | 1 + .../DefaultFun/MultiplyInteger.plc.golden | 1 + .../Golden/DefaultFun/NullList.plc.golden | 1 + .../DefaultFun/QuotientInteger.plc.golden | 1 + .../DefaultFun/RemainderInteger.plc.golden | 1 + .../DefaultFun/SerialiseData.plc.golden | 1 + .../Golden/DefaultFun/Sha2_256.plc.golden | 1 + .../Golden/DefaultFun/Sha3_256.plc.golden | 1 + .../DefaultFun/SliceByteString.plc.golden | 1 + .../Golden/DefaultFun/SndPair.plc.golden | 1 + .../DefaultFun/SubtractInteger.plc.golden | 1 + .../Golden/DefaultFun/TailList.plc.golden | 1 + .../Golden/DefaultFun/Trace.plc.golden | 1 + .../Golden/DefaultFun/UnBData.plc.golden | 1 + .../Golden/DefaultFun/UnConstrData.plc.golden | 1 + .../Golden/DefaultFun/UnIData.plc.golden | 1 + .../Golden/DefaultFun/UnListData.plc.golden | 1 + .../Golden/DefaultFun/UnMapData.plc.golden | 1 + .../VerifyEcdsaSecp256k1Signature.plc.golden | 1 + .../VerifyEd25519Signature.plc.golden | 1 + ...VerifySchnorrSecp256k1Signature.plc.golden | 1 + .../Golden/DivideInteger.plc.golden | 1 - .../Golden/EncodeUtf8.plc.golden | 1 - .../Golden/EqualsByteString.plc.golden | 1 - .../Golden/EqualsData.plc.golden | 1 - .../Golden/EqualsInteger.plc.golden | 1 - .../Golden/EqualsString.plc.golden | 1 - .../Golden/ErrorPrime.plc.golden | 1 - .../Examples/Data/exampleData.plc.golden | 1 + .../Examples/Data/ofoldrData.plc.golden | 7 ++ .../Examples/Function/unsafeCoerce.plc.golden | 1 + .../InterList/FoldrInterList.plc.golden | 14 ++++ .../Examples/InterList/InterCons.plc.golden | 21 +++++ .../Examples/InterList/InterList.plc.golden | 8 ++ .../Examples/InterList/InterNil.plc.golden | 10 +++ .../Golden/Examples/List/omapList.plc.golden | 1 + .../Golden/Examples/Pair/obothPair.plc.golden | 1 + .../Examples/RecUnit/recUnit.plc.golden | 1 + .../Examples/RecUnit/runRecUnit.plc.golden | 1 + .../Golden/Examples/Shad/mkShad.plc.golden | 1 + .../Golden/Examples/Shad/shad.plc.golden | 1 + .../Examples/TreeForest/Forest.plc.golden | 27 +++++++ .../Examples/TreeForest/ForestCons.plc.golden | 61 ++++++++++++++ .../Examples/TreeForest/ForestNil.plc.golden | 21 +++++ .../Examples/TreeForest/Tree.plc.golden | 27 +++++++ .../Examples/TreeForest/TreeNode.plc.golden | 42 ++++++++++ .../Examples/Vec/churchConcat.plc.golden | 16 ++++ .../Golden/Examples/Vec/churchCons.plc.golden | 12 +++ .../Golden/Examples/Vec/churchNil.plc.golden | 5 ++ .../Golden/Examples/Vec/churchVec.plc.golden | 8 ++ .../Golden/Examples/Vec/plusT.plc.golden | 2 + .../Golden/Examples/Vec/scottCons.plc.golden | 18 +++++ .../Golden/Examples/Vec/scottHead.plc.golden | 10 +++ .../Golden/Examples/Vec/scottNil.plc.golden | 9 +++ .../Examples/Vec/scottSumHeadsOr0.plc.golden | 18 +++++ .../Golden/Examples/Vec/scottVec.plc.golden | 12 +++ .../Golden/Examples/Vec/succT.plc.golden | 1 + .../Golden/Examples/Vec/zeroT.plc.golden | 1 + .../Golden/ExpensivePlus.plc.golden | 1 - .../Golden/ExpensiveSucc.plc.golden | 1 - .../Golden/ExtensionFun/Absurd.plc.golden | 1 + .../ExtensionFun/BiconstPair.plc.golden | 1 + .../Golden/ExtensionFun/Comma.plc.golden | 1 + .../Golden/ExtensionFun/Const.plc.golden | 1 + .../Golden/ExtensionFun/ErrorPrime.plc.golden | 1 + .../ExtensionFun/ExpensivePlus.plc.golden | 1 + .../ExtensionFun/ExpensiveSucc.plc.golden | 1 + .../ExtensionFun/ExtensionVersion.plc.golden | 1 + .../Golden/ExtensionFun/Factorial.plc.golden | 1 + .../ExtensionFun/FailingPlus.plc.golden | 1 + .../ExtensionFun/FailingSucc.plc.golden | 1 + .../ExtensionFun/ForallFortyTwo.plc.golden | 1 + .../Golden/ExtensionFun/Id.plc.golden | 1 + .../ExtensionFun/IdAssumeBool.plc.golden | 1 + .../ExtensionFun/IdAssumeCheckBool.plc.golden | 1 + .../Golden/ExtensionFun/IdFInteger.plc.golden | 1 + .../ExtensionFun/IdIntegerAsBool.plc.golden | 1 + .../Golden/ExtensionFun/IdList.plc.golden | 4 + .../Golden/ExtensionFun/IdRank2.plc.golden | 1 + .../IdSomeConstantBool.plc.golden | 1 + .../Golden/ExtensionFun/IsConstant.plc.golden | 1 + .../ExtensionFun/ScottToMetaUnit.plc.golden | 1 + .../Golden/ExtensionFun/SumInteger.plc.golden | 1 + .../Golden/ExtensionFun/Swap.plc.golden | 1 + .../Golden/ExtensionFun/SwapEls.plc.golden | 1 + .../Golden/ExtensionFun/TrackCosts.plc.golden | 1 + .../Golden/ExtensionFun/Undefined.plc.golden | 1 + .../ExtensionFun/UnsafeCoerce.plc.golden | 1 + .../ExtensionFun/UnsafeCoerceEl.plc.golden | 1 + .../Golden/ExtensionVersion.plc.golden | 1 - .../TypeSynthesis/Golden/Factorial.plc.golden | 1 - .../Golden/FailingPlus.plc.golden | 1 - .../Golden/FailingSucc.plc.golden | 1 - .../Golden/ForallFortyTwo.plc.golden | 1 - .../TypeSynthesis/Golden/FstPair.plc.golden | 1 - .../TypeSynthesis/Golden/HeadList.plc.golden | 1 - .../TypeSynthesis/Golden/IData.plc.golden | 1 - .../test/TypeSynthesis/Golden/Id.plc.golden | 1 - .../Golden/IdAssumeBool.plc.golden | 1 - .../Golden/IdAssumeCheckBool.plc.golden | 1 - .../Golden/IdFInteger.plc.golden | 1 - .../Golden/IdIntegerAsBool.plc.golden | 1 - .../TypeSynthesis/Golden/IdList.plc.golden | 40 ---------- .../TypeSynthesis/Golden/IdRank2.plc.golden | 1 - .../Golden/IdSomeConstantBool.plc.golden | 1 - .../Golden/IfThenElse.plc.golden | 1 - .../Golden/IndexByteString.plc.golden | 1 - .../Golden/IsConstant.plc.golden | 1 - .../Golden/Keccak_256.plc.golden | 1 - .../Golden/LengthOfByteString.plc.golden | 1 - .../Golden/LessThanByteString.plc.golden | 1 - .../LessThanEqualsByteString.plc.golden | 1 - .../Golden/LessThanEqualsInteger.plc.golden | 1 - .../Golden/LessThanInteger.plc.golden | 1 - .../TypeSynthesis/Golden/ListData.plc.golden | 1 - .../TypeSynthesis/Golden/MapData.plc.golden | 1 - .../TypeSynthesis/Golden/MkCons.plc.golden | 1 - .../TypeSynthesis/Golden/MkNilData.plc.golden | 1 - .../Golden/MkNilPairData.plc.golden | 1 - .../Golden/MkPairData.plc.golden | 1 - .../Golden/ModInteger.plc.golden | 1 - .../Golden/MultiplyInteger.plc.golden | 1 - .../TypeSynthesis/Golden/NullList.plc.golden | 1 - .../Golden/QuotientInteger.plc.golden | 1 - .../Golden/RemainderInteger.plc.golden | 1 - .../Golden/ScottToMetaUnit.plc.golden | 1 - .../Golden/SerialiseData.plc.golden | 1 - .../TypeSynthesis/Golden/Sha2_256.plc.golden | 1 - .../TypeSynthesis/Golden/Sha3_256.plc.golden | 1 - .../Golden/SliceByteString.plc.golden | 1 - .../TypeSynthesis/Golden/SndPair.plc.golden | 1 - .../Golden/StdLib/Data/Bool/Bool.plc.golden | 1 + .../Golden/StdLib/Data/Bool/False.plc.golden | 1 + .../StdLib/Data/Bool/IfThenElse.plc.golden | 1 + .../Golden/StdLib/Data/Bool/True.plc.golden | 1 + .../Data/ChurchNat/ChurchNat.plc.golden | 1 + .../Data/ChurchNat/ChurchSucc.plc.golden | 1 + .../Data/ChurchNat/ChurchZero.plc.golden | 1 + .../Golden/StdLib/Data/Data/Data.plc.golden | 1 + .../StdLib/Data/Data/caseData.plc.golden | 8 ++ .../StdLib/Data/Function/Apply.plc.golden | 1 + .../StdLib/Data/Function/Const.plc.golden | 1 + .../StdLib/Data/Function/Fix.plc.golden | 1 + .../StdLib/Data/Function/Fix2.plc.golden | 3 + .../StdLib/Data/Function/Self.plc.golden | 1 + .../StdLib/Data/Function/Unroll.plc.golden | 1 + .../Data/Integer/SuccInteger.plc.golden | 1 + .../StdLib/Data/Integer/integer.plc.golden | 1 + .../StdLib/Data/List/CaseList.plc.golden | 1 + .../StdLib/Data/List/FoldList.plc.golden | 1 + .../StdLib/Data/List/FoldrList.plc.golden | 1 + .../Golden/StdLib/Data/List/List.plc.golden | 1 + .../Golden/StdLib/Data/Nat/FoldNat.plc.golden | 7 ++ .../StdLib/Data/Nat/FoldrNat.plc.golden | 7 ++ .../Golden/StdLib/Data/Nat/Nat.plc.golden | 3 + .../StdLib/Data/Nat/NatToInteger.plc.golden | 4 + .../Golden/StdLib/Data/Nat/Succ.plc.golden | 6 ++ .../Golden/StdLib/Data/Nat/Zero.plc.golden | 3 + .../Golden/StdLib/Data/Pair/Fst.plc.golden | 1 + .../Golden/StdLib/Data/Pair/Pair.plc.golden | 1 + .../Golden/StdLib/Data/Pair/Snd.plc.golden | 1 + .../StdLib/Data/Pair/Uncurry.plc.golden | 1 + .../StdLib/Data/ScottList/Cons.plc.golden | 4 + .../Data/ScottList/EnumFromTo.plc.golden | 3 + .../StdLib/Data/ScottList/FoldList.plc.golden | 5 ++ .../Data/ScottList/FoldrList.plc.golden | 5 ++ .../StdLib/Data/ScottList/List.plc.golden | 1 + .../StdLib/Data/ScottList/Nil.plc.golden | 1 + .../StdLib/Data/ScottList/Product.plc.golden | 2 + .../StdLib/Data/ScottList/Reverse.plc.golden | 3 + .../StdLib/Data/ScottList/Sum.plc.golden | 2 + .../Golden/StdLib/Data/Sum/Left.plc.golden | 1 + .../Golden/StdLib/Data/Sum/Right.plc.golden | 1 + .../Golden/StdLib/Data/Sum/Sum.plc.golden | 1 + .../Golden/StdLib/Data/Unit/Unit.plc.golden | 1 + .../StdLib/Data/Unit/Unitval.plc.golden | 1 + .../Meta/Data/Tuple/MkProdN2.plc.golden | 1 + .../StdLib/Meta/Data/Tuple/ProdN2.plc.golden | 1 + .../Meta/Data/Tuple/ProdN2_0.plc.golden | 1 + .../Meta/Data/Tuple/ProdN2_1.plc.golden | 1 + .../Golden/SubtractInteger.plc.golden | 1 - .../Golden/SumInteger.plc.golden | 1 - .../test/TypeSynthesis/Golden/Swap.plc.golden | 3 - .../TypeSynthesis/Golden/SwapEls.plc.golden | 8 -- .../TypeSynthesis/Golden/TailList.plc.golden | 1 - .../TypeSynthesis/Golden/Trace.plc.golden | 1 - .../Golden/TrackCosts.plc.golden | 1 - .../TypeSynthesis/Golden/UnBData.plc.golden | 1 - .../Golden/UnConstrData.plc.golden | 1 - .../TypeSynthesis/Golden/UnIData.plc.golden | 1 - .../Golden/UnListData.plc.golden | 1 - .../TypeSynthesis/Golden/UnMapData.plc.golden | 1 - .../TypeSynthesis/Golden/Undefined.plc.golden | 1 - .../Golden/UnsafeCoerce.plc.golden | 1 - .../Golden/UnsafeCoerceEl.plc.golden | 1 - .../VerifyEcdsaSecp256k1Signature.plc.golden | 1 - .../Golden/VerifyEd25519Signature.plc.golden | 1 - ...VerifySchnorrSecp256k1Signature.plc.golden | 1 - .../plutus-core/test/TypeSynthesis/Spec.hs | 79 ++++++++----------- 289 files changed, 649 insertions(+), 213 deletions(-) create mode 100644 plutus-core/plutus-core/examples/PlutusCore/Examples/Data/Function.hs create mode 100644 plutus-core/plutus-core/test/Pretty/Golden/Readable/Examples/Function/unsafeCoerce.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Absurd.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/AddInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/BData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/BiconstPair.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_224.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_256.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_add.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_compress.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_equal.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_hashToGroup.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_neg.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_scalarMul.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_uncompress.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_add.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_compress.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_equal.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_hashToGroup.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_neg.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_scalarMul.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_uncompress.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_finalVerify.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_millerLoop.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_mulMlResult.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseList.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseUnit.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Comma.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ConsByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Const.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ConstrData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DecodeUtf8.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_224.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_256.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_compress.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_equal.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_hashToGroup.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_neg.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_scalarMul.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_uncompress.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_finalVerify.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_millerLoop.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_mulMlResult.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseUnit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConsByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConstrData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DecodeUtf8.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DivideInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EncodeUtf8.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/FstPair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/HeadList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IfThenElse.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IndexByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Keccak_256.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LengthOfByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ListData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MapData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkCons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilPairData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkPairData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ModInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MultiplyInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/NullList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/QuotientInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/RemainderInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SerialiseData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha2_256.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha3_256.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SliceByteString.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SndPair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SubtractInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/TailList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Trace.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnBData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnConstrData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnIData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnListData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnMapData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEcdsaSecp256k1Signature.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEd25519Signature.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifySchnorrSecp256k1Signature.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/DivideInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/EncodeUtf8.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ErrorPrime.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/exampleData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/ofoldrData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Function/unsafeCoerce.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/FoldrInterList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterCons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterNil.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/List/omapList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Pair/obothPair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/recUnit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/runRecUnit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/mkShad.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/shad.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Forest.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestCons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestNil.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Tree.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/TreeNode.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchConcat.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchCons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchNil.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchVec.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/plusT.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottCons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottHead.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottNil.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottSumHeadsOr0.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottVec.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/succT.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/zeroT.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensivePlus.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensiveSucc.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Absurd.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/BiconstPair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Comma.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Const.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ErrorPrime.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensivePlus.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensiveSucc.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExtensionVersion.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Factorial.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingPlus.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingSucc.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ForallFortyTwo.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Id.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeBool.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeCheckBool.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdFInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdIntegerAsBool.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdRank2.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdSomeConstantBool.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IsConstant.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ScottToMetaUnit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SumInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Swap.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SwapEls.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/TrackCosts.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Undefined.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerce.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerceEl.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionVersion.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Factorial.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingPlus.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingSucc.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ForallFortyTwo.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/FstPair.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/HeadList.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Id.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeBool.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeCheckBool.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdFInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdIntegerAsBool.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdList.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdRank2.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IdSomeConstantBool.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IfThenElse.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IndexByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/IsConstant.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Keccak_256.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/LengthOfByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ListData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MapData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MkCons.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilPairData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MkPairData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ModInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/MultiplyInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/NullList.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/QuotientInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/RemainderInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/ScottToMetaUnit.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SerialiseData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha2_256.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha3_256.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SliceByteString.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SndPair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/Bool.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/False.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/IfThenElse.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/True.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchNat.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchSucc.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchZero.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/Data.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/caseData.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Apply.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Const.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix2.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Self.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Unroll.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/SuccInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/integer.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/CaseList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldrList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/List.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldNat.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldrNat.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Nat.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/NatToInteger.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Succ.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Zero.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Fst.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Pair.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Snd.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Uncurry.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Cons.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/EnumFromTo.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldrList.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/List.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Nil.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Product.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Reverse.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Sum.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Left.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Right.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Sum.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unit.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unitval.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/MkProdN2.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_0.plc.golden create mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_1.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SubtractInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SumInteger.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Swap.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/SwapEls.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/TailList.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Trace.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/TrackCosts.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnBData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnConstrData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnIData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnListData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnMapData.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/Undefined.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerce.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerceEl.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEcdsaSecp256k1Signature.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEd25519Signature.plc.golden delete mode 100644 plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifySchnorrSecp256k1Signature.plc.golden diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 94624f30a72..5e7cd1e523d 100644 --- a/plutus-core/plutus-core.cabal +++ b/plutus-core/plutus-core.cabal @@ -119,6 +119,7 @@ library PlutusCore.Evaluation.Result PlutusCore.Examples.Builtins PlutusCore.Examples.Data.Data + PlutusCore.Examples.Data.Function PlutusCore.Examples.Data.InterList PlutusCore.Examples.Data.List PlutusCore.Examples.Data.Pair diff --git a/plutus-core/plutus-core/examples/PlutusCore/Examples/Builtins.hs b/plutus-core/plutus-core/examples/PlutusCore/Examples/Builtins.hs index de529f71ca3..66b359dcb25 100644 --- a/plutus-core/plutus-core/examples/PlutusCore/Examples/Builtins.hs +++ b/plutus-core/plutus-core/examples/PlutusCore/Examples/Builtins.hs @@ -227,6 +227,7 @@ instance uni ~ DefaultUni => ToBuiltinMeaning uni ExtensionFun where type CostingPart uni ExtensionFun = () data BuiltinVersion ExtensionFun = ExtensionFunV0 | ExtensionFunV1 + deriving stock (Enum, Bounded, Show) toBuiltinMeaning :: forall val. HasMeaningIn uni val => BuiltinVersion ExtensionFun diff --git a/plutus-core/plutus-core/examples/PlutusCore/Examples/Data/Function.hs b/plutus-core/plutus-core/examples/PlutusCore/Examples/Data/Function.hs new file mode 100644 index 00000000000..3e8c34bc670 --- /dev/null +++ b/plutus-core/plutus-core/examples/PlutusCore/Examples/Data/Function.hs @@ -0,0 +1,23 @@ +{-# LANGUAGE OverloadedStrings #-} + +module PlutusCore.Examples.Data.Function + ( unsafeCoerce + ) where + +import PlutusCore.Core +import PlutusCore.MkPlc +import PlutusCore.Name +import PlutusCore.Quote + +import PlutusCore.StdLib.Data.Function + +unsafeCoerce :: Term TyName Name uni fun () +unsafeCoerce = runQuote $ do + a <- freshTyName "a" + b <- freshTyName "b" + return + . TyAbs () a (Type ()) + . TyAbs () b (Type ()) + . Apply () (mkIterInstNoAnn fix [TyVar () a, TyVar () b]) + . TyInst () idFun + $ TyFun () (TyVar () a) (TyVar () b) diff --git a/plutus-core/plutus-core/examples/PlutusCore/Examples/Everything.hs b/plutus-core/plutus-core/examples/PlutusCore/Examples/Everything.hs index 11e96928d2c..8622abc2f6f 100644 --- a/plutus-core/plutus-core/examples/PlutusCore/Examples/Everything.hs +++ b/plutus-core/plutus-core/examples/PlutusCore/Examples/Everything.hs @@ -22,6 +22,7 @@ import PlutusCore.StdLib.Type import PlutusCore.Examples.Builtins import PlutusCore.Examples.Data.Data +import PlutusCore.Examples.Data.Function import PlutusCore.Examples.Data.InterList import PlutusCore.Examples.Data.List import PlutusCore.Examples.Data.Pair @@ -38,6 +39,9 @@ examples = [ plcTermFile "ofoldrData" ofoldrData , plcTermFile "exampleData" exampleData ] + , treeFolderContents "Function" + [ plcTermFile "unsafeCoerce" unsafeCoerce + ] , treeFolderContents "InterList" [ plcTypeFile "InterList" $ _recursiveType interListData , plcTermFile "InterNil" interNil diff --git a/plutus-core/plutus-core/test/Pretty/Golden/Readable/Examples/Function/unsafeCoerce.golden b/plutus-core/plutus-core/test/Pretty/Golden/Readable/Examples/Function/unsafeCoerce.golden new file mode 100644 index 00000000000..cf0e997df36 --- /dev/null +++ b/plutus-core/plutus-core/test/Pretty/Golden/Readable/Examples/Function/unsafeCoerce.golden @@ -0,0 +1,24 @@ +/\a b -> + (/\a b -> + \(f : (a -> b) -> a -> b) -> + (/\a -> + \(s : (\a -> ifix (\(self :: * -> *) a -> self a -> a) a) a) -> + unwrap s s) + {a -> b} + (iwrap + (\(self :: * -> *) a -> self a -> a) + (a -> b) + (\(s : (\a -> ifix (\(self :: * -> *) a -> self a -> a) a) (a -> b)) + (x : a) -> + f + ((/\a -> + \(s : + (\a -> ifix (\(self :: * -> *) a -> self a -> a) a) + a) -> + unwrap s s) + {a -> b} + s) + x))) + {a} + {b} + ((/\a -> \(x : a) -> x) {a -> b}) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Absurd.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Absurd.plc.golden deleted file mode 100644 index 5f5b2e15802..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Absurd.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun (all a (type) a) a)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AddInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/AddInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AddInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendByteString.plc.golden deleted file mode 100644 index 01714abd65b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bytestring))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendString.plc.golden deleted file mode 100644 index 180e2f4dd23..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/AppendString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con string) (fun (con string) (con string))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/BData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/BData.plc.golden deleted file mode 100644 index c6415c03c32..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/BData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con data)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/BiconstPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/BiconstPair.plc.golden deleted file mode 100644 index da041d72991..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/BiconstPair.plc.golden +++ /dev/null @@ -1,7 +0,0 @@ -(all - a - (type) - (all - b (type) (fun a (fun b (fun [ [ (con pair) a ] b ] [ [ (con pair) a ] b ]))) - ) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_224.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_224.plc.golden deleted file mode 100644 index e8a4293b5b2..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_224.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_256.plc.golden deleted file mode 100644 index e8a4293b5b2..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Blake2b_256.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_add.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_add.plc.golden deleted file mode 100644 index 75ed5ddeb82..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_add.plc.golden +++ /dev/null @@ -1,4 +0,0 @@ -(fun - (con bls12_381_G1_element) - (fun (con bls12_381_G1_element) (con bls12_381_G1_element)) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_compress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_compress.plc.golden deleted file mode 100644 index f3ec6262955..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_compress.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G1_element) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_equal.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_equal.plc.golden deleted file mode 100644 index 4cdd5f1f023..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_equal.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G1_element) (fun (con bls12_381_G1_element) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_hashToGroup.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_hashToGroup.plc.golden deleted file mode 100644 index 4d4f41435f3..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_hashToGroup.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bls12_381_G1_element))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_neg.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_neg.plc.golden deleted file mode 100644 index 2e8fc68ea6a..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_neg.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G1_element) (con bls12_381_G1_element)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_scalarMul.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_scalarMul.plc.golden deleted file mode 100644 index de02cb7d99b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_scalarMul.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con bls12_381_G1_element) (con bls12_381_G1_element))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_uncompress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_uncompress.plc.golden deleted file mode 100644 index 2d0c44c612c..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G1_uncompress.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bls12_381_G1_element)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_add.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_add.plc.golden deleted file mode 100644 index 13b06daf64e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_add.plc.golden +++ /dev/null @@ -1,4 +0,0 @@ -(fun - (con bls12_381_G2_element) - (fun (con bls12_381_G2_element) (con bls12_381_G2_element)) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_compress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_compress.plc.golden deleted file mode 100644 index 46e11f7a2e9..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_compress.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G2_element) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_equal.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_equal.plc.golden deleted file mode 100644 index ba15b4e2685..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_equal.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G2_element) (fun (con bls12_381_G2_element) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_hashToGroup.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_hashToGroup.plc.golden deleted file mode 100644 index 9b8b740d851..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_hashToGroup.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bls12_381_G2_element))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_neg.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_neg.plc.golden deleted file mode 100644 index a4fd2a35be0..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_neg.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_G2_element) (con bls12_381_G2_element)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_scalarMul.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_scalarMul.plc.golden deleted file mode 100644 index 6ea38c75e2b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_scalarMul.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con bls12_381_G2_element) (con bls12_381_G2_element))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_uncompress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_uncompress.plc.golden deleted file mode 100644 index 1ead91b7c5e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_G2_uncompress.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bls12_381_G2_element)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_finalVerify.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_finalVerify.plc.golden deleted file mode 100644 index 778007979a3..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_finalVerify.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bls12_381_mlresult) (fun (con bls12_381_mlresult) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_millerLoop.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_millerLoop.plc.golden deleted file mode 100644 index d0eb117fa87..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_millerLoop.plc.golden +++ /dev/null @@ -1,4 +0,0 @@ -(fun - (con bls12_381_G1_element) - (fun (con bls12_381_G2_element) (con bls12_381_mlresult)) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_mulMlResult.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_mulMlResult.plc.golden deleted file mode 100644 index adb450981db..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Bls12_381_mulMlResult.plc.golden +++ /dev/null @@ -1,4 +0,0 @@ -(fun - (con bls12_381_mlresult) - (fun (con bls12_381_mlresult) (con bls12_381_mlresult)) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseData.plc.golden deleted file mode 100644 index fe81198ad62..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun (con data) (fun a (fun a (fun a (fun a (fun a a))))))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseList.plc.golden deleted file mode 100644 index 2a654120738..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseList.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun [ (con list) a ] (fun b (fun b b))))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseUnit.plc.golden deleted file mode 100644 index 10c3e378288..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ChooseUnit.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun (con unit) (fun a a))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Comma.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Comma.plc.golden deleted file mode 100644 index df5e92961de..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Comma.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun a (fun b [ [ (con pair) a ] b ])))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConsByteString.plc.golden deleted file mode 100644 index da026d6e7fe..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConsByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con bytestring) (con bytestring))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Const.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Const.plc.golden deleted file mode 100644 index 2a46e28914c..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Const.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun a (fun b a)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConstrData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConstrData.plc.golden deleted file mode 100644 index 5fa1482c828..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ConstrData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun [ (con list) (con data) ] (con data))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DecodeUtf8.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DecodeUtf8.plc.golden deleted file mode 100644 index 05850b5d087..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DecodeUtf8.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con string)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AddInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString.plc.golden new file mode 100644 index 00000000000..b478c5de3a6 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString.plc.golden new file mode 100644 index 00000000000..f4bedbfc343 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/AppendString.plc.golden @@ -0,0 +1 @@ +string -> string -> string \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData.plc.golden new file mode 100644 index 00000000000..7f8d263eada --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/BData.plc.golden @@ -0,0 +1 @@ +bytestring -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_224.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_224.plc.golden new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_224.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_256.plc.golden new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Blake2b_256.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add.plc.golden new file mode 100644 index 00000000000..8b3873644d8 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_add.plc.golden @@ -0,0 +1 @@ +bls12_381_G1_element -> bls12_381_G1_element -> bls12_381_G1_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress.plc.golden new file mode 100644 index 00000000000..9daeda573ce --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_compress.plc.golden @@ -0,0 +1 @@ +bls12_381_G1_element -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal.plc.golden new file mode 100644 index 00000000000..fc94df098e7 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_equal.plc.golden @@ -0,0 +1 @@ +bls12_381_G1_element -> bls12_381_G1_element -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup.plc.golden new file mode 100644 index 00000000000..4befb6401e1 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_hashToGroup.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bls12_381_G1_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg.plc.golden new file mode 100644 index 00000000000..5583cd785c2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_neg.plc.golden @@ -0,0 +1 @@ +bls12_381_G1_element -> bls12_381_G1_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul.plc.golden new file mode 100644 index 00000000000..2ef82236791 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_scalarMul.plc.golden @@ -0,0 +1 @@ +integer -> bls12_381_G1_element -> bls12_381_G1_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress.plc.golden new file mode 100644 index 00000000000..79bf25b0fe6 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G1_uncompress.plc.golden @@ -0,0 +1 @@ +bytestring -> bls12_381_G1_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add.plc.golden new file mode 100644 index 00000000000..638cb5f4058 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_add.plc.golden @@ -0,0 +1 @@ +bls12_381_G2_element -> bls12_381_G2_element -> bls12_381_G2_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_compress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_compress.plc.golden new file mode 100644 index 00000000000..efca9ec9f7d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_compress.plc.golden @@ -0,0 +1 @@ +bls12_381_G2_element -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_equal.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_equal.plc.golden new file mode 100644 index 00000000000..346c0c6c1e5 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_equal.plc.golden @@ -0,0 +1 @@ +bls12_381_G2_element -> bls12_381_G2_element -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_hashToGroup.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_hashToGroup.plc.golden new file mode 100644 index 00000000000..82edeeb53c3 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_hashToGroup.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bls12_381_G2_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_neg.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_neg.plc.golden new file mode 100644 index 00000000000..fb50d8630bf --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_neg.plc.golden @@ -0,0 +1 @@ +bls12_381_G2_element -> bls12_381_G2_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_scalarMul.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_scalarMul.plc.golden new file mode 100644 index 00000000000..2cb7c805614 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_scalarMul.plc.golden @@ -0,0 +1 @@ +integer -> bls12_381_G2_element -> bls12_381_G2_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_uncompress.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_uncompress.plc.golden new file mode 100644 index 00000000000..ef543355550 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_G2_uncompress.plc.golden @@ -0,0 +1 @@ +bytestring -> bls12_381_G2_element \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_finalVerify.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_finalVerify.plc.golden new file mode 100644 index 00000000000..c22c0116639 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_finalVerify.plc.golden @@ -0,0 +1 @@ +bls12_381_mlresult -> bls12_381_mlresult -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_millerLoop.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_millerLoop.plc.golden new file mode 100644 index 00000000000..8b881ffea55 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_millerLoop.plc.golden @@ -0,0 +1 @@ +bls12_381_G1_element -> bls12_381_G2_element -> bls12_381_mlresult \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_mulMlResult.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_mulMlResult.plc.golden new file mode 100644 index 00000000000..cae56dc4ebb --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Bls12_381_mulMlResult.plc.golden @@ -0,0 +1 @@ +bls12_381_mlresult -> bls12_381_mlresult -> bls12_381_mlresult \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseData.plc.golden new file mode 100644 index 00000000000..49dcc90b22d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseData.plc.golden @@ -0,0 +1 @@ +all a. data -> a -> a -> a -> a -> a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseList.plc.golden new file mode 100644 index 00000000000..65363cc2549 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseList.plc.golden @@ -0,0 +1 @@ +all a b. list a -> b -> b -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseUnit.plc.golden new file mode 100644 index 00000000000..e68a088c4f2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ChooseUnit.plc.golden @@ -0,0 +1 @@ +all a. unit -> a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConsByteString.plc.golden new file mode 100644 index 00000000000..0d47d89b31b --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConsByteString.plc.golden @@ -0,0 +1 @@ +integer -> bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConstrData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConstrData.plc.golden new file mode 100644 index 00000000000..59423f52cff --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ConstrData.plc.golden @@ -0,0 +1 @@ +integer -> list data -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DecodeUtf8.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DecodeUtf8.plc.golden new file mode 100644 index 00000000000..1ffc8d92919 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DecodeUtf8.plc.golden @@ -0,0 +1 @@ +bytestring -> string \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DivideInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DivideInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/DivideInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EncodeUtf8.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EncodeUtf8.plc.golden new file mode 100644 index 00000000000..c1e14e14091 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EncodeUtf8.plc.golden @@ -0,0 +1 @@ +string -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsByteString.plc.golden new file mode 100644 index 00000000000..eddc06092f0 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsData.plc.golden new file mode 100644 index 00000000000..675d3f3bbf9 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsData.plc.golden @@ -0,0 +1 @@ +data -> data -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsInteger.plc.golden new file mode 100644 index 00000000000..141470f4674 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsString.plc.golden new file mode 100644 index 00000000000..2a5db585579 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/EqualsString.plc.golden @@ -0,0 +1 @@ +string -> string -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/FstPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/FstPair.plc.golden new file mode 100644 index 00000000000..8dd3336a587 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/FstPair.plc.golden @@ -0,0 +1 @@ +all a b. pair a b -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/HeadList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/HeadList.plc.golden new file mode 100644 index 00000000000..3120420c62d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/HeadList.plc.golden @@ -0,0 +1 @@ +all a. list a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IData.plc.golden new file mode 100644 index 00000000000..0c153164190 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IData.plc.golden @@ -0,0 +1 @@ +integer -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IfThenElse.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IfThenElse.plc.golden new file mode 100644 index 00000000000..b451f7add22 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IfThenElse.plc.golden @@ -0,0 +1 @@ +all a. bool -> a -> a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IndexByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IndexByteString.plc.golden new file mode 100644 index 00000000000..73662d69f3a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/IndexByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Keccak_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Keccak_256.plc.golden new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Keccak_256.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LengthOfByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LengthOfByteString.plc.golden new file mode 100644 index 00000000000..aa49a117436 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LengthOfByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanByteString.plc.golden new file mode 100644 index 00000000000..eddc06092f0 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsByteString.plc.golden new file mode 100644 index 00000000000..eddc06092f0 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsByteString.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsInteger.plc.golden new file mode 100644 index 00000000000..141470f4674 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanEqualsInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanInteger.plc.golden new file mode 100644 index 00000000000..141470f4674 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/LessThanInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ListData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ListData.plc.golden new file mode 100644 index 00000000000..13b9db44731 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ListData.plc.golden @@ -0,0 +1 @@ +list data -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MapData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MapData.plc.golden new file mode 100644 index 00000000000..1e901a910be --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MapData.plc.golden @@ -0,0 +1 @@ +list (pair data data) -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkCons.plc.golden new file mode 100644 index 00000000000..b05a45591c2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkCons.plc.golden @@ -0,0 +1 @@ +all a. a -> list a -> list a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilData.plc.golden new file mode 100644 index 00000000000..ea465828f68 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilData.plc.golden @@ -0,0 +1 @@ +unit -> list data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilPairData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilPairData.plc.golden new file mode 100644 index 00000000000..9a3a337b0fe --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkNilPairData.plc.golden @@ -0,0 +1 @@ +unit -> list (pair data data) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkPairData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkPairData.plc.golden new file mode 100644 index 00000000000..fb6b01b2d6a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MkPairData.plc.golden @@ -0,0 +1 @@ +data -> data -> pair data data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ModInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ModInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/ModInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MultiplyInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MultiplyInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/MultiplyInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/NullList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/NullList.plc.golden new file mode 100644 index 00000000000..8a9b372752a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/NullList.plc.golden @@ -0,0 +1 @@ +all a. list a -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/QuotientInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/QuotientInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/QuotientInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/RemainderInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/RemainderInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/RemainderInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SerialiseData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SerialiseData.plc.golden new file mode 100644 index 00000000000..774e84c7048 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SerialiseData.plc.golden @@ -0,0 +1 @@ +data -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha2_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha2_256.plc.golden new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha2_256.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha3_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha3_256.plc.golden new file mode 100644 index 00000000000..770236177ca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Sha3_256.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SliceByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SliceByteString.plc.golden new file mode 100644 index 00000000000..99ffdcda17a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SliceByteString.plc.golden @@ -0,0 +1 @@ +integer -> integer -> bytestring -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SndPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SndPair.plc.golden new file mode 100644 index 00000000000..21cfd0fa7ae --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SndPair.plc.golden @@ -0,0 +1 @@ +all a b. pair a b -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SubtractInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SubtractInteger.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/SubtractInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/TailList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/TailList.plc.golden new file mode 100644 index 00000000000..197c0e40d6d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/TailList.plc.golden @@ -0,0 +1 @@ +all a. list a -> list a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Trace.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Trace.plc.golden new file mode 100644 index 00000000000..bba8f2550d0 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/Trace.plc.golden @@ -0,0 +1 @@ +all a. string -> a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnBData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnBData.plc.golden new file mode 100644 index 00000000000..774e84c7048 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnBData.plc.golden @@ -0,0 +1 @@ +data -> bytestring \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnConstrData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnConstrData.plc.golden new file mode 100644 index 00000000000..ed5978c8339 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnConstrData.plc.golden @@ -0,0 +1 @@ +data -> pair integer (list data) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnIData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnIData.plc.golden new file mode 100644 index 00000000000..8987efe938f --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnIData.plc.golden @@ -0,0 +1 @@ +data -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnListData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnListData.plc.golden new file mode 100644 index 00000000000..c44c8c3e5ee --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnListData.plc.golden @@ -0,0 +1 @@ +data -> list data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnMapData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnMapData.plc.golden new file mode 100644 index 00000000000..d83c3b6af6e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/UnMapData.plc.golden @@ -0,0 +1 @@ +data -> list (pair data data) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEcdsaSecp256k1Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEcdsaSecp256k1Signature.plc.golden new file mode 100644 index 00000000000..391c688a66e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEcdsaSecp256k1Signature.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEd25519Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEd25519Signature.plc.golden new file mode 100644 index 00000000000..391c688a66e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifyEd25519Signature.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifySchnorrSecp256k1Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifySchnorrSecp256k1Signature.plc.golden new file mode 100644 index 00000000000..391c688a66e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DefaultFun/VerifySchnorrSecp256k1Signature.plc.golden @@ -0,0 +1 @@ +bytestring -> bytestring -> bytestring -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DivideInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/DivideInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/DivideInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EncodeUtf8.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/EncodeUtf8.plc.golden deleted file mode 100644 index 6dae34a2bad..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EncodeUtf8.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con string) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsByteString.plc.golden deleted file mode 100644 index d64cd3ed72b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsData.plc.golden deleted file mode 100644 index 6a3ebd24399..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) (fun (con data) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsInteger.plc.golden deleted file mode 100644 index 5cc0eb0a3b7..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsString.plc.golden deleted file mode 100644 index 34f19dc574e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/EqualsString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con string) (fun (con string) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ErrorPrime.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ErrorPrime.plc.golden deleted file mode 100644 index 61af5031424..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ErrorPrime.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) a) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/exampleData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/exampleData.plc.golden new file mode 100644 index 00000000000..e59a1474313 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/exampleData.plc.golden @@ -0,0 +1 @@ +unit -> unit -> unit -> unit -> data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/ofoldrData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/ofoldrData.plc.golden new file mode 100644 index 00000000000..8f0d8fc0159 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Data/ofoldrData.plc.golden @@ -0,0 +1,7 @@ +(integer -> list data -> data) -> +(list (pair data data) -> data) -> +(list data -> data) -> +(integer -> data) -> +(bytestring -> data) -> +data -> +data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Function/unsafeCoerce.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Function/unsafeCoerce.plc.golden new file mode 100644 index 00000000000..500af44a4c2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Function/unsafeCoerce.plc.golden @@ -0,0 +1 @@ +all a b. a -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/FoldrInterList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/FoldrInterList.plc.golden new file mode 100644 index 00000000000..f0f2b802640 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/FoldrInterList.plc.golden @@ -0,0 +1,14 @@ +all a0 b0 r. + (a0 -> b0 -> r -> r) -> + r -> + (a0 -> b0 -> r -> r) -> + ifix + (\(rec :: ((* -> * -> *) -> *) -> *) (spine :: (* -> * -> *) -> *) -> + spine + (\a b -> + all r. + r -> + (a -> b -> rec (\(dat :: * -> * -> *) -> dat b a) -> r) -> + r)) + (\(dat :: * -> * -> *) -> dat a0 b0) -> + r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterCons.plc.golden new file mode 100644 index 00000000000..cd483e9d065 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterCons.plc.golden @@ -0,0 +1,21 @@ +all a b. + a -> + b -> + ifix + (\(rec :: ((* -> * -> *) -> *) -> *) (spine :: (* -> * -> *) -> *) -> + spine + (\a b -> + all r. + r -> + (a -> b -> rec (\(dat :: * -> * -> *) -> dat b a) -> r) -> + r)) + (\(dat :: * -> * -> *) -> dat b a) -> + ifix + (\(rec :: ((* -> * -> *) -> *) -> *) (spine :: (* -> * -> *) -> *) -> + spine + (\a b -> + all r. + r -> + (a -> b -> rec (\(dat :: * -> * -> *) -> dat b a) -> r) -> + r)) + (\(dat :: * -> * -> *) -> dat a b) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterList.plc.golden new file mode 100644 index 00000000000..4bf95b64ed1 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterList.plc.golden @@ -0,0 +1,8 @@ +\a b -> + ifix + (\(rec :: ((* -> * -> *) -> *) -> *) (spine :: (* -> * -> *) -> *) -> + spine + ((\(interlist :: * -> * -> *) a b -> + all r. r -> (a -> b -> interlist b a -> r) -> r) + (\a b -> rec (\(dat :: * -> * -> *) -> dat a b)))) + (\(dat :: * -> * -> *) -> dat a b) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterNil.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterNil.plc.golden new file mode 100644 index 00000000000..207d9091b83 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/InterList/InterNil.plc.golden @@ -0,0 +1,10 @@ +all a b. + ifix + (\(rec :: ((* -> * -> *) -> *) -> *) (spine :: (* -> * -> *) -> *) -> + spine + (\a b -> + all r. + r -> + (a -> b -> rec (\(dat :: * -> * -> *) -> dat b a) -> r) -> + r)) + (\(dat :: * -> * -> *) -> dat a b) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/List/omapList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/List/omapList.plc.golden new file mode 100644 index 00000000000..eb4b65632fa --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/List/omapList.plc.golden @@ -0,0 +1 @@ +all a. (a -> a) -> list a -> list a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Pair/obothPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Pair/obothPair.plc.golden new file mode 100644 index 00000000000..1663c588324 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Pair/obothPair.plc.golden @@ -0,0 +1 @@ +all a. (a -> a) -> pair a a -> pair a a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/recUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/recUnit.plc.golden new file mode 100644 index 00000000000..244c5e07f37 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/recUnit.plc.golden @@ -0,0 +1 @@ +ifix (\(rec :: * -> *) i -> all r. rec i -> r -> r) unit \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/runRecUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/runRecUnit.plc.golden new file mode 100644 index 00000000000..1ff1a7b683f --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/RecUnit/runRecUnit.plc.golden @@ -0,0 +1 @@ +all a. ifix (\(rec :: * -> *) i -> all r. rec i -> r -> r) unit -> a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/mkShad.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/mkShad.plc.golden new file mode 100644 index 00000000000..fdf05bcd82a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/mkShad.plc.golden @@ -0,0 +1 @@ +all a. ifix (\(rec :: * -> *) i -> a -> (all (a :: * -> *). a i -> integer)) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/shad.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/shad.plc.golden new file mode 100644 index 00000000000..ec6af5d6d65 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Shad/shad.plc.golden @@ -0,0 +1 @@ +\a -> ifix (\(rec :: * -> *) i -> a -> (all (a :: * -> *). a i -> integer)) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Forest.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Forest.plc.golden new file mode 100644 index 00000000000..0b893ddedc7 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Forest.plc.golden @@ -0,0 +1,27 @@ +(\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> f)) + (\a (tag :: * -> * -> *) -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + ((\(treeForest :: * -> (* -> * -> *) -> *) a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + (\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> f)) + treeForest + a -> + r) -> + r) + (r -> + ((\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> t)) + treeForest + a -> + (\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> f)) + treeForest + a -> + r) -> + r)) + (\a (tag :: * -> * -> *) -> + rec (\(dat :: * -> (* -> * -> *) -> *) -> dat a tag)))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a tag)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestCons.plc.golden new file mode 100644 index 00000000000..1678a0036c5 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestCons.plc.golden @@ -0,0 +1,61 @@ +all a. + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestNil.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestNil.plc.golden new file mode 100644 index 00000000000..3e57b1b9b06 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/ForestNil.plc.golden @@ -0,0 +1,21 @@ +all a. + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Tree.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Tree.plc.golden new file mode 100644 index 00000000000..d44f7f3cf75 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/Tree.plc.golden @@ -0,0 +1,27 @@ +(\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> t)) + (\a (tag :: * -> * -> *) -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + ((\(treeForest :: * -> (* -> * -> *) -> *) a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + (\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> f)) + treeForest + a -> + r) -> + r) + (r -> + ((\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> t)) + treeForest + a -> + (\(d :: * -> (* -> * -> *) -> *) a -> d a (\t f -> f)) + treeForest + a -> + r) -> + r)) + (\a (tag :: * -> * -> *) -> + rec (\(dat :: * -> (* -> * -> *) -> *) -> dat a tag)))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a tag)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/TreeNode.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/TreeNode.plc.golden new file mode 100644 index 00000000000..c5645a3e1cf --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/TreeForest/TreeNode.plc.golden @@ -0,0 +1,42 @@ +all a. + a -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + ifix + (\(rec :: ((* -> (* -> * -> *) -> *) -> *) -> *) + (spine :: (* -> (* -> * -> *) -> *) -> *) -> + spine + (\a (tag :: * -> * -> *) -> + all r. + tag + ((a -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r) + (r -> + (rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) -> + rec + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> f)) -> + r) -> + r))) + (\(dat :: * -> (* -> * -> *) -> *) -> dat a (\t f -> t)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchConcat.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchConcat.plc.golden new file mode 100644 index 00000000000..3d4b69c45fb --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchConcat.plc.golden @@ -0,0 +1,16 @@ +all a (n :: (* -> *) -> * -> *) (m :: (* -> *) -> * -> *). + (all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) -> + (all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r (\(f :: * -> *) z -> m f z)) -> + (all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r (\(f :: * -> *) z -> n f (m f z))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchCons.plc.golden new file mode 100644 index 00000000000..df2f1a375a6 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchCons.plc.golden @@ -0,0 +1,12 @@ +all a (n :: (* -> *) -> * -> *). + a -> + (all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) -> + (all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r (\(f :: * -> *) z -> f (n f z))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchNil.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchNil.plc.golden new file mode 100644 index 00000000000..5fb2dc8a777 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchNil.plc.golden @@ -0,0 +1,5 @@ +all a (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> r p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r (\(f :: * -> *) z -> z) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchVec.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchVec.plc.golden new file mode 100644 index 00000000000..485e543e89a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/churchVec.plc.golden @@ -0,0 +1,8 @@ +\a (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> + r p -> + r ((\(n :: (* -> *) -> * -> *) (f :: * -> *) z -> f (n f z)) p)) -> + r (\(f :: * -> *) z -> z) -> + r n \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/plusT.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/plusT.plc.golden new file mode 100644 index 00000000000..bde130a4a25 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/plusT.plc.golden @@ -0,0 +1,2 @@ +\(n :: (* -> *) -> * -> *) (m :: (* -> *) -> * -> *) (f :: * -> *) z -> + n f (m f z) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottCons.plc.golden new file mode 100644 index 00000000000..ffeb87c8af3 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottCons.plc.golden @@ -0,0 +1,18 @@ +all a (n :: (* -> *) -> * -> *). + a -> + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + n -> + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + (\(f :: * -> *) z -> f (n f z)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottHead.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottHead.plc.golden new file mode 100644 index 00000000000..94e23c21325 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottHead.plc.golden @@ -0,0 +1,10 @@ +all a (n :: (* -> *) -> * -> *). + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + (\(f :: * -> *) z -> f (n f z)) -> + a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottNil.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottNil.plc.golden new file mode 100644 index 00000000000..2cd5f050f2d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottNil.plc.golden @@ -0,0 +1,9 @@ +all a. + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + (\(f :: * -> *) z -> z) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottSumHeadsOr0.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottSumHeadsOr0.plc.golden new file mode 100644 index 00000000000..c1190232ee1 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottSumHeadsOr0.plc.golden @@ -0,0 +1,18 @@ +all (n :: (* -> *) -> * -> *). + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + integer -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + n -> + ifix + (\(rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + integer -> rec p -> r (\(f :: * -> *) z -> f (p f z))) -> + r (\(f :: * -> *) z -> z) -> + r n) + n -> + integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottVec.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottVec.plc.golden new file mode 100644 index 00000000000..66921c006cd --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/scottVec.plc.golden @@ -0,0 +1,12 @@ +\a (n :: (* -> *) -> * -> *) -> + ifix + ((\a (rec :: ((* -> *) -> * -> *) -> *) (n :: (* -> *) -> * -> *) -> + all (r :: ((* -> *) -> * -> *) -> *). + (all (p :: (* -> *) -> * -> *). + a -> + rec p -> + r ((\(n :: (* -> *) -> * -> *) (f :: * -> *) z -> f (n f z)) p)) -> + r (\(f :: * -> *) z -> z) -> + r n) + a) + n \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/succT.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/succT.plc.golden new file mode 100644 index 00000000000..ab0d631ff2e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/succT.plc.golden @@ -0,0 +1 @@ +\(n :: (* -> *) -> * -> *) (f :: * -> *) z -> f (n f z) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/zeroT.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/zeroT.plc.golden new file mode 100644 index 00000000000..aa1aba7cfef --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Examples/Vec/zeroT.plc.golden @@ -0,0 +1 @@ +\(f :: * -> *) z -> z \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensivePlus.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensivePlus.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensivePlus.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensiveSucc.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensiveSucc.plc.golden deleted file mode 100644 index 63842ebe8d4..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExpensiveSucc.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Absurd.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Absurd.plc.golden new file mode 100644 index 00000000000..188ef5f5417 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Absurd.plc.golden @@ -0,0 +1 @@ +all a. (all a. a) -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/BiconstPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/BiconstPair.plc.golden new file mode 100644 index 00000000000..ca29482d6fd --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/BiconstPair.plc.golden @@ -0,0 +1 @@ +all a b. a -> b -> pair a b -> pair a b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Comma.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Comma.plc.golden new file mode 100644 index 00000000000..a715dfc868a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Comma.plc.golden @@ -0,0 +1 @@ +all a b. a -> b -> pair a b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Const.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Const.plc.golden new file mode 100644 index 00000000000..3f856034c38 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Const.plc.golden @@ -0,0 +1 @@ +all a b. a -> b -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ErrorPrime.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ErrorPrime.plc.golden new file mode 100644 index 00000000000..1b560e10239 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ErrorPrime.plc.golden @@ -0,0 +1 @@ +all a. a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensivePlus.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensivePlus.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensivePlus.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensiveSucc.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensiveSucc.plc.golden new file mode 100644 index 00000000000..c16d3c3ff73 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExpensiveSucc.plc.golden @@ -0,0 +1 @@ +integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExtensionVersion.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExtensionVersion.plc.golden new file mode 100644 index 00000000000..b54ef00dcca --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ExtensionVersion.plc.golden @@ -0,0 +1 @@ +unit -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Factorial.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Factorial.plc.golden new file mode 100644 index 00000000000..c16d3c3ff73 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Factorial.plc.golden @@ -0,0 +1 @@ +integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingPlus.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingPlus.plc.golden new file mode 100644 index 00000000000..593095a5443 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingPlus.plc.golden @@ -0,0 +1 @@ +integer -> integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingSucc.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingSucc.plc.golden new file mode 100644 index 00000000000..c16d3c3ff73 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/FailingSucc.plc.golden @@ -0,0 +1 @@ +integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ForallFortyTwo.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ForallFortyTwo.plc.golden new file mode 100644 index 00000000000..d3e9b29748f --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ForallFortyTwo.plc.golden @@ -0,0 +1 @@ +all a. integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Id.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Id.plc.golden new file mode 100644 index 00000000000..2de60f56807 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Id.plc.golden @@ -0,0 +1 @@ +all a. a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeBool.plc.golden new file mode 100644 index 00000000000..3f091743ab2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeBool.plc.golden @@ -0,0 +1 @@ +bool -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeCheckBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeCheckBool.plc.golden new file mode 100644 index 00000000000..3f091743ab2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdAssumeCheckBool.plc.golden @@ -0,0 +1 @@ +bool -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdFInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdFInteger.plc.golden new file mode 100644 index 00000000000..2de48a7a231 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdFInteger.plc.golden @@ -0,0 +1 @@ +all (f :: * -> *). f integer -> f integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdIntegerAsBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdIntegerAsBool.plc.golden new file mode 100644 index 00000000000..c16d3c3ff73 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdIntegerAsBool.plc.golden @@ -0,0 +1 @@ +integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdList.plc.golden new file mode 100644 index 00000000000..63e391e2a30 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdList.plc.golden @@ -0,0 +1,4 @@ +all a. + (\a -> ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a) + a -> + (\a -> ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdRank2.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdRank2.plc.golden new file mode 100644 index 00000000000..8caaa8c2da8 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdRank2.plc.golden @@ -0,0 +1 @@ +all (f :: * -> *). (all b. f b) -> (all b. f b) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdSomeConstantBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdSomeConstantBool.plc.golden new file mode 100644 index 00000000000..3f091743ab2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IdSomeConstantBool.plc.golden @@ -0,0 +1 @@ +bool -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IsConstant.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IsConstant.plc.golden new file mode 100644 index 00000000000..75afd90a06e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/IsConstant.plc.golden @@ -0,0 +1 @@ +all a. a -> bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ScottToMetaUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ScottToMetaUnit.plc.golden new file mode 100644 index 00000000000..e48a4f2926d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/ScottToMetaUnit.plc.golden @@ -0,0 +1 @@ +(all a. a -> a) -> unit \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SumInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SumInteger.plc.golden new file mode 100644 index 00000000000..093d88925e4 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SumInteger.plc.golden @@ -0,0 +1 @@ +list integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Swap.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Swap.plc.golden new file mode 100644 index 00000000000..bec05d90cba --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Swap.plc.golden @@ -0,0 +1 @@ +all a b. pair a b -> pair b a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SwapEls.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SwapEls.plc.golden new file mode 100644 index 00000000000..ba5d1d84990 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/SwapEls.plc.golden @@ -0,0 +1 @@ +all a. list (pair a bool) -> list (pair bool a) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/TrackCosts.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/TrackCosts.plc.golden new file mode 100644 index 00000000000..5d7a76f57b7 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/TrackCosts.plc.golden @@ -0,0 +1 @@ +data -> list integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Undefined.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Undefined.plc.golden new file mode 100644 index 00000000000..1b560e10239 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/Undefined.plc.golden @@ -0,0 +1 @@ +all a. a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerce.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerce.plc.golden new file mode 100644 index 00000000000..500af44a4c2 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerce.plc.golden @@ -0,0 +1 @@ +all a b. a -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerceEl.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerceEl.plc.golden new file mode 100644 index 00000000000..1f38efc3441 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionFun/UnsafeCoerceEl.plc.golden @@ -0,0 +1 @@ +all a b. list a -> list b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionVersion.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionVersion.plc.golden deleted file mode 100644 index c20c32c6f88..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ExtensionVersion.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con unit) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Factorial.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Factorial.plc.golden deleted file mode 100644 index 63842ebe8d4..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Factorial.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingPlus.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingPlus.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingPlus.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingSucc.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingSucc.plc.golden deleted file mode 100644 index 63842ebe8d4..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FailingSucc.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ForallFortyTwo.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ForallFortyTwo.plc.golden deleted file mode 100644 index 0b653955a35..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ForallFortyTwo.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FstPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/FstPair.plc.golden deleted file mode 100644 index 16f216b1b94..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/FstPair.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun [ [ (con pair) a ] b ] a))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/HeadList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/HeadList.plc.golden deleted file mode 100644 index 1747c52ba1f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/HeadList.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun [ (con list) a ] a)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IData.plc.golden deleted file mode 100644 index 4e8be08db70..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (con data)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Id.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Id.plc.golden deleted file mode 100644 index 2c936c07272..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Id.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun a a)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeBool.plc.golden deleted file mode 100644 index 3f1ef17a29e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeBool.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bool) (con bool)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeCheckBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeCheckBool.plc.golden deleted file mode 100644 index 3f1ef17a29e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdAssumeCheckBool.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bool) (con bool)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdFInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdFInteger.plc.golden deleted file mode 100644 index 430f813ff69..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdFInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all f (fun (type) (type)) (fun [ f (con integer) ] [ f (con integer) ])) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdIntegerAsBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdIntegerAsBool.plc.golden deleted file mode 100644 index 63842ebe8d4..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdIntegerAsBool.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdList.plc.golden deleted file mode 100644 index 8db477f5a87..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdList.plc.golden +++ /dev/null @@ -1,40 +0,0 @@ -(all - a - (type) - (fun - [ - (lam - a - (type) - (ifix - (lam - list - (fun (type) (type)) - (lam - a (type) (all r (type) (fun r (fun (fun a (fun [ list a ] r)) r))) - ) - ) - a - ) - ) - a - ] - [ - (lam - a - (type) - (ifix - (lam - list - (fun (type) (type)) - (lam - a (type) (all r (type) (fun r (fun (fun a (fun [ list a ] r)) r))) - ) - ) - a - ) - ) - a - ] - ) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdRank2.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdRank2.plc.golden deleted file mode 100644 index 5b55553b890..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdRank2.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all f (fun (type) (type)) (fun (all b (type) [ f b ]) (all b (type) [ f b ]))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdSomeConstantBool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdSomeConstantBool.plc.golden deleted file mode 100644 index 3f1ef17a29e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IdSomeConstantBool.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bool) (con bool)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IfThenElse.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IfThenElse.plc.golden deleted file mode 100644 index cf747615655..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IfThenElse.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun (con bool) (fun a (fun a a)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IndexByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IndexByteString.plc.golden deleted file mode 100644 index 4db7a61896f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IndexByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IsConstant.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/IsConstant.plc.golden deleted file mode 100644 index 1b399a70bfa..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/IsConstant.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun a (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Keccak_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Keccak_256.plc.golden deleted file mode 100644 index e8a4293b5b2..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Keccak_256.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LengthOfByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/LengthOfByteString.plc.golden deleted file mode 100644 index 6495d849f0e..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LengthOfByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanByteString.plc.golden deleted file mode 100644 index d64cd3ed72b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsByteString.plc.golden deleted file mode 100644 index d64cd3ed72b..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsInteger.plc.golden deleted file mode 100644 index 5cc0eb0a3b7..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanEqualsInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanInteger.plc.golden deleted file mode 100644 index 5cc0eb0a3b7..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/LessThanInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ListData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ListData.plc.golden deleted file mode 100644 index 650a37e4f13..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ListData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun [ (con list) (con data) ] (con data)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MapData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MapData.plc.golden deleted file mode 100644 index c05e012e32d..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MapData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun [ (con list) [ [ (con pair) (con data) ] (con data) ] ] (con data)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkCons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkCons.plc.golden deleted file mode 100644 index f8201171e42..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkCons.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun a (fun [ (con list) a ] [ (con list) a ]))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilData.plc.golden deleted file mode 100644 index 5cdcb2c0c12..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con unit) [ (con list) (con data) ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilPairData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilPairData.plc.golden deleted file mode 100644 index 754dae6673f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkNilPairData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con unit) [ (con list) [ [ (con pair) (con data) ] (con data) ] ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkPairData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkPairData.plc.golden deleted file mode 100644 index 2c3fb473d97..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MkPairData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) (fun (con data) [ [ (con pair) (con data) ] (con data) ])) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ModInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ModInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ModInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MultiplyInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/MultiplyInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/MultiplyInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/NullList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/NullList.plc.golden deleted file mode 100644 index 0b5aeb50bb1..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/NullList.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun [ (con list) a ] (con bool))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/QuotientInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/QuotientInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/QuotientInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/RemainderInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/RemainderInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/RemainderInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ScottToMetaUnit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/ScottToMetaUnit.plc.golden deleted file mode 100644 index d0cf9cd4f7f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/ScottToMetaUnit.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (all a (type) (fun a a)) (con unit)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SerialiseData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SerialiseData.plc.golden deleted file mode 100644 index 3097cf511ba..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SerialiseData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha2_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha2_256.plc.golden deleted file mode 100644 index e8a4293b5b2..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha2_256.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha3_256.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha3_256.plc.golden deleted file mode 100644 index e8a4293b5b2..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Sha3_256.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SliceByteString.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SliceByteString.plc.golden deleted file mode 100644 index 3223b913591..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SliceByteString.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (fun (con bytestring) (con bytestring)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SndPair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SndPair.plc.golden deleted file mode 100644 index cc81444bbb8..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SndPair.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun [ [ (con pair) a ] b ] b))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/Bool.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/Bool.plc.golden new file mode 100644 index 00000000000..fc75f206592 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/Bool.plc.golden @@ -0,0 +1 @@ +bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/False.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/False.plc.golden new file mode 100644 index 00000000000..fc75f206592 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/False.plc.golden @@ -0,0 +1 @@ +bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/IfThenElse.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/IfThenElse.plc.golden new file mode 100644 index 00000000000..28bf812dca6 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/IfThenElse.plc.golden @@ -0,0 +1 @@ +all a. bool -> (unit -> a) -> (unit -> a) -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/True.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/True.plc.golden new file mode 100644 index 00000000000..fc75f206592 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Bool/True.plc.golden @@ -0,0 +1 @@ +bool \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchNat.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchNat.plc.golden new file mode 100644 index 00000000000..68f4e27a63b --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchNat.plc.golden @@ -0,0 +1 @@ +all r. r -> (r -> r) -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchSucc.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchSucc.plc.golden new file mode 100644 index 00000000000..e12e54493f3 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchSucc.plc.golden @@ -0,0 +1 @@ +(all r. r -> (r -> r) -> r) -> (all r. r -> (r -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchZero.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchZero.plc.golden new file mode 100644 index 00000000000..68f4e27a63b --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ChurchNat/ChurchZero.plc.golden @@ -0,0 +1 @@ +all r. r -> (r -> r) -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/Data.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/Data.plc.golden new file mode 100644 index 00000000000..6320cd248dd --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/Data.plc.golden @@ -0,0 +1 @@ +data \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/caseData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/caseData.plc.golden new file mode 100644 index 00000000000..5ce0b8a3b29 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Data/caseData.plc.golden @@ -0,0 +1,8 @@ +data -> +(all r. + (integer -> list data -> r) -> + (list (pair data data) -> r) -> + (list data -> r) -> + (integer -> r) -> + (bytestring -> r) -> + r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Apply.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Apply.plc.golden new file mode 100644 index 00000000000..c3fb1cea51c --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Apply.plc.golden @@ -0,0 +1 @@ +all a b. (a -> b) -> a -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Const.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Const.plc.golden new file mode 100644 index 00000000000..3f856034c38 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Const.plc.golden @@ -0,0 +1 @@ +all a b. a -> b -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix.plc.golden new file mode 100644 index 00000000000..434e5771f04 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix.plc.golden @@ -0,0 +1 @@ +all a b. ((a -> b) -> a -> b) -> a -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix2.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix2.plc.golden new file mode 100644 index 00000000000..48db257ce77 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Fix2.plc.golden @@ -0,0 +1,3 @@ +all a b a b. + (all Q. ((a -> b) -> (a -> b) -> Q) -> (a -> b) -> (a -> b) -> Q) -> + (all Q. ((a -> b) -> (a -> b) -> Q) -> Q) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Self.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Self.plc.golden new file mode 100644 index 00000000000..779b0313177 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Self.plc.golden @@ -0,0 +1 @@ +\a -> ifix (\(self :: * -> *) a -> self a -> a) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Unroll.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Unroll.plc.golden new file mode 100644 index 00000000000..87c0c5bfcc9 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Function/Unroll.plc.golden @@ -0,0 +1 @@ +all a. ifix (\(self :: * -> *) a -> self a -> a) a -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/SuccInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/SuccInteger.plc.golden new file mode 100644 index 00000000000..c16d3c3ff73 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/SuccInteger.plc.golden @@ -0,0 +1 @@ +integer -> integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/integer.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/integer.plc.golden new file mode 100644 index 00000000000..c0740e5a58a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Integer/integer.plc.golden @@ -0,0 +1 @@ +integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/CaseList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/CaseList.plc.golden new file mode 100644 index 00000000000..09576be9197 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/CaseList.plc.golden @@ -0,0 +1 @@ +all a. list a -> (all r. r -> (a -> list a -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldList.plc.golden new file mode 100644 index 00000000000..498eb22a162 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldList.plc.golden @@ -0,0 +1 @@ +all a r. (r -> a -> r) -> r -> list a -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldrList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldrList.plc.golden new file mode 100644 index 00000000000..b55ec3943f9 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/FoldrList.plc.golden @@ -0,0 +1 @@ +all a r. (a -> r -> r) -> r -> list a -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/List.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/List.plc.golden new file mode 100644 index 00000000000..e48b39a3a69 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/List/List.plc.golden @@ -0,0 +1 @@ +list \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldNat.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldNat.plc.golden new file mode 100644 index 00000000000..a99cc70dd6e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldNat.plc.golden @@ -0,0 +1,7 @@ +all r. + (r -> r) -> + r -> + ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) -> + r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldrNat.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldrNat.plc.golden new file mode 100644 index 00000000000..a99cc70dd6e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/FoldrNat.plc.golden @@ -0,0 +1,7 @@ +all r. + (r -> r) -> + r -> + ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) -> + r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Nat.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Nat.plc.golden new file mode 100644 index 00000000000..6624d146b96 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Nat.plc.golden @@ -0,0 +1,3 @@ +ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/NatToInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/NatToInteger.plc.golden new file mode 100644 index 00000000000..436cdc29b3c --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/NatToInteger.plc.golden @@ -0,0 +1,4 @@ +ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) -> +integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Succ.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Succ.plc.golden new file mode 100644 index 00000000000..528c7800e68 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Succ.plc.golden @@ -0,0 +1,6 @@ +ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) -> +ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Zero.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Zero.plc.golden new file mode 100644 index 00000000000..6624d146b96 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Nat/Zero.plc.golden @@ -0,0 +1,3 @@ +ifix + (\(rec :: (* -> *) -> *) (f :: * -> *) -> f (rec f)) + (\nat -> all r. r -> (nat -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Fst.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Fst.plc.golden new file mode 100644 index 00000000000..8dd3336a587 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Fst.plc.golden @@ -0,0 +1 @@ +all a b. pair a b -> a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Pair.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Pair.plc.golden new file mode 100644 index 00000000000..577f817924e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Pair.plc.golden @@ -0,0 +1 @@ +pair \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Snd.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Snd.plc.golden new file mode 100644 index 00000000000..21cfd0fa7ae --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Snd.plc.golden @@ -0,0 +1 @@ +all a b. pair a b -> b \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Uncurry.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Uncurry.plc.golden new file mode 100644 index 00000000000..ffcda72ee51 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Pair/Uncurry.plc.golden @@ -0,0 +1 @@ +all a b c. (a -> b -> c) -> pair a b -> c \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Cons.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Cons.plc.golden new file mode 100644 index 00000000000..8f1c0091c00 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Cons.plc.golden @@ -0,0 +1,4 @@ +all a. + a -> + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a -> + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/EnumFromTo.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/EnumFromTo.plc.golden new file mode 100644 index 00000000000..51ec01f8d30 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/EnumFromTo.plc.golden @@ -0,0 +1,3 @@ +integer -> +integer -> +ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldList.plc.golden new file mode 100644 index 00000000000..721c4238e80 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldList.plc.golden @@ -0,0 +1,5 @@ +all a r. + (r -> a -> r) -> + r -> + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a -> + r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldrList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldrList.plc.golden new file mode 100644 index 00000000000..255f8596e1d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/FoldrList.plc.golden @@ -0,0 +1,5 @@ +all a r. + (a -> r -> r) -> + r -> + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a -> + r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/List.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/List.plc.golden new file mode 100644 index 00000000000..bdca3f1fd0d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/List.plc.golden @@ -0,0 +1 @@ +\a -> ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Nil.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Nil.plc.golden new file mode 100644 index 00000000000..e8ef03900f4 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Nil.plc.golden @@ -0,0 +1 @@ +all a. ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Product.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Product.plc.golden new file mode 100644 index 00000000000..1f377b4d81a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Product.plc.golden @@ -0,0 +1,2 @@ +ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) integer -> +integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Reverse.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Reverse.plc.golden new file mode 100644 index 00000000000..886fed6b524 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Reverse.plc.golden @@ -0,0 +1,3 @@ +all a. + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a -> + ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) a \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Sum.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Sum.plc.golden new file mode 100644 index 00000000000..1f377b4d81a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/ScottList/Sum.plc.golden @@ -0,0 +1,2 @@ +ifix (\(list :: * -> *) a -> all r. r -> (a -> list a -> r) -> r) integer -> +integer \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Left.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Left.plc.golden new file mode 100644 index 00000000000..78cbdfa39cb --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Left.plc.golden @@ -0,0 +1 @@ +all a b. a -> (all r. (a -> r) -> (b -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Right.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Right.plc.golden new file mode 100644 index 00000000000..90fcff1397d --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Right.plc.golden @@ -0,0 +1 @@ +all a b. b -> (all r. (a -> r) -> (b -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Sum.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Sum.plc.golden new file mode 100644 index 00000000000..04f0a6b947e --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Sum/Sum.plc.golden @@ -0,0 +1 @@ +\a b -> all r. (a -> r) -> (b -> r) -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unit.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unit.plc.golden new file mode 100644 index 00000000000..1066d3c0365 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unit.plc.golden @@ -0,0 +1 @@ +unit \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unitval.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unitval.plc.golden new file mode 100644 index 00000000000..1066d3c0365 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Data/Unit/Unitval.plc.golden @@ -0,0 +1 @@ +unit \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/MkProdN2.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/MkProdN2.plc.golden new file mode 100644 index 00000000000..5e83517f1e6 --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/MkProdN2.plc.golden @@ -0,0 +1 @@ +all t_0 t_1. t_0 -> t_1 -> (all r. (t_0 -> t_1 -> r) -> r) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2.plc.golden new file mode 100644 index 00000000000..4171869210a --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2.plc.golden @@ -0,0 +1 @@ +\t_0 t_1 -> all r. (t_0 -> t_1 -> r) -> r \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_0.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_0.plc.golden new file mode 100644 index 00000000000..4284beb23bc --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_0.plc.golden @@ -0,0 +1 @@ +all t_0 t_1. (all r. (t_0 -> t_1 -> r) -> r) -> t_0 \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_1.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_1.plc.golden new file mode 100644 index 00000000000..00b172aca9c --- /dev/null +++ b/plutus-core/plutus-core/test/TypeSynthesis/Golden/StdLib/Meta/Data/Tuple/ProdN2_1.plc.golden @@ -0,0 +1 @@ +all t_0 t_1. (all r. (t_0 -> t_1 -> r) -> r) -> t_1 \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SubtractInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SubtractInteger.plc.golden deleted file mode 100644 index 577e3fd2a40..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SubtractInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con integer) (fun (con integer) (con integer))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SumInteger.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SumInteger.plc.golden deleted file mode 100644 index c3e74269f38..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SumInteger.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun [ (con list) (con integer) ] (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Swap.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Swap.plc.golden deleted file mode 100644 index 091fbbe6a9f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Swap.plc.golden +++ /dev/null @@ -1,3 +0,0 @@ -(all - a (type) (all b (type) (fun [ [ (con pair) a ] b ] [ [ (con pair) b ] a ])) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SwapEls.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/SwapEls.plc.golden deleted file mode 100644 index 0301d678a30..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/SwapEls.plc.golden +++ /dev/null @@ -1,8 +0,0 @@ -(all - a - (type) - (fun - [ (con list) [ [ (con pair) a ] (con bool) ] ] - [ (con list) [ [ (con pair) (con bool) ] a ] ] - ) -) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/TailList.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/TailList.plc.golden deleted file mode 100644 index 9a5c990c4dd..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/TailList.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun [ (con list) a ] [ (con list) a ])) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Trace.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Trace.plc.golden deleted file mode 100644 index d73fb8b2384..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Trace.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (fun (con string) (fun a a))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/TrackCosts.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/TrackCosts.plc.golden deleted file mode 100644 index dda2f2071b5..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/TrackCosts.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) [ (con list) (con integer) ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnBData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnBData.plc.golden deleted file mode 100644 index 3097cf511ba..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnBData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) (con bytestring)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnConstrData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnConstrData.plc.golden deleted file mode 100644 index 5c617498086..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnConstrData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) [ [ (con pair) (con integer) ] [ (con list) (con data) ] ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnIData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnIData.plc.golden deleted file mode 100644 index 60737a339fe..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnIData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) (con integer)) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnListData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnListData.plc.golden deleted file mode 100644 index 5ef033d37fe..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnListData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) [ (con list) (con data) ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnMapData.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnMapData.plc.golden deleted file mode 100644 index 4a2082f4f8f..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnMapData.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con data) [ (con list) [ [ (con pair) (con data) ] (con data) ] ]) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Undefined.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/Undefined.plc.golden deleted file mode 100644 index 61af5031424..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/Undefined.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) a) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerce.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerce.plc.golden deleted file mode 100644 index 6126ad090f6..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerce.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun a b))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerceEl.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerceEl.plc.golden deleted file mode 100644 index ef3a9750e3d..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/UnsafeCoerceEl.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(all a (type) (all b (type) (fun [ (con list) a ] [ (con list) b ]))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEcdsaSecp256k1Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEcdsaSecp256k1Signature.plc.golden deleted file mode 100644 index 6c80db8c7d6..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEcdsaSecp256k1Signature.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (fun (con bytestring) (con bool)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEd25519Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEd25519Signature.plc.golden deleted file mode 100644 index 6c80db8c7d6..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifyEd25519Signature.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (fun (con bytestring) (con bool)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifySchnorrSecp256k1Signature.plc.golden b/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifySchnorrSecp256k1Signature.plc.golden deleted file mode 100644 index 6c80db8c7d6..00000000000 --- a/plutus-core/plutus-core/test/TypeSynthesis/Golden/VerifySchnorrSecp256k1Signature.plc.golden +++ /dev/null @@ -1 +0,0 @@ -(fun (con bytestring) (fun (con bytestring) (fun (con bytestring) (con bool)))) \ No newline at end of file diff --git a/plutus-core/plutus-core/test/TypeSynthesis/Spec.hs b/plutus-core/plutus-core/test/TypeSynthesis/Spec.hs index bf781eb57ff..e7230b10a5a 100644 --- a/plutus-core/plutus-core/test/TypeSynthesis/Spec.hs +++ b/plutus-core/plutus-core/test/TypeSynthesis/Spec.hs @@ -19,12 +19,11 @@ import PlutusCore.FsTree import PlutusCore.Pretty import PlutusCore.Examples.Builtins -import PlutusCore.Examples.Everything (builtins, examples) +import PlutusCore.Examples.Everything (examples) import PlutusCore.StdLib.Everything (stdLib) import Control.Monad (unless) import Control.Monad.Except (MonadError, runExcept) -import System.FilePath (()) import Test.Tasty import Test.Tasty.Extras import Test.Tasty.HUnit @@ -38,27 +37,10 @@ kindcheck ty = do typecheck :: (uni ~ DefaultUni, MonadError (Error uni fun ()) m, ToBuiltinMeaning uni fun) - => BuiltinVersion fun -> Term TyName Name uni fun () -> m () -typecheck ver term = do - _ <- runQuoteT $ do - tcConfig <- TypeCheckConfig defKindCheckConfig <$> builtinMeaningsToTypes ver () - inferType tcConfig term - return () - --- | Assert a 'Type' is well-kinded. -assertWellKinded :: HasCallStack => Type TyName DefaultUni () -> Assertion -assertWellKinded ty = case runExcept . runQuoteT $ kindcheck ty of - Left err -> assertFailure $ "Kind error: " ++ displayPlcCondensedErrorClassic err - Right _ -> return () - --- | Assert a 'Term' is well-typed. -assertWellTyped - :: (HasCallStack, ToBuiltinMeaning DefaultUni fun, Pretty fun) - => BuiltinVersion fun - -> Term TyName Name DefaultUni fun () -> Assertion -assertWellTyped ver term = case runExcept . runQuoteT $ typecheck ver term of - Left err -> assertFailure $ "Type error: " ++ displayPlcCondensedErrorClassic err - Right _ -> return () + => BuiltinVersion fun -> Term TyName Name uni fun () -> m (Normalized (Type TyName uni ())) +typecheck ver term = runQuoteT $ do + tcConfig <- TypeCheckConfig defKindCheckConfig <$> builtinMeaningsToTypes ver () + inferType tcConfig term -- | Assert a term is ill-typed. assertIllTyped @@ -68,27 +50,32 @@ assertIllTyped -> (Error DefaultUni DefaultFun () -> Bool) -> Assertion assertIllTyped ver term isExpected = case runExcept . runQuoteT $ typecheck ver term of - Right () -> assertFailure $ "Well-typed: " ++ displayPlcCondensedErrorClassic term + Right _ -> assertFailure $ "Expected ill-typed but got well-typed: " ++ display term Left err -> do unless (isExpected err) $ assertFailure $ "Got an unexpected error: " ++ displayPlcCondensedErrorClassic err +nestedGoldenVsErrorOrThing :: (PrettyPlc e, PrettyReadable a) => String -> Either e a -> TestNested +nestedGoldenVsErrorOrThing name = + nestedGoldenVsText name ".plc" . either displayPlcCondensedErrorClassic (display . AsReadable) + foldAssertWell :: (ToBuiltinMeaning DefaultUni fun, Pretty fun) => BuiltinVersion fun - -> PlcFolderContents DefaultUni fun -> [TestTree] -foldAssertWell ver = - foldPlcFolderContents - testGroup - (\name -> testCase name . assertWellKinded) - (\name -> testCase name . assertWellTyped ver) + -> PlcFolderContents DefaultUni fun + -> TestTree +foldAssertWell ver + = runTestNestedIn ["plutus-core", "test", "TypeSynthesis"] + . testNested "Golden" + . foldPlcFolderContents testNested + (\name -> nestedGoldenVsErrorOrThing name . kindcheck) + (\name -> nestedGoldenVsErrorOrThing name . typecheck ver) test_typecheckAvailable :: TestTree test_typecheckAvailable = testGroup "Available" - [ testGroup "DefaultFun" $ foldAssertWell def stdLib - , testGroup "ExtensionFun" $ foldAssertWell ExtensionFunV1 builtins - , testGroup "Both" $ foldAssertWell def examples + [ foldAssertWell def stdLib + , foldAssertWell def examples ] -- | Self-application. An example of ill-typed term. @@ -138,23 +125,25 @@ test_typecheckIllTyped = _ -> False ] -test_typecheckFun :: (ToBuiltinMeaning DefaultUni fun, Show fun) => BuiltinVersion fun -> fun -> TestTree -test_typecheckFun ver name = goldenVsDoc testName path doc where - testName = show name - path = "plutus-core" "test" "TypeSynthesis" "Golden" (testName ++ ".plc.golden") - doc = prettyPlcDef $ typeOfBuiltinFunction @DefaultUni ver name - test_typecheckAllFun :: forall fun. (ToBuiltinMeaning DefaultUni fun, Show fun) - => BuiltinVersion fun - -> String -> TestTree -test_typecheckAllFun ver name = testGroup name . map (test_typecheckFun ver) $ enumerate @fun + => String -> BuiltinVersion fun -> TestTree +test_typecheckAllFun name ver + = runTestNestedIn ["plutus-core", "test", "TypeSynthesis", "Golden"] + . testNested name + . map testFun + $ enumerate @fun + where + testFun fun = + nestedGoldenVsErrorOrThing (show fun) . kindcheck $ typeOfBuiltinFunction ver fun test_typecheckDefaultFuns :: TestTree test_typecheckDefaultFuns = - testGroup "builtins" - [ test_typecheckAllFun @DefaultFun def "DefaultFun" - , test_typecheckAllFun @ExtensionFun def "ExtensionFun" + -- This checks that for each set of builtins the Plutus type of every builtin is the same + -- regardless of versioning. + testGroup "builtins" $ concat + [ map (test_typecheckAllFun @DefaultFun "DefaultFun") enumerate + , map (test_typecheckAllFun @ExtensionFun "ExtensionFun") enumerate ] test_typecheck :: TestTree