stan/WildFJ-Typeinference
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rename Test

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-05-06 12:12:32 +02:00
parent a000b0b13b
commit 990dbdf21c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/test/scala/UnifyTest.scala
View File

@ -9,7 +9,7 @@ class UnifyTest extends munit.FunSuite {
new ExtendsRelations(Set((listType, objectType)))
}
test("Unify should fail") {
test("Match Test") {
val start: ConstraintSet = ConstraintSet()
start.add(LessDot(TypeVariable("a"), RefType(emptyWCs(), "String", List())))
start.add(LessDot(TypeVariable("a"), RefType(emptyWCs(), "Object", List())))