diff --git a/cardano-api/src/Cardano/Api/ScriptData.hs b/cardano-api/src/Cardano/Api/ScriptData.hs index 5d0e90fa446..6100d2fed83 100644 --- a/cardano-api/src/Cardano/Api/ScriptData.hs +++ b/cardano-api/src/Cardano/Api/ScriptData.hs @@ -270,7 +270,7 @@ validateScriptData d = -- newtype ScriptDataRangeError = - -- | The number is outside the maximum range of @-2^64-1 .. 2^64-1@. + -- | The constructor number is outside the maximum range of @-2^64-1 .. 2^64-1@. -- ScriptDataConstructorOutOfRange Integer deriving (Eq, Show) diff --git a/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs b/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs index 760f65616e3..5ae41145950 100644 --- a/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs +++ b/cardano-api/test/Test/Cardano/Api/Typed/CBOR.hs @@ -149,7 +149,7 @@ prop_roundtrip_script_PlutusScriptV2_CBOR = prop_roundtrip_ScriptData_CBOR :: Property prop_roundtrip_ScriptData_CBOR = - roundtrip_CBOR AsScriptData genScriptData + roundtrip_CBOR AsHashableScriptData genHashableScriptData prop_roundtrip_UpdateProposal_CBOR :: Property prop_roundtrip_UpdateProposal_CBOR = @@ -220,6 +220,7 @@ tests = testGroup "Test.Cardano.Api.Typed.CBOR" , testPropertyNamed "roundtrip script PlutusScriptV1 CBOR" "roundtrip script PlutusScriptV1 CBOR" prop_roundtrip_script_PlutusScriptV1_CBOR , testPropertyNamed "roundtrip script PlutusScriptV2 CBOR" "roundtrip script PlutusScriptV2 CBOR" prop_roundtrip_script_PlutusScriptV2_CBOR , testPropertyNamed "roundtrip UpdateProposal CBOR" "roundtrip UpdateProposal CBOR" prop_roundtrip_UpdateProposal_CBOR + , testPropertyNamed "roundtrip ScriptData CBOR" "roundtrip ScriptData CBOR" prop_roundtrip_ScriptData_CBOR , testGroup "roundtrip txbody CBOR" test_roundtrip_txbody_CBOR , testGroup "roundtrip tx CBOR" test_roundtrip_tx_CBOR , testGroup "roundtrip Tx Cddl" test_roundtrip_Tx_Cddl diff --git a/cardano-api/test/Test/Cardano/Api/Typed/Script.hs b/cardano-api/test/Test/Cardano/Api/Typed/Script.hs index 4d640117811..dd2a5af02f0 100644 --- a/cardano-api/test/Test/Cardano/Api/Typed/Script.hs +++ b/cardano-api/test/Test/Cardano/Api/Typed/Script.hs @@ -116,10 +116,10 @@ prop_roundtrip_ScriptData = sData <- H.forAll genHashableScriptData sData === fromAlonzoData (toAlonzoData sData) -prop_roundtrip_ScriptData_JSON :: Property -prop_roundtrip_ScriptData_JSON = +prop_roundtrip_HashableScriptData_JSON :: Property +prop_roundtrip_HashableScriptData_JSON = H.property $ do - sData <- H.forAll genScriptData + sData <- H.forAll genHashableScriptData H.tripping sData scriptDataToJsonDetailedSchema scriptDataFromJsonDetailedSchema -- ----------------------------------------------------------------------------- @@ -134,4 +134,5 @@ tests = testGroup "Test.Cardano.Api.Typed.Script" , testPropertyNamed "golden SimpleScriptV2 MofN" "golden SimpleScriptV2 MofN" prop_golden_SimpleScriptV2_MofN , testPropertyNamed "roundtrip SimpleScript JSON" "roundtrip SimpleScript JSON" prop_roundtrip_SimpleScript_JSON , testPropertyNamed "roundtrip ScriptData" "roundtrip ScriptData" prop_roundtrip_ScriptData + , testPropertyNamed "roundtrip HashableScriptData" "roundtrip HashableScriptData" prop_roundtrip_HashableScriptData_JSON ]