Add stub function for part 1 compilation

This commit is contained in:
Dylan Thinnes 2024-05-27 12:14:56 +01:00
parent 5a6d7e06ac
commit 6d58c87c16

View File

@ -320,6 +320,20 @@ object TypecheckUpgrades {
tc.check()
}
}
def typecheckUpgrades(
present: (
Ref.PackageId,
Ast.Package,
),
pastPackageId: Ref.PackageId,
mbPastPkg: Option[Ast.Package],
): Try[Unit] = {
val emptyPackageMap: Map[Ref.PackageId, (Ref.PackageName, Ref.PackageVersion)] = Map.empty
val presentWithNoDeps = (present._1, present._2, emptyPackageMap)
val mbPastPkgWithNoDeps = mbPastPkg.map((_, emptyPackageMap))
TypecheckUpgrades.typecheckUpgrades(presentWithNoDeps, pastPackageId, mbPastPkgWithNoDeps)
}
}
case class TypecheckUpgrades(