+prop_Text_ISpecIdempotent ispec =
+ case Text.loadISpec "dummy" . Utils.sepSplit ',' .
+ Text.serializeISpec $ ispec of
+ Types.Bad msg -> printTestCase ("Failed to load ispec: " ++ msg) False
+ Types.Ok ispec' -> ispec ==? ispec'
+
+prop_Text_IPolicyIdempotent ipol =
+ case Text.loadIPolicy . Utils.sepSplit '|' $
+ Text.serializeIPolicy owner ipol of
+ Types.Bad msg -> printTestCase ("Failed to load ispec: " ++ msg) False
+ Types.Ok res -> (owner, ipol) ==? res
+ where owner = "dummy"
+