@import java.time.LocalDateTime @import genie.reporting._ @import genie.ast._ @(inputFileName: String, compiledAt: LocalDateTime, compilationUnit: Option[CompilationUnit], styledLines: Seq[Seq[StyleRun]], errorsToLineMapping: Map[Int, Seq[Html]]) Report for @{compilationUnit.map(_.name).getOrElse(inputFileName)}
@{errorsToLineMapping.valuesIterator.map(_.size).sum} Errors Found

Report for @{compilationUnit.map(_.name).getOrElse(inputFileName)}

Compiled from @inputFileName at @compiledAt

@for((line, idx) <- styledLines.zipWithIndex) { }
@{"%04d".format(idx + 1)} @{line.map(_.toHtml)} @for(err <- errorsToLineMapping.getOrElse(idx + 1, Seq.empty)) {
@err
}