ashalkhakov/flats.dats

## flats.dats
#include
"share/atspre_staload.hats"

#define N 9
#define M 14

implement main0 () = let
  fun loop1
    {i:nat | i <= N}
    (i: int i): void =
    if i < N then let
      val () = println!("<tr>")
      val () = loop2 (i+1, 0)
    in end else ()
  // end of [loop1]
  and loop2
    {i,j:nat | i <= N; j <= M}
    (i: int i, j: int j): void =
    if j < M then let
      val () = if (j > 0) then print " "
      val () = print!("<td>", (i-1)*M+j+1, "</td>")
    in
      loop2 (i, j+1)
    end else let
      val () = print_newline ()
      val () = println! ("</tr>") in loop1 (i)
    end // end of [if]
  // end of [loop2]

  fun per_month (): void = {
    var A = @[string][12](
      "Січень", "Лютий", "Березень", "Квітень",
      "Травень", "Червень", "Липень", "Серпень",
      "Вересень", "Жовтень", "Листопад", "Грудень"
    ) (* end of [var] *)
    var i: int // = 0
    val () =
    for* {i:nat | i <= 12} .<12-i>. (i: int(i)): (i: int) => (i := 0; i < 12; i := i + 1)
    {
      val () = println!("<section>")
      val () = println!("<h1>", A.[i], "</h1>")
      val () = println!("<table>")
      val () = loop1 (0)
      val () = println!("</table>")
      val () = println!("</section>")
    }
  }
  val () = println!("<!DOCTYPE html>")
  val style = "<style type=\"text/css\" media=\"print\">\n\
      @page {      size: landscape;    }\n\
      table { page-break-after: always; }\n\
      h1{text-align:center;font-size:24pt;font-weight:bold;text-transform:uppercase;}\n\
      td{text-align:center;vertical-align:center;padding:4mm;font-size:18pt;font-weight:bold;}\n\
      table {\n\
          border-collapse: collapse;\n\
          margin-left: auto;\n\
          margin-right: auto;\n\
      }\n\
      table, th, td {\n\
          border: 0.5mm solid black;\n\
      }\n\
</style>\n"
  val () = println!("<html><head><title>1</title><meta charset=\"utf-8\" />", style, "</head><body>")
  val () = per_month ()
  val () = println!("</body></html>")
in
end
	#include
	"share/atspre_staload.hats"

	#define N 9
	#define M 14

	implement main0 () = let
	fun loop1
	{i:nat \| i <= N}
	(i: int i): void =
	if i < N then let
	val () = println!("<tr>")
	val () = loop2 (i+1, 0)
	in end else ()
	// end of [loop1]
	and loop2
	{i,j:nat \| i <= N; j <= M}
	(i: int i, j: int j): void =
	if j < M then let
	val () = if (j > 0) then print " "
	val () = print!("<td>", (i-1)*M+j+1, "</td>")
	in
	loop2 (i, j+1)
	end else let
	val () = print_newline ()
	val () = println! ("</tr>") in loop1 (i)
	end // end of [if]
	// end of [loop2]

	fun per_month (): void = {
	var A = @[string][12](
	"Січень", "Лютий", "Березень", "Квітень",
	"Травень", "Червень", "Липень", "Серпень",
	"Вересень", "Жовтень", "Листопад", "Грудень"
	) (* end of [var] *)
	var i: int // = 0
	val () =
	for* {i:nat \| i <= 12} .<12-i>. (i: int(i)): (i: int) => (i := 0; i < 12; i := i + 1)
	{
	val () = println!("<section>")
	val () = println!("<h1>", A.[i], "</h1>")
	val () = println!("<table>")
	val () = loop1 (0)
	val () = println!("</table>")
	val () = println!("</section>")
	}
	}
	val () = println!("<!DOCTYPE html>")
	val style = "<style type=\"text/css\" media=\"print\">\n\
	@page { size: landscape; }\n\
	table { page-break-after: always; }\n\
	h1{text-align:center;font-size:24pt;font-weight:bold;text-transform:uppercase;}\n\
	td{text-align:center;vertical-align:center;padding:4mm;font-size:18pt;font-weight:bold;}\n\
	table {\n\
	border-collapse: collapse;\n\
	margin-left: auto;\n\
	margin-right: auto;\n\
	}\n\
	table, th, td {\n\
	border: 0.5mm solid black;\n\
	}\n\
	</style>\n"
	val () = println!("<html><head><title>1</title><meta charset=\"utf-8\" />", style, "</head><body>")
	val () = per_month ()
	val () = println!("</body></html>")
	in
	end