--- a/src/Pure/Admin/check_sources.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/check_sources.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,10 +7,8 @@
package isabelle
-object Check_Sources
-{
- def check_file(path: Path): Unit =
- {
+object Check_Sources {
+ def check_file(path: Path): Unit = {
val file_name = path.implode
val file_pos = path.position
def line_pos(i: Int) = Position.Line_File(i + 1, file_name)
@@ -25,13 +23,11 @@
Output.warning("Bad UTF8 encoding" + Position.here(file_pos))
}
- for { (line, i) <- split_lines(content).iterator.zipWithIndex }
- {
+ for { (line, i) <- split_lines(content).iterator.zipWithIndex } {
try {
Symbol.decode_strict(line)
- for { c <- Codepoint.iterator(line); if c > 128 && !Character.isAlphabetic(c) }
- {
+ for { c <- Codepoint.iterator(line); if c > 128 && !Character.isAlphabetic(c) } {
Output.warning("Suspicious Unicode character " + quote(Codepoint.string(c)) +
Position.here(line_pos(i)))
}
@@ -49,8 +45,7 @@
Output.warning("Bidirectional Unicode text" + Position.here(file_pos))
}
- def check_hg(root: Path): Unit =
- {
+ def check_hg(root: Path): Unit = {
Output.writeln("Checking " + root + " ...")
val hg = Mercurial.repository(root)
for {
@@ -64,8 +59,7 @@
val isabelle_tool =
Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources",
- Scala_Project.here, args =>
- {
+ Scala_Project.here, args => {
val getopts = Getopts("""
Usage: isabelle check_sources [ROOT_DIRS...]