anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2025-01-05 22:46:08 +03:00
Code Issues Projects Releases Wiki Activity

[test] Add test to suite

Browse Source
This commit is contained in:
Paul Cadman 2022-03-24 14:59:39 +00:00
parent 242275a4e3
commit 6ce6489617
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/Scope/Negative.hs
View File

@ -116,4 +116,9 @@ tests = [
"AmbiguousModule.mjuvix" $ \case "AmbiguousModule.mjuvix" $ \case
ErrAmbiguousModuleSym {} -> Nothing ErrAmbiguousModuleSym {} -> Nothing
_ -> wrongError _ -> wrongError
, NegTest "Ambiguous nested constructors"
"."
"AmbiguousConstructor.mjuvix" $ \case
ErrAmbiguousSym {} -> Nothing
_ -> wrongError
] ]