diff --git a/test/prim.test.did b/test/prim.test.did index eff4c832f..9e832cde7 100644 --- a/test/prim.test.did +++ b/test/prim.test.did @@ -195,5 +195,6 @@ assert blob "DIDL\00\01\71\03\e2\28\a1" !: (reserved) "reserved from invalid utf assert blob "DIDL\00\01\6f" !: (empty) "cannot decode empty type"; assert blob "DIDL\01\6e\6f\01\00\00" == "(null)" : (opt empty) "okay to decode non-empty value"; + assert blob "DIDL\00\0a\7f\7e\7d\7c\7f\70\7f\7b\7a\79\01\2a\2a\2a\2a\00\2a\00\00\00" == "(null, true, 42, 42, null, null, null, 42, 42, 42)" : (null, bool, nat, int, null, reserved, null, nat8, nat16, nat32) "multiple arguments"; diff --git a/test/subtypes.test.did b/test/subtypes.test.did index 973f0207f..9db696602 100644 --- a/test/subtypes.test.did +++ b/test/subtypes.test.did @@ -124,8 +124,8 @@ assert blob "DIDL\02\6a\00\01\01\00\6b\01\00\7e\01\00\01\01\00\01m" assert blob "DIDL\02\6a\00\01\01\00\6c\01\00\01\01\00\01\01\00\01m" == "(opt func \"aaaaa-aa\".m)" : (opt func () -> (EmptyRecord)) "(µ record) <: (µ record)"; -//assert blob "DIDL\02\6a\00\01\01\00\6c\01\00\01\01\00\01\01\00\01m" -// == "(null)" : (opt func () -> (empty)) "(µ record) (empty)) "(µ record) (EmptyRecord)) "empty <: (µ record)"; assert blob "DIDL\02\6a\00\01\01\00\6c\01\00\01\01\00\01\01\00\01m"