Imperial-MEng/WACC_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat: parallel type checking #42

Merged
gk1623 merged 4 commits from parallel-type-checking into master 2025-03-14 06:11:54 +00:00
Conversation 1 Commits 4 Files Changed 5 +1 -6
2 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 42515abf2a - Show all commits

6
src/main/wacc/Main.scala
View File

@@ -82,11 +82,7 @@ def frontend(
(prog, renameErrors) <- renamer.rename(partialProg) (prog, renameErrors) <- renamer.rename(partialProg)
_ = errors.addAll(renameErrors.toList) _ = errors.addAll(renameErrors.toList)
typedProg = typeChecker.check(prog, errors) typedProg = typeChecker.check(prog, errors)
res = errors.result.toNel.toLeft(typedProg)
res = NonEmptyList.fromList(errors.result) match {
case Some(errors) => Left(errors)
case None => Right(typedProg)
}
} yield res } yield res
} }

1
src/main/wacc/frontend/renamer.scala
View File

@@ -283,7 +283,6 @@ object renamer {
allErrors <- toRename allErrors <- toRename
.zip(scope.subscopes(toRename.size)) .zip(scope.subscopes(toRename.size))
.parFoldMapA(renameFunction) .parFoldMapA(renameFunction)
// .map(x => x.combineAll)
} yield (Program(chunks.toList, main.body)(main.pos), globalErrors ++ allErrors) } yield (Program(chunks.toList, main.body)(main.pos), globalErrors ++ allErrors)
} }