digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity

ifaces: tests: check for interface collisions in ast (#13196)

Browse Source 
* ifaces: tests: check for interface collisions in ast

We add a test to check for interface name collisions in the daml-lf AST.

CHANGELOG_BEGIN
CHANGELOG_END

* Update daml-lf/language/src/test/scala/com/digitalasset/daml/lf/language/AstSpec.scala

Co-authored-by: Remy <remy.haemmerle@daml.com>

Co-authored-by: Remy <remy.haemmerle@daml.com>
This commit is contained in:
Robin Krom 2022-03-08 15:08:48 +01:00 committed by GitHub
parent 1c4b767295
commit be6bbc82b9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
daml-lf/language/src/test/scala/com/digitalasset/daml/lf/language/AstSpec.scala
View File

@ -60,6 +60,14 @@ class AstSpec extends AnyWordSpec with TableDrivenPropertyChecks with Matchers {
key = None,
implements = VectorMap.empty,
)
def interface = DefInterface(
param = Name.assertFromString("x"),
precond = ETrue,
fixedChoices = Map.empty,
methods = Map.empty,
requires = Set.empty,
)
def exception = DefException(
message = eText
)
@ -137,6 +145,40 @@ class AstSpec extends AnyWordSpec with TableDrivenPropertyChecks with Matchers {
)
}
"catch interface collisions" in {
Module.build(
name = modName1,
definitions = List(
defName("defName1") -> recordDef,
defName("defName2") -> recordDef,
),
interfaces = List(
defName("defName1") -> interface
),
exceptions = List.empty,
templates = List.empty,
featureFlags = FeatureFlags.default,
)
a[PackageError] shouldBe thrownBy(
Module.build(
name = modName1,
definitions = List(
defName("defName1") -> recordDef,
defName("defName2") -> recordDef,
),
interfaces = List(
defName("defName1") -> interface,
defName("defName1") -> interface,
),
templates = List.empty,
exceptions = List.empty,
featureFlags = FeatureFlags.default,
)
)
}
"catch exception collisions" in {
Module.build(
name = modName1,