Skip to content

Commit e823758

Browse files
committed
Added more mismatching args tests
1 parent 77135bd commit e823758

File tree

3 files changed

+6
-1
lines changed

3 files changed

+6
-1
lines changed
File renamed without changes.
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
foo<a> = [a]
2+
3+
x = foo<uint, uint>

test/Test/Codec/CBOR/Cuddle/CDDL/Examples.hs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,9 @@ spec = do
5555
describe "Negative" $ do
5656
validateExpectFailure "example/cddl-files/validator/negative/unknown-name.cddl" $
5757
UnboundReference "a"
58-
validateExpectFailure "example/cddl-files/validator/negative/mismatching-args.cddl" $
58+
validateExpectFailure "example/cddl-files/validator/negative/too-few-args.cddl" $
5959
MismatchingArgs "foo" ["a", "b"]
60+
validateExpectFailure "example/cddl-files/validator/negative/too-many-args.cddl" $
61+
MismatchingArgs "foo" ["a"]
6062
validateExpectFailure "example/cddl-files/validator/negative/args-to-postlude.cddl" $
6163
ArgsToPostlude PTUInt [It (Literal (Value (VUInt 3) mempty))]

0 commit comments

Comments
 (0)